Notre Dame Journal of Formal Logic 57 (3):375-388 (2016)

Abstract
We study properties of certain subclasses of the Dedekind finite sets in set theory without the axiom of choice with respect to the comparability of their elements and to the boundedness of such classes, and we answer related open problems from Herrlich’s “The Finite and the Infinite.” The main results are as follows: 1. It is relatively consistent with ZF that the class of all finite sets is not the only finiteness class such that any two of its elements are comparable. 2. The principle “Small Violations of Choice” —introduced by A. Blass—implies that the class of all Dedekind finite sets is bounded above. 3. “The class of all Dedekind finite sets is bounded above” is true in every permutation model of ZFA in which the class of atoms is a set, and in every symmetric model of ZF. 4. There exists a model of ZFA set theory in which the class of all atoms is a proper class and in which the class of all infinite Dedekind finite sets is not bounded above. 5. There exists a model of ZF in which the class of all infinite Dedekind finite sets is not bounded above.
Keywords axiom of choice   small violations of choice   notions of finite   finiteness classes   proper classes   ZFA-model   ZF-model
Categories (categorize this paper)
DOI 10.1215/00294527-3490101
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,968
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Permutation Models and SVC.Eric J. Hall - 2007 - Notre Dame Journal of Formal Logic 48 (2):229-235.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Powers Of.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Odd-Sized Partitions of Russell-Sets.Horst Herrlich & Eleftherios Tachtsis - 2010 - Mathematical Logic Quarterly 56 (2):185-190.
A Dedekind Finite Borel Set.Arnold W. Miller - 2011 - Archive for Mathematical Logic 50 (1-2):1-17.
A Note on Weakly Dedekind Finite Sets.Pimpen Vejjajiva & Supakun Panasawatwong - 2014 - Notre Dame Journal of Formal Logic 55 (3):413-417.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.
Finiteness Conditions and Distributive Laws for Boolean Algebras.Marcel Erné - 2009 - Mathematical Logic Quarterly 55 (6):572-586.
Proper Classes Via the Iterative Conception of Set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.
Labelling Classes by Sets.M. Victoria Marshall & M. Gloria Schwarze - 2005 - Archive for Mathematical Logic 44 (2):219-226.

Analytics

Added to PP index
2016-02-26

Total views
6 ( #1,084,849 of 2,433,329 )

Recent downloads (6 months)
1 ( #468,801 of 2,433,329 )

How can I increase my downloads?

Downloads

My notes