Σ11 Choice in a Theory of Sets and Classes

&
In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 283-314 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110324907.283

Links

PhilArchive



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

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

Classless.Sam Roberts - 2020 - Analysis 80 (1):76-83.
Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.
Predicativism about Classes.Kentaro Fujimoto - 2019 - Journal of Philosophy 116 (4):206-229.
The Computational Complexity of Choice Sets.Felix Brandt, Felix Fischer & Paul Harrenstein - 2009 - Mathematical Logic Quarterly 55 (4):444-459.
Plural quantification and classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.
Sets, classes, and categories. [REVIEW]F. A. Muller - 2001 - Bulletin of Symbolic Logic 9 (1):43-43.
Finite sequences of classes.Raphael M. Robinson - 1945 - Journal of Symbolic Logic 10 (4):125-126.
On injective enumerability of recursively enumerable classes of cofinite sets.Stephan Wehner - 1995 - Archive for Mathematical Logic 34 (3):183-196.
Proper classes via the iterative conception of set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.
Sets and classes as many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
About the coexistence of “classical sets” with “non-classical” ones: A survey.Roland Hinnion - 2003 - Logic and Logical Philosophy 11:79-90.
Mereological sets of distributive classes.Andrzej Pietruszczak - 1996 - Logic and Logical Philosophy 4:105-122.
Completion of choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.
The functions of Russell’s no class theory.Kevin C. Klement - 2010 - Review of Symbolic Logic 3 (4):633-664.
Rational choice on non-finite sets by means of expansion-contraction axioms.M. Carmen Sánchez - 1998 - Theory and Decision 45 (1):1-17.

Analytics

Added to PP
2023-07-03

Downloads
7 (#1,392,075)

6 months
6 (#530,265)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Full and hat inductive definitions are equivalent in NBG.Kentaro Sato - 2015 - Archive for Mathematical Logic 54 (1-2):75-112.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references