A minimal predicative set theory

&
Notre Dame Journal of Formal Logic 35 (2):186-203 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1094061860

Links

PhilArchive



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

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

Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
Prädikative Klassen.Ralf-Dieter Schindler - 1993 - Erkenntnis 39 (2):209 - 241.
A New Approach to Predicative Set Theory.Arnon Avron - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 31-64.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
On the Possibility of Inference to the Best Explanation.Clark Glymour - 2012 - Journal of Philosophical Logic 41 (2):461-469.
Pseudoprojective strongly minimal sets are locally projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
Russell's theory of descriptions vs. the predicative analysis: A reply to Graff.Berit Brogaard - unknown
Minimal belief change and pareto-optimality.Oliver Schulte - unknown
T-Height in Weakly O-Minimal Structures.James Tyne - 2006 - Journal of Symbolic Logic 71 (3):747 - 762.
A minimal counterexample to universal baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.
Relationships between constructive, predicative and classical systems of analysis.Solomon Feferman - unknown
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
Minimal belief change and the pareto principle.Oliver Schulte - 1999 - Synthese 118 (3):329-361.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.

Analytics

Added to PP
2010-08-24

Downloads
26 (#612,956)

6 months
11 (#241,733)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.
Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
Strong logics of first and second order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.
The predicative Frege hierarchy.Albert Visser - 2009 - Annals of Pure and Applied Logic 160 (2):129-153.
Faith & falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1-3):103-131.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references