The consistency problem for positive comprehension principles

&
Journal of Symbolic Logic 54 (4):1401-1418 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274822

Other Versions

No versions found

Links

PhilArchive



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

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

Inconsistency of GPK + AFA.Olivier Esser - 1996 - Mathematical Logic Quarterly 42 (1):104-108.
Review: R. Hinnion, L'Anti-Fondation en Logique et en Theorie des Ensembles; , A Propos de l'Anti-Fondation. [REVIEW]R. Lunnon - 1994 - Journal of Symbolic Logic 59 (3):1107-1108.
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
L'anti-fondation en logique et en theorie des ensembles, edited by Hinnion R., Cahiers du Centre de Logique, no. 7, Academia, Louvain-la-Neuve 1992, 112 pp. [REVIEW]R. Lunnon - 1994 - Journal of Symbolic Logic 59 (3):1107-1108.
M. R. Krom. Separation principles in the hierarchy theory of pure first-order logic. The journal of symbolic logic, vol. 28 no. 3 , pp. 222–236.D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (3):503.
On the axiom of extensionality in the positive set theory.Olivier Esser - 2003 - Mathematical Logic Quarterly 49 (1):97-100.
The burali-Forti paradox.Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (1):1-17.
Rosser Barkley. The Burali-Forti paradox.Frederic B. Fitch - 1942 - Journal of Symbolic Logic 7 (3):120-121.
Shoenfield Joseph R.. A relative consistency proof.L. Gál - 1957 - Journal of Symbolic Logic 22 (4):367-367.

Analytics

Added to PP
2009-01-28

Downloads
69 (#305,058)

6 months
13 (#258,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
Choice principles in hyperuniverses.Marco Forti & Furio Honsell - 1996 - Annals of Pure and Applied Logic 77 (1):35-52.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references