Mathias and set theory

DOI10.1002/malq.201500072zbMath1338.03002OpenAlexW2366835491MaRDI QIDQ2813682

Akihiro Kanamori

Publication date: 24 June 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201500072

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Set theory (03Exx)

Related Items (2)

The formal verification of the ctm approach to forcing ⋮ On the non-existence of mad families

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Surrealist landscape with figures (a survey of recent results in set theory)
• Unordered pairs in the set theory of Bourbaki 1949
• A note on the schemes of replacement and collection
• Epireflections and supercompact cardinals
• A dual form of Ramsey's theorem
• Selctive ultrafilters and homogeneity
• The ignorance of Bourbaki
• Completely separable families and Ramsey's theorem
• On the consistency of Borel's conjecture
• Some unifying principles in Ramsey theory
• Ultrafilters with small generating sets
• Forcing with filters and complete combinatorics
• The Shelah P-point independence theorem
• A term of length 4 523 659 424 929
• Definable orthogonality classes in accessible categories are small
• Rudimentary recursion, gentle functions and provident sets
• A model of set-theory in which every set of reals is Lebesgue measurable
• Slim models of Zermelo set theory
• Delays, Recurrence and Ordinals
• Analytic sets under attack
• Prikry-Type Forcings
• On the existence of large p-ideals
• Supercontinuity
• Equivalence of partition properties and determinacy
• Unsound ordinals
• A new proof that analytic sets are Ramsey
• Happy families
• On the existence of an analytic set meeting each compact set in a Borel set
• Some combinatorics involving ultrafilters
• Selective ultrafilters and 𝜔→(𝜔)^{𝜔}
• Borel sets and Ramsey's theorem
• Contrary Statements About Mathematics
• Strong Statements of Analysis
• Mathias absoluteness and the Ramsey property
• Provident sets and rudimentary set forcing
• In Praise of Replacement
• ON THE STRUCTURE OF THE ω-LIMIT SETS FOR CONTINUOUS MAPS OF THE INTERVAL
• Every analytic set is Ramsey
• Internal cohen extensions
• Ultrafilters on a countable set
• On sequences generic in the sense of Prikry
• Foundations of mathematics for the working mathematician
• The strength of Mac Lane set theory

This page was built for publication: Mathias and set theory