Surrealist landscape with figures (a survey of recent results in set theory)
DOI10.1007/BF02025889zbMATH Open0417.03021OpenAlexW2051529371MaRDI QIDQ754865FDOQ754865
Authors: A. R. D. Mathias 
Publication date: 1979
Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02025889
scalessurveymetric spaceforcingaxiom of choicelarge cardinalsfine structuremodels of set theorycontinuum hypothesisMoore spacestationary setsdescriptive set theoryprojective hierarchyindependence resultsKurepa's conjectureaxiom of determinacyChang's conjectureSouslin treeNew Foundationsconstructibilityrelative consistencyaxiom systems of set theoryindiscernibles[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Neumann-G%EF%BF%BD%EF%BF%BDdel-Bernays+set+theory&go=Go Neumann-G��del-Bernays set theory]set theories with urelementsSilver machinessingular measurable and supercompact cardinals
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Descriptive set theory (03E15) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Determinacy principles (03E60) Set theory (03Exx)
Cites Work
- Intermediate submodels and generic extensions in set theory
- Borel determinacy
- A model of set-theory in which every set of reals is Lebesgue measurable
- The fine structure of the constructible hierarchy
- Normal Moore Spaces in the Constructible Universe
- An independence result concerning the axiom of choice
- One hundred and two problems in mathematical logic
- A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
- Combinatorics on ideals and forcing
- On sequences generic in the sense of Prikry
- Whitehead's Problem is Undecidable
- Sets constructible from sequences of ultrafilters
- How large is the first strongly compact cardinal? or a study on identity crises
- Boolean extensions and measurable cardinals
- Some applications of iterated ultrapowers in set theory
- On a theorem of Silver
- On Countably Compact, Perfectly Normal Spaces
- Iterated Cohen extensions and Souslin's problem
- Internal cohen extensions
- Aronszajn trees and the independence of the transfer property
- Long projective wellorderings
- Decomposable cardinals.
- The countable chain condition versus separability - applications of Martin's Axiom
- Some weak versions of large cardinal axioms
- Measurable cardinals and the continuum hypothesis
- Higher set theory and mathematical practice
- On strong compactness and supercompactness
- Strong axioms of infinity and elementary embeddings
- Recursive Pseudo-Well-Orderings
- Some combinatorial problems concerning uncountable cardinals
- Lectures in set theory with particular emphasis on the method of forcing
- On the consistency of a slight (?) modification of Quine's 'New Foundations'
- Measurable cardinals and \(\Delta^1_3\) well-orderings
- Consistency results about ordinal definability
- Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
- Aspects of constructibility
- Models of set theory containing many perfect sets
- Inequalities for cardinal powers
- Some strong axioms of infinity incompatible with the axiom of constructibility
- Rowbottom cardinals and Jonsson cardinals are almost the same
- From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones)
- The universal properties of Dedekind finite cardinals
- Nonregular Ultrafilters and Large Cardinals
- Measure and category in effective descriptive set theory
- Some applications of model theory in set theory
- Strong compactness and other cardinal sins
- A Nonconstructible Δ 1 3 Set of Integers
- Trees
- On the sequence of models $HOD_n$
- Regularity of ultrafilters
- Infinite Abelian groups, Whitehead problem and some constructions
- A note on a problem of Erdős and Hajnal
- Models of ZF-set theory
- On projective ordinals
- The equivalence of Boolean prime ideal theorem and a theorem of functional analysis
- A Boolean view of sequential compactness
- Omitting Types: Application to Descriptive Set Theory
- Forcing with trees and ordinal definability
- Natural models and Ackermann-type set theories
- Los' Theorem and the Boolean Prime Ideal Theorem Imply the Axiom of Choice
- A consequence of the axiom of choice
- The Theory of Countable Analytical Sets
- Limitations on the Fraenkel-Mostowski method of independence proofs
- Infinitary compactness without strong inaccessibility
- Two theorems of functional analysis effectively equivalent to choice axioms
- Title not available (Why is that?)
- On Σ1 well-orderings of the universe
- The consistency problem for NF
- Gaps in the contructable universe
- Title not available (Why is that?)
- Finite axioms of choice
- A Translation of the Normal Moore Space Conjecture
- Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $
- Incompactness in languages with infinitely long expressions
- On a problem of Gillman and Keisler
- Ackermann's set theory equals ZF
- Support structures for the axiom of choice
- A geometric form of the axiom of choice
- On the relationship between weak compactness inL ω 1 ω,L ω 1 ω 1, and restricted second-order languages
- On the decomposition of sets of reals to borel sets
- On successors in cardinal arithmetic
- Countable Paracompactness and Souslin's Problem
Cited In (15)
- A Souslin operation for \(\Pi^1_2\)
- Proofs of the compactness theorem
- Set theory and the analyst
- Mathias and set theory
- A Property of Arithmetic Sets
- A Basis Theorem for Perfect Sets
- Models of set theory in which the separation theorem fails
- On the ‘definability of definable’ problem of Alfred Tarski, Part II
- There are no P-points in Silver extensions
- On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture
- Forcing the Σ31-separation property
- Singular Cardinals and the PCF Theory
- On the reducibility of \(\Pi_ 1^ 1\) sets
- Dependences between definitions of finiteness
- A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
This page was built for publication: Surrealist landscape with figures (a survey of recent results in set theory)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754865)
