- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The consistency of classical set theory relative to a set theory with intuitionistic logic
Journal of Symbolic Logic 38 (2):315-319 (1973)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On the relative consistency of set theory.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):280-290.
John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
Relative consistency of an extension of Ackermann's set theory.John Lake - 1976 - Journal of Symbolic Logic 41 (2):465-466.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman.Michael Rathjen - 2016 - Journal of Symbolic Logic 81 (2):742-754.
The consistency of some intuitionistic and constructive principles with a set theory.V. A. Hahanyan - 1981 - Studia Logica 40:237.
The consistency of some intuitionistic and constructive principles with a set theory.V. H. Hahanyan - 1981 - Studia Logica 40 (3):237 - 248.
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Analytics
Added to PP
2009-01-28
Downloads
127 (#169,864)
6 months
15 (#190,835)
2009-01-28
Downloads
127 (#169,864)
6 months
15 (#190,835)
Historical graph of downloads
Citations of this work
Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-sfdq8 dc2