Church's thesis, continuity, and set theory
From MaRDI portal
Publication:3734400
DOI10.2307/2274195zbMath0599.03060MaRDI 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
arithmetic; intuitionistic Zermelo-Fraenkel set theory; continuity of effective operations; fp-realizability; Kreisel-Lacombe-Shoenfield theorem
03E70: Nonclassical and second-order set theories
03F50: Metamathematics of constructive systems
03F55: Intuitionistic mathematics
Related Items
Unnamed Item, PREDICATIVITY THROUGH TRANSFINITE REFLECTION, Representations versus numberings: On the relationship of two computability notions, Large sets in intuitionistic set theory, On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis, Effective inseparability in a topological setting, CZF does not have the existence property
Cites Work