Mathias and set theory

DOI10.1002/MALQ.201500072MaRDI QIDQ2813682zbMATH OpenOpenAlexFDO

Authors Akihiro Kanamori

Publication date 24 June 2016

Published in Mathematical Logic Quarterly (MLQ) (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)

Cites work

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

Cited in

(2)

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

This page was built for publication: Mathias and set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2813682)