Abstract
The main questions considered in this paper are the consistency of a variant of a set theory with intuitionistic logic, with Brouwer's principle and the investigation of the comparative power of the Church's Thesis' variants at the set theory level.
Similar content being viewed by others
References
H. Friedman,Some applications of Kleene's methods for intuitionistic systems Lecture Notes in Mathematics 337 (1973), pp. 113–170.
H. Friedman,The consistency of classical set theory relative to a set theory with intuitionistic logic,Journal of Symbolic Logic 38 (1973), pp. 315–319.
J. Myhill,Some properties of intuitionistic Zermelo-Frankel set theory,Lecture Notes in Mathematics 337 (1973), pp. 206–231.
W. C. Powell,Extending Gōdel's negative interpretation to ZF,Journal of Symbolic Logic 40 (1975), pp. 221–229.
S. Kleene, R. Vesley,Foundations of intuitionistic mathematics, Nauka, 1978.
V. H. Hahanyan,Consistency of the intuitionistic set theory with Church's principles and uniformity,Matematika i mehanika 5 (1980), pp. 3–7.
V. H. Hahanyan,Consistency of the intuitionistic set theory with Brouwer's principle,Matematika 5 (1979).
S. Kleene,Introduction to Metamathematics, Moscow 1957.
V. A. Lifschitz,CT 0 is stronger than CT 0!,Report of Brigham Young University Provo Utah, no 84602 (1976), orProceeding American Mathematical Society 73 (1979), pp. 101–106.
A. G. Dragalin,Mathematical Intuitionism. Introduction to the Proof Theory, Nauka, 1979.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hahanyan, V.H. The consistency of some intuitionistic and constructive principles with a set theory. Stud Logica 40, 237–248 (1981). https://doi.org/10.1007/BF02584058
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02584058