Set theory. An introduction to independence proofs. 2nd print
From MaRDI portal
Publication:790108
zbMath0534.03026MaRDI QIDQ790108
Publication date: 1983
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (only showing first 100 items - show all)
Hechler's theorem for the null ideal ⋮ Beurling moving averages and approximate homomorphisms ⋮ PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\) ⋮ Extending ideals ⋮ Topologies making a given ideal nowhere dense or meager ⋮ Nonconstructive properties of well-ordered T\(_2\) topological spaces ⋮ The Souslin hypothesis and continuous utility functions: A remark ⋮ Decompositions of preduals of JBW and \(\text{JBW}^\ast\) algebras ⋮ An elementary variant of nonstandard set theory ⋮ A brief remark on van der Waerden spaces ⋮ The Bernays-Schönfinkel-Ramsey class for set theory: decidability ⋮ Rigid ideals ⋮ Characterizations of weakly \(\mathcal{K} \)-analytic and Vašák spaces using projectional skeletons and separable PRI ⋮ Extending Discrete-Valued Functions ⋮ Large entire cross-sections of second category sets in \(\mathbb {R}^{n+1}\) ⋮ Analytic countably splitting families ⋮ A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II ⋮ Local planarity in one-dimensional continua ⋮ Baumgartner's isomorphism problem for \(\aleph _2\)-dense suborders of \(\mathbb {R}\) ⋮ On the formalization of semantic conventions ⋮ Equationally distinct countable simple {\textsf{Q}}-relation algebras ⋮ The existence of continuous weak selections and orderability-type properties in products and filter spaces ⋮ Approximation and interpolation by large entire cross-sections of second category sets in \(\mathbb R^{n+1}\) ⋮ Supremum vs. maximum: \(\lambda\)-sets ⋮ Set theory and the analyst ⋮ Cuf products and cuf sums of (quasi-) metrizable spaces in ZF ⋮ On the structure of the Medvedev lattice ⋮ Compactness-like properties and compact sections ⋮ THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC ⋮ Unconditional basic sequences in spaces of large density ⋮ A Lindelöf space with no Lindelöf subspace of size $\aleph \textunderscore 1$ ⋮ A counterexample in the theory of \(D\)-spaces ⋮ Ideal generalizations of Egoroff's theorem ⋮ Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\) ⋮ On the rigidity of souslin trees and their generic branches ⋮ Generic Banach spaces and generic simplexes ⋮ On the conservativity of the axiom of choice over set theory ⋮ A Suppes predicate for general relativity and set-theoretically generic spacetimes ⋮ Mathias absoluteness and the Ramsey property ⋮ Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games ⋮ Monotone retractability and retractional skeletons ⋮ Automatic continuity of homomorphisms and fixed points on metric compacta ⋮ Stranger things about forcing without AC ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ Pseudocompactness of hyperspaces ⋮ Completeness, sections and selections ⋮ ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES ⋮ Adding Dominating Reals with the Random Algebra ⋮ Relations Between Some Cardinals in the Absence of the Axiom of Choice ⋮ On the spectra of cardinalities of branches of Kurepa trees ⋮ \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders ⋮ Asymmetric tie-points and almost clopen subsets of $\mathbb {N}^*$ ⋮ On Shattering, Splitting and Reaping Partitions ⋮ Hausdorff continuous sections ⋮ Regular embeddings of the stationary tower and Woodin's maximality theorem ⋮ Universal sets for pointsets properly on the nth level of the projective hierarchy ⋮ Separately continuous weak selections on products ⋮ FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS ⋮ The structure of Valdivia compact lines ⋮ On the Covering and the Additivity Number of the Real Line ⋮ σ-Porosity is separably determined ⋮ Strong paracompactness and multi-selections ⋮ The homotopy classes of continuous maps between some nonmetrizable manifolds ⋮ Pathological and highly transitive representations of free groups. ⋮ Compact spaces and the pseudoradial property. II ⋮ Embedding and coding below a 1-generic degree ⋮ The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis ⋮ Determinacy and weakly Ramsey sets in Banach spaces ⋮ Katetov’s problem ⋮ Is Lebesgue measure the only \(\sigma\)-finite invariant Borel measure? ⋮ Diamond principles in Cichoń's diagram ⋮ Large Cardinals and Small Dowker Spaces ⋮ Spaces in Which the Nondegenerate Connected Sets Are the Cofinite Sets ⋮ Countable compactness of lexicographic products of GO-spaces ⋮ Suslin forcing and parametrized ◊ principles ⋮ Hereditary interval algebras and cardinal characteristics of the continuum ⋮ Low-distortion embeddings of infinite metric spaces into the real line ⋮ The strength of extensionality. I: Weak weak set theories with infinity ⋮ Banach spaces with projectional skeletons ⋮ Strong measure zero in Polish groups ⋮ Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture ⋮ Generating the infinite symmetric group using a closed subgroup and the least number of other elements ⋮ Several results on compact metrizable spaces in \(\mathbf{ZF} \) ⋮ Entire functions mapping uncountable dense sets of reals onto each other monotonically ⋮ Using forcing to prove completeness of resolution and paramodulation ⋮ Parametrized $\diamondsuit $ principles ⋮ Cozero-accessible points ⋮ The Wijsman hyperspace of a metric hereditarily Baire space is Baire ⋮ A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\) ⋮ CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC ⋮ More on partitioning triples of countable ordinals ⋮ Countable compact Hausdorff spaces need not be metrizable in ZF ⋮ Baire spaces, Tychonoff powers and the Vietoris topology ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ On Russell and Anti Russell-Cardinals ⋮ On measures induced by forcing names for ultrafilters ⋮ Polar forcings and measured extensions ⋮ On gaps under GCH type assumptions ⋮ Ultrafilters on 𝜔-their ideals and their cardinal characteristics ⋮ Borel measurability of separately continuous functions
This page was built for publication: Set theory. An introduction to independence proofs. 2nd print
