The consistency of some intuitionistic and constructive principles with a set theory

Studia Logica 40:237 (1981)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/bf02584058

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The consistency of some intuitionistic and constructive principles with a set theory.V. H. Hahanyan - 1981 - Studia Logica 40 (3):237 - 248.
Lifschitz realizability as a topological construction.Michael Rathjen & Andrew W. Swan - 2020 - Journal of Symbolic Logic 85 (4):1342-1375.
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
The consistency of classical set theory relative to a set theory with intuitionistic logic.Harvey Friedman - 1973 - Journal of Symbolic Logic 38 (2):315-319.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
Set Theory INC# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper inductive definitions.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (4):22.
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.Stewart Shapiro, Charles McCarty & Michael Rathjen - forthcoming - Archive for Mathematical Logic.
Metamathematical Properties of a Constructive Multi-typed Theory.Farida Kachapova - 2017 - Studia Logica 105 (3):587-610.
Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory.Emanuele Frittaion - 2023 - Journal of Symbolic Logic 88 (3):1138-1169.

Analytics

Added to PP
2015-02-06

Downloads
18 (#1,109,160)

6 months
5 (#1,035,700)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Extending gödel's negative interpretation to ZF.William C. Powell - 1975 - Journal of Symbolic Logic 40 (2):221-229.

Add more references