Probabilistic Shoenfield Machines. - Maksymilian Bujok; Adam Mata (CoRR, 2024)