Cardinality without enumeration

DOI10.1007/S11225-005-6780-8zbMath1096.03058OpenAlexW2045861379MaRDI QIDQ813080

Athanassios Tzouvaras

Publication date: 30 January 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-6780-8

zbMATH Keywords

choicequantum mechanicscardinalitygeneric classindividualitywell-orderingnonstandard model of arithmeticseparation class

Mathematics Subject Classification ID

Consistency and independence results (03E35) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Nonstandard models of arithmetic (03H15) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)

Related Items (2)

Many entities, no identity ⋮ No two entities without identity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set theory. An introduction to independence proofs
• On a quasi-set theory
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Peano models with many generic classes
• Indicators, recursive saturation and expandability
• Constructive set theory
• Forcing with proper classes
• Forcing for the impredicative theory of classes
• The axiom of choice

This page was built for publication: Cardinality without enumeration