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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,978

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
80 (#289,609)

6 months
13 (#300,635)

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

Review: Joseph R. Shoenfield, Mathematical Logic. [REVIEW]J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.

Add more references