Markov's principle, Church's thesis and Lindelöf's theorem

1993/01/01 by Hajime Ishihara · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Constraint Satisfaction and Optimization

paper · doi:10.1016/0019-3577(93)90005-j

Cited by

• Refining the arithmetical hierarchy of classical principles