Philosophia Mathematica 24 (1):nku005 (2016)
| Abstract |
Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted aussonderung but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for “low” sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; so no set of all ordinals is obtained thereby. This “recurrence problem” is discussed
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Reprint years | 2016 |
| DOI | 10.1093/philmat/nku005 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Paolo Mancosu.*Abstraction and Infinity. [REVIEW]Roy T. Cook & Michael Calasso - 2019 - Philosophia Mathematica 27 (1):125-152.
Similar books and articles
On Σ1 1 Equivalence Relations with Borel Classes of Bounded Rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.
Thin Equivalence Relations and Effective Decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
Labelling Classes by Sets.M. Victoria Marshall & M. Gloria Schwarze - 2005 - Archive for Mathematical Logic 44 (2):219-226.
Some Applications of Illfoundedness.Greg Hjorth - 1996 - Archive for Mathematical Logic 35 (3):131-144.
The {L}Aczkovich—{K}Omjáth Property for Coanalytic Equivalence Relations.Su Gao, Steve Jackson & Vincent Kieftenbeld - 2010 - Journal of Symbolic Logic 75 (3):1091-1101.
On Bounded Type-Definable Equivalence Relations.Ludomir Newelski & Krzysztof Krupi?Ski - 2002 - Notre Dame Journal of Formal Logic 43 (4):231-242.
Continuous Versus Borel Reductions.Simon Thomas - 2009 - Archive for Mathematical Logic 48 (8):761-770.
On Some Generalizations of the Concept of Partition.Marek Nowak - 2014 - Studia Logica 102 (1):93-116.
Maximal R.E. Equivalence Relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
On Borel Equivalence Relations in Generalized Baire Space.Sy-David Friedman & Tapani Hyttinen - 2012 - Archive for Mathematical Logic 51 (3-4):299-304.
Classifying Positive Equivalence Relations.Claudio Bernardi & Andrea Sorbi - 1983 - Journal of Symbolic Logic 48 (3):529-538.
Analytic Equivalence Relations and Bi-Embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.
Analytics
Added to PP index
2014-05-10
Total views
29 ( #362,675 of 2,421,914 )
Recent downloads (6 months)
4 ( #191,913 of 2,421,914 )
2014-05-10
Total views
29 ( #362,675 of 2,421,914 )
Recent downloads (6 months)
4 ( #191,913 of 2,421,914 )
How can I increase my downloads?
Downloads
