The structure of amorphous sets

Annals of Pure and Applied Logic 73 (2):191-233 (1995)
  Copy   BIBTEX


A set is said to be amorphous if it is infinite, but is not the disjoint union of two infinite subsets. Thus amorphous sets can exist only if the axiom of choice is false. We give a general study of the structure which an amorphous set can carry, with the object of eventually obtaining a complete classification. The principal types of amorphous set we distinguish are the following: amorphous sets not of projective type, either bounded or unbounded size of members of partitions of the set into finite pieces), and amorphous sets of projective type, meaning that the set admits a non-degenerate pregeometry, over finite fields either of bounded cardinality or of unbounded cardinality. The hope is that all amorphous sets will be of one of these types. Examples of each sort are constructed, and a reconstruction result for bounded amorphous sets is presented, indicating that the amorphous sets of this kind constructed in the paper are the only possible ones. The final section examines some questions concerned with the resulting cardinal arithmetic



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

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

On quasi-amorphous sets.P. Creed & J. K. Truss - 2001 - Archive for Mathematical Logic 40 (8):581-596.
On o-amorphous sets.P. Creed & J. K. Truss - 2000 - Annals of Pure and Applied Logic 101 (2-3):185-226.
Strongly Amorphous Sets and Dual Dedekind Infinity.Martin Goldstern - 1997 - Mathematical Logic Quarterly 43 (1):39-44.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Impure Sets Are Not Located: A Fregean Argument.Roy T. Cook - 2012 - Thought: A Journal of Philosophy 1 (3):219-229.
To structure, or not to structure?Philip Robbins - 2004 - Synthese 139 (1):55-80.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Strongly dominating sets of reals.Michal Dečo & Miroslav Repický - 2013 - Archive for Mathematical Logic 52 (7-8):827-846.
Definable structures in the lattice of recursively enumerable sets.E. Herrmann - 1984 - Journal of Symbolic Logic 49 (4):1190-1197.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.


Added to PP

40 (#401,088)

6 months
17 (#152,720)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the minimal cover property and certain notions of finite.Eleftherios Tachtsis - 2018 - Archive for Mathematical Logic 57 (5-6):665-686.
Ramsey’s theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.
On o-amorphous sets.P. Creed & J. K. Truss - 2000 - Annals of Pure and Applied Logic 101 (2-3):185-226.
On quasi-amorphous sets.P. Creed & J. K. Truss - 2001 - Archive for Mathematical Logic 40 (8):581-596.

View all 11 citations / Add more citations

References found in this work

ℵ0-Categorical, ℵ0-stable structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Models of ZF-set theory.Ulrich Felgner - 1971 - New York,: Springer Verlag.
What's so special about (Z/4Z)ω?Gisela Ahlbrandt & Martin Ziegler - 1991 - Archive for Mathematical Logic 31 (2):115-132.

View all 8 references / Add more references