Independence results around constructive ZF

Annals of Pure and Applied Logic 132 (2-3):209-225 (2005)
  Copy   BIBTEX

Abstract

CZF is an intuitionistic set theory that does not contain Power Set, substituting instead a weaker version, Subset Collection. In this paper a Kripke model of CZF is presented in which Power Set is false. In addition, another Kripke model is presented of CZF with Subset Collection replaced by Exponentiation, in which Subset Collection fails

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2004.08.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

On the regular extension axiom and its variants.Robert S. Lubarsky & Michael Rathjen - 2003 - Mathematical Logic Quarterly 49 (5):511.
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
Phase transition thresholds for some Friedman-style independence results.Andreas Weiermann - 2007 - Mathematical Logic Quarterly 53 (1):4-18.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Sets of probability distributions, independence, and convexity.Fabio G. Cozman - 2012 - Synthese 186 (2):577-600.
De A et B, de leur indépendance logique, et de ce qu'ils n'ont aucun contenu factuel commun.Peter Roeper & Hugues Leblanc - 1997 - Dialogue 36 (1):137-.
On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2011 - Notre Dame Journal of Formal Logic 52 (2):149-162.
Auditor independence deficiencies & alleged audit failures.Michael A. Pearson - 1987 - Journal of Business Ethics 6 (4):281 - 287.
A Remark on Independence Results for Sharply Bounded Arithmetic.Jan Johannsen - 1998 - Mathematical Logic Quarterly 44 (4):568-570.
On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.
Primitive independence results.Harvey M. Friedman - 2003 - Journal of Mathematical Logic 3 (1):67-83.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.

Analytics

Added to PP
2014-01-16

Downloads
14 (#961,492)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logics of intuitionistic Kripke-Platek set theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
CZF and second order arithmetic.Robert S. Lubarsky - 2006 - Annals of Pure and Applied Logic 141 (1):29-34.
Separating the Fan theorem and its weakenings.Robert S. Lubarsky & Hannes Diener - 2014 - Journal of Symbolic Logic 79 (3):792-813.

View all 18 citations / Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.

Add more references