Levy and set theory

DOI10.1016/j.apal.2005.09.009zbMath1089.03004OpenAlexW2152657121MaRDI QIDQ2493914

Akihiro Kanamori

Publication date: 16 June 2006

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.09.009

zbMATH Keywords

forcingmeasurable cardinalsurelementsreflection principlesLevy collapseindescribable cardinalsFraenkel-Mostowski methodAckermann's set theoryLevy absolutenessLevy hierarchyrelative constructibility

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Set theory (03Exx)

Related Items (8)

Set theory with a proper class of indiscernibles ⋮ Actions of tame abelian product groups ⋮ Emergence of symmetry in homooligomeric biological assemblies ⋮ Borel reducibility and symmetric models ⋮ Model theory of the regularity and reflection schemes ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ On the Development of the Notion of a Cardinal Number ⋮ Nanoscale thermodynamics of biological interfacial tension

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zur Axiomatik der Mengenlehre
• Foundations of set theory
• Can you take Solovay's inaccessible away?
• Proper forcing
• Cardinal representatives
• Measurable cardinals and the continuum hypothesis
• Principles of partial reflection in the set theories of Zermelo and Ackermann
• Axiom schemata of strong infinity in axiomatic set theory
• On a spectrum of set theories
• A model of set-theory in which every set of reals is Lebesgue measurable
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• The independence of a weak axiom of choice
• Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom)
• On a problem of W. Kinna and K. Wagner
• The independence of various definitions of finiteness
• Some consequences of the axiom of constructibility
• Principles of reflection in axiomatic set theory
• Products of Infinitely Many Perfect Trees
• An independence result concerning the axiom of choice
• Limitations on the Fraenkel-Mostowski method of independence proofs
• The interdependence of certain consequences of the axiom of choice
• Some applications of the notions of forcing and generic sets
• Axioms of multiple choice
• The independence of the ordering principle from a restricted axiom of choice
• The independence of the axiom of choice from the Boolean prime ideal theorem
• A Partition Theorem
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• On Von Neumann's Axiom System for Set Theory
• From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones)
• On Ackermann's set theory
• Comparison of Subtheories
• Axiomatization of Induced Theories
• The Definability of Cardinal Numbers
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• On the Independence of the Axiom of Constructibility
• A hierarchy of formulas in set theory
• Ackermann's set theory equals ZF
• Internal cohen extensions
• On the decomposition of sets of reals to borel sets
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
• A generalization of Gödel's notion of constructibility
• Remarks on a paper by J. Mycielski
• L'uniformisation des complémentaires analytiques
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• Consistency-Proof for the Generalized Continuum-Hypothesis
• Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
• On the principle of dependent choices
• What is Cantor's Continuum Problem?
• Consistency of the Continuum Hypothesis. (AM-3)
• Recursive Predicates and Quantifiers
• Über eine Abschwächung des Auswahlpostulates
• On a consistency theorem connected with the generalized continuum problem
• On a consistency theorem connected with the generalized continuum problem
• Preface
• The axiom of choice

This page was built for publication: Levy and set theory