Stratified and positive comprehension seen as superclass rules over ordinary set theory

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):519-534 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

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

Through your library

Similar books and articles

The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
Positive abstraction and extensionality.Roland Hinnion & Thierry Libert - 2003 - Journal of Symbolic Logic 68 (3):828-836.
Second-Order Positive Comprehension and Frege's Basic Law V.Liu Jingxian - 2012 - Frontiers of Philosophy in China 7 (3):367-377.
Stratified languages.A. Pétry - 1992 - Journal of Symbolic Logic 57 (4):1366-1376.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
The consistency problem for positive comprehension principles.M. Forti & R. Hinnion - 1989 - Journal of Symbolic Logic 54 (4):1401-1418.
The Stratified Spaces of Intern Degrees of Freedom.V. P. Sevrjuk - 2008 - Proceedings of the Xxii World Congress of Philosophy 43:243-253.
Practical Rules: When We Need Them and When We Don’t.Alan H. Goldman (ed.) - 2001 - New York: Cambridge University Press.

Analytics

Added to PP
2016-02-04

Downloads
26 (#613,702)

6 months
1 (#1,477,342)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Strong axioms of infinity in NFU.M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (1):87-116.
Strong axioms of infinity in NFU.M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (1):87-116.
Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.

Add more citations

References found in this work

Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.

Add more references