Church's thesis, continuity, and set theory

DOI10.2307/2274195zbMath0599.03060OpenAlexW2122841842MaRDI QIDQ3734400

Andrej Scedrov, Michael J. Beeson

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274195

zbMATH Keywords

arithmeticintuitionistic Zermelo-Fraenkel set theorycontinuity of effective operationsfp-realizabilityKreisel-Lacombe-Shoenfield theorem

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (7)

CZF does not have the existence property ⋮ On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis ⋮ Effective inseparability in a topological setting ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Unnamed Item ⋮ Representations versus numberings: On the relationship of two computability notions ⋮ Large sets in intuitionistic set theory

Cites Work

• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
• Continuity and comprehension in intuitionistic formal systems
• Recursive models for constructive set theories
• On the completenes principle: A study of provability in heyting's arithmetic and extensions

This page was built for publication: Church's thesis, continuity, and set theory