The Σ21 theory of axioms of symmetry

DOI10.2307/2274737zbMath0692.03032OpenAlexW1488103966WikidataQ114589023 ScholiaQ114589023MaRDI QIDQ3033756

Galen Weitkamp

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274737

zbMATH Keywords

Cantor spacesymmetric pairnegation of the continuum hypothesisAxioms of symmetryrecursive coding

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other set-theoretic hypotheses and axioms (03E65)

Cites Work

• Unnamed Item
• Boolean-valued set theory and forcing
• A model of set-theory in which every set of reals is Lebesgue measurable
• Perfect subsets of definable sets of real numbers

This page was built for publication: The Σ₂¹ theory of axioms of symmetry