Graduate studies at Western
Studia Logica 100 (3):437-452 (2012)
|Abstract||Quasi-set theory is a ZFU-like axiomatic set theory, which deals with two kinds of ur-elements: M-atoms, objects like the atoms of ZFU, and m-atoms, items for which the usual identity relation is not defined. One of the motivations to advance such a theory is to deal properly with collections of items like particles in non-relativistic quantum mechanics when these are understood as being non-individuals in the sense that they may be indistinguishable although identity does not apply to them. According to some authors, this is the best way to understand quantum objects. The fact that identity is not defined for m-atoms raises a technical difficulty: it seems impossible to follow the usual procedures to define the cardinal of collections involving these items. In this paper we propose a definition of finite cardinals in quasi-set theory which works for collections involving m-atoms|
|Keywords||Finite cardinals Quasi-set theory Identity|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Otávio Bueno (2000). Quasi-Truth in Quasi-Set Theory. Synthese 125 (1-2):33-53.
Lorenz Halbeisen & Saharon Shelah (1994). Consequences of Arithmetic for Set Theory. Journal of Symbolic Logic 59 (1):30-40.
Hernando Gaitán (2000). Priestley Duality for Quasi-Stone Algebras. Studia Logica 64 (1):83-92.
Andrés Villaveces (1998). Chains of End Elementary Extensions of Models of Set Theory. Journal of Symbolic Logic 63 (3):1116-1136.
Alexei Vernitski (2004). Finite Quasivarieties and Self-Referential Conditions. Studia Logica 78 (1-2):337 - 348.
Josep Pla I. Carrera (1989). Alfred Tarski I la Teoria de Conjunts. Theoria 4 (2):343-417.
Josep Pla I. Carrera (1989). Alfred Tarski i la teoria de conjunts. Theoria 4 (2):343-417.
Robert Goldblatt (2001). Quasi-Modal Equivalence of Canonical Structures. Journal of Symbolic Logic 66 (2):497-508.
Mitch Rudominer (1999). The Largest Countable Inductive Set is a Mouse Set. Journal of Symbolic Logic 64 (2):443-459.
Steven French & Décio Krause (2010). Remarks on the Theory of Quasi-Sets. Studia Logica 95 (1/2):101 - 124.
Gianluigi Oliveri (2006). Mathematics as a Quasi-Empirical Science. Foundations of Science 11 (1-2):41-79.
Saharon Shelah & Simon Thomas (1997). The Cofinality Spectrum of the Infinite Symmetric Group. Journal of Symbolic Logic 62 (3):902-916.
O. Finkel & J. P. Ressayre (1996). Stretchings. Journal of Symbolic Logic 61 (2):563-585.
Added to index2012-07-03
Total downloads7 ( #142,372 of 739,304 )
Recent downloads (6 months)1 ( #61,243 of 739,304 )
How can I increase my downloads?