Mathias and set theory

DOI10.1002/MALQ.201500072zbMATH Open1338.03002OpenAlexW2366835491MaRDI QIDQ2813682FDOQ2813682

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

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

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)