Set theory. An introduction to independence proofs. 2nd print
From MaRDI portal
Publication:790108
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)
Cited in
(only showing first 100 items - show all)- Mathias absoluteness and the Ramsey property
- Using forcing to prove completeness of resolution and paramodulation
- Embedding and coding below a 1-generic degree
- Hausdorff continuous sections
- On the conservativity of the axiom of choice over set theory
- Monotonically countably paracompact, collectionwise Hausdorff spaces and measurable cardinals
- Hechler's theorem for the null ideal
- A Lindelöf space with no Lindelöf subspace of size $\aleph \textunderscore 1$
- Cozero-accessible points
- Supremum vs. maximum: \(\lambda\)-sets
- Countable dense homogeneity of definable spaces
- The Bernays-Schönfinkel-Ramsey class for set theory: decidability
- Strong paracompactness and multi-selections
- On gaps under GCH type assumptions
- Ultrafilters on 𝜔-their ideals and their cardinal characteristics
- A solution to the L space problem
- Logics of intuitionistic Kripke-Platek set theory
- Compact spaces and the pseudoradial property. II
- Approximation and interpolation by large entire cross-sections of second category sets in \(\mathbb R^{n+1}\)
- Pseudocompactness of hyperspaces
- Countably compact group topologies on arbitrarily large free abelian groups
- The homotopy classes of continuous maps between some nonmetrizable manifolds
- Unconditional basic sequences in spaces of large density
- Extending Discrete-Valued Functions
- scientific article; zbMATH DE number 3884141 (Why is no real title available?)
- A Suppes predicate for general relativity and set-theoretically generic spacetimes
- Adding Dominating Reals with the Random Algebra
- Compactness-like properties and compact sections
- Determinacy and weakly Ramsey sets in Banach spaces
- Beurling moving averages and approximate homomorphisms
- Generic Banach spaces and generic simplexes
- Automatic continuity of homomorphisms and fixed points on metric compacta
- On the Covering and the Additivity Number of the Real Line
- Extending ideals
- Banach spaces with projectional skeletons
- The structure of Valdivia compact lines
- Katětov's problem
- \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
- The strength of extensionality. I: Weak weak set theories with infinity
- Local planarity in one-dimensional continua
- ZFC proves that the class of ordinals is not weakly compact for definable classes
- Equationally distinct countable simple {\textsf{Q}}-relation algebras
- Large entire cross-sections of second category sets in \(\mathbb {R}^{n+1}\)
- Countable compact Hausdorff spaces need not be metrizable in ZF
- \(\sigma \)-porosity is separably determined.
- Several results on compact metrizable spaces in \(\mathbf{ZF} \)
- Monotone retractability and retractional skeletons
- Relations between some cardinals in the absence of the axiom of choice
- Baire spaces, Tychonoff powers and the Vietoris topology
- Suslin forcing and parametrized ◊ principles
- Diamond principles in Cichoń's diagram
- Separately continuous weak selections on products
- The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis
- Universal sets for pointsets properly on the \(n^{\mathrm{th}}\) level of the projective hierarchy
- On Shattering, Splitting and Reaping Partitions
- Entire functions mapping uncountable dense sets of reals onto each other monotonically
- Parametrized $\diamondsuit $ principles
- Decompositions of preduals of JBW and \(\text{JBW}^\ast\) algebras
- A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II
- Borel measurability of separately continuous functions
- Some properties of conjunctivity (subfitness) in generalized settings
- On the structure of the Medvedev lattice
- On the rigidity of souslin trees and their generic branches
- The Wijsman hyperspace of a metric hereditarily Baire space is Baire
- A counterexample in the theory of \(D\)-spaces
- A brief remark on van der Waerden spaces
- Analytic countably splitting families
- Completeness, sections and selections
- Special subsets of the generalized Cantor space and generalized Baire space
- Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\)
- The existence of continuous weak selections and orderability-type properties in products and filter spaces
- Low-distortion embeddings of infinite metric spaces into the real line
- Some proofs of independence in axiomatic set theory
- Borel conjecture, dual Borel conjecture, and other variants of the Borel conjecture
- Filter-Menger set of reals in Cohen extensions
- On the additivity of strong homology for locally compact separable metric spaces
- Hereditary interval algebras and cardinal characteristics of the continuum
- Stranger things about forcing without AC.
- Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
- Spaces in Which the Nondegenerate Connected Sets Are the Cofinite Sets
- Characterizations of weakly \(\mathcal{K} \)-analytic and Vašák spaces using projectional skeletons and separable PRI
- THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
- On projectional skeletons in Vašák spaces
- Countable compactness of lexicographic products of GO-spaces
- More on partitioning triples of countable ordinals
- A variation of the Mardešić conjecture
- Asymmetric tie-points and almost clopen subsets of \(\mathbb{N}^*\).
- On the formalization of semantic conventions
- Rigid ideals
- Regular embeddings of the stationary tower and Woodin's maximality theorem
- Foundations as truths which organize mathematics
- On Russell and anti Russell-cardinals
- Model theory of measure spaces and probability logic
- Set theory and the analyst
- On the solvability of systems of linear equations over the ring \(\mathbb{Z}\) of integers.
- Strong ergodicity around countable products of countable equivalence relations
- The Souslin hypothesis and continuous utility functions: A remark
- Ideal generalizations of Egoroff's theorem
- Baumgartner's isomorphism problem for \(\aleph _2\)-dense suborders of \(\mathbb {R}\)
- Cofinal maximal chains in the Turing degrees
This page was built for publication: Set theory. An introduction to independence proofs. 2nd print
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790108)
