Set theory. An introduction to independence proofs
From MaRDI portal
Publication:1144013
zbMath0443.03021MaRDI QIDQ1144013
Publication date: 1980
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E50: Continuum hypothesis and Martin's axiom
03E05: Other combinatorial set theory
03E40: Other aspects of forcing and Boolean-valued models
Related Items
A total ladder system space by ccc forcing, A construction that yields a nonacyclic monotonically normal space, Hereditary normality versus countable tightness in countably compact spaces, On the homogeneity property for certain quantifier logics, On the simplicity of the automorphism group of \(\mathcal P (\omega )\)/fin, Cartesian products of Fréchet topological groups and function spaces, Combinatorial properties of Hechler forcing, Symmetric submodels of a Cohen generic extension, Finite combinations of Baire numbers, On the weight-spectrum of a compact space, Towers in \([\omega^{\omega}\) and \(^{\omega}\omega\)], Forcings with ideals and simple forcing notions, Iterations of Boolean algebras with measure, Superstationary and \(ineffable^ n\) cardinals, Omitting the cardinality of the continuum in scattered spaces, The non-commutative Specker phenomenon, A distortion problem for the space \(\ell_\infty^c(\omega_1)\), A group under \(\text{MA}_{\text{countable}}\) whose square is countably compact but whose cube is not, On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone, Subspaces of the Sorgenfrey line, Topological ultraproducts: when is the quotient mapping closed?, Weak measure extension axioms, Universal spaces for finite-dimensional closed images of locally compact metric spaces, Forcing and normality, Nonshrinking open covers and K. Morita's third conjecture, Complexity of reals in inner models of set theory, The dimension of two levels of the Boolean lattice, The number of types in simple theories, A model in which there are Jech-Kunen trees but there are no Kurepa trees, On HCO spaces. An uncountable compact \(T_ 2\) space, different from \(\aleph_ 1+1\), which is homeomorphic to each of its uncountable closed subspaces, Formal frameworks for approximate reasoning, Abelian groups of continuous functions and their duals, Large ideals on small cardinals, Some conditions under which tri-quotient or compact-covering maps are inductively perfect, A hereditarily normal square, Yet another Dowker product, Set theory for verification. I: From foundations to functions, Some results on gaps, On \(\nearrow\)-normal spaces, A partition relation for partially ordered sets, Some applications of a generalized Martin's axiom, Variations on a game of Gale. II: Markov strategies, Shrinking in products of cardinals and compact spaces, Countable-compact-covering maps and compact-covering maps, Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals, Essential Kurepa trees versus essential Jech-Kunen trees, Universality of the automorphism group of the real line, On Borel ideals, Applications of cohomology to set theory. I: Hausdorff gaps, Power set recursion, Semimorasses and nonreflection at singular cardinals, Issues in commonsense set theory, Parametrizing open universals, The spectrum of the \(\Gamma\)-invariant of a bilinear space, Hereditary countable metacompactness in finite and infinite product spaces of ordinals, Can a small forcing create Kurepa trees, Valuations of lattice-ordered groups, Combinatorics and forcing with distributive ideals, Projective forcing, Extensions of functions in Mrówka-Isbell spaces, An unclassifiable unidimensional theory without OTOP, Sticks and clubs, Possible values for \(2^{\aleph_n}\) and \(2^{\aleph_\omega}\), Partition numbers, On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\), Cardinal invariants and independence results in the poset of precompact group topologies, The tree property, An oracle builder's toolkit, Answer to Raczkowski's questions on convergent sequences of integers, Do stronger definitions of randomness exist?, Generic left-separated spaces and calibers, Strong zero-dimensionality of products of ordinals., Weakly Whyburn spaces of continuous functions on ordinals., Some notes concerning the homogeneity of Boolean algebras and Boolean spaces, Local coherence., Independence of Boolean algebras and forcing., SH plus CH does not imply stationary antichains., Spaces which are generated by discrete sets., Alpha-theory: An elementary axiomatics for nonstandard analysis, On strong chains of uncountable functions, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Changing cardinal characteristics without changing \(\omega\)-sequences or cofinalities, The wholeness axiom and Laver sequences, Unions of chains in dyadic compact spaces and topological groups, Normality and paranormality in product spaces, Applications of another characterization of \(\beta{\mathbb N}\setminus{\mathbb N}\), Characterizations of ordinal spaces via continuous selections, Subnormality in \(\omega_1^2\), Inaccessible set axioms may have little consistency strength, On the cardinality of power homogeneous compacta, How many miles to \(\beta \omega\)? -- Approximating \(\beta \omega\) by metric-dependent compactifications, Forcing indestructibility of MAD families, Representable lexicographic products, Characterizations of standard elements in posets, Spaces of continuous functions defined on Mrówka spaces, Amalgamating infinite Latin squares, Diamond, square, and level by level equivalence, Models of set theory with definable ordinals, Mad families, forcing and the Suslin hypothesis, Distributivity of the algebra of regular open subsets of \(\beta\mathbb R\setminus \mathbb R\), The representability number of a chain, The weight of a countably compact group whose cardinality has countable cofinality, Iterated forcing in quadratic form theory, OCA and automorphisms of \({\mathfrak P}(\omega)/\text{fin}\), Unbounded families and the cofinality of the infinite symmetric group, A unification-theoretic method for investigating the \(k\)-provability problem, About Prikry generic extensions, Normal measure axiom and Balogh's theorems, Ordinals. I: Basic notions, Birkhoff's representation theorem is equivalent to the axiom of choice, Ultrafilters with small generating sets, Forcing with filters and complete combinatorics, The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields, A theorem on the closure of \(\Omega\)-pure subgroups of \(C_{\Omega}\) groups in the \(\Omega\)-topology, Products of minimal abelian groups, Partition subalgebras for maximal almost disjoint families, Complexity of the \(r\)-query tautologies in the presence of a generic oracle, HFD and HFC type spaces, with applications, On the character and \(\pi\)-weight of homogeneous compacta., Compact spaces and the pseudoradial property, I, On the multiplicity of jigsawed bases in compact and countably compact spaces, Zero-divisor graphs, von Neumann regular rings, and Boolean algebras., Cozero complemented spaces; when the space of minimal prime ideals of a \(C(X)\) is compact, Examples concerning extensions of continuous functions, A base property in paracompact products and its applications, Coarser connected topologies, Tightness, character and related properties of hyperspace topologies, Concerning the Dugundji extension property, The real core model and its scales, On the cardinality of Lindelöf spaces with points \(G_ \delta\), Continuing horrors of topology without choice, Combinatorial properties of classical forcing notions, Uniformization problems and the cofinality of the infinite symmetric group, Well ordered subsets of linearly ordered sets, Products of Lindelöf spaces and GO-spaces, More set-theory for topologists, Nearly prime subsemigroups of \(\beta\mathbb{N}\), Submetacompactness and weak submetacompactness in countable products, Bounded sets in topological vector spaces, Infinite homogeneous bipartite graphs with unequal sides, Splittings, How to force a countably tight, initially \(\omega_ 1\)-compact and noncompact space?, When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies?, More on the cut and choose game, Applications of cohomology to set theory. II: Todorčević trees, Saturated filters at successors of singulars, weak reflection and yet another weak club principle, Killing normality with a Cohen real, Generic constructions of small sets of reals, Shrinking in perfect preimages of shrinking spaces, The automorphism tower problem revisited, The spectrum of elementary embeddings \(j: V \to V\), Countably compact hyperspaces and Frolík sums, A general mathematics of names, Cofinality of normal ideals on \(P_\kappa(\lambda)\). II, Chains of Baire class 1 functions and various notions of special trees, Van Douwen's diagram for dense sets of rationals, Quantum energy inequalities and local covariance. II: Categorical formulation, On Feferman's operational set theory \textsf{OST}, Constructibility and decidability versus domain independence and absoluteness, Forcing and antifoundation, The three space problem in topological groups, Rudin's Dowker space, strong base-normality and base-strong-zero-dimensionality, Solution of Shapirovskii's question, On the class of \(\omega _{1}\)-metrizable spaces whose product with every paracompact space is paracompact, Complete systems, elementary submodels and the tightness of upper hyperspaces, Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\), More on sequentially compact implying pseudoradial, How rigid are reduced products?, Notes on the length, the structure and the cardinality of a chain, Deflating Skolem, A characterization of generalized Příkrý sequences, The point-open type of subsets of the reals, New proofs of the consistency of the normal Moore space conjecture. I, Martin’s Axiom does not imply perfectly normal non-archimedean spaces are metrizable, Products of Michael spaces and completely metrizable spaces, A universal continuum of weight $\aleph $, – CA0 and order types of countable ordered groups, Cohen-stable families of subsets of integers, The torsion of the group of homeomorphisms of powers of the long line, Cofinitary groups, almost disjoint and dominating families, European Summer Meeting of the Association for Symbolic Logic, Hull, 1986, EXISTENCE OF MAJOR DISEASES AND MODELING OF EPIDEMIOLOGIC TRANSITION: A GENERAL SYSTEMS THEORETIC APPROACH, Products and Remote Points: Examples and Counterexamples, UFA fails in the Bell-Kunen model, The Dual Group of a Dense Subgroup, Forcing indestructibility of set-theoretic axioms, Transversals for strongly almost disjoint families, Amenable group actions on the integers; an independence result, Upward directedness of the Rudin-Keisler ordering of p-points, Set Theory and C*-Algebras, On the Equimorphism Types of Linear Orderings, Monotone Reducibility Over the Cantor Space, Small filter forcing, Properties of subtle cardinals, Unramified forcing preserving the law of double negation, Complete Boolean ultraproducts, Separation in Countably Paracompact Spaces, Left Separated Spaces With Point-Countable Bases, On Two Problems Concerning Baire Sets in Normal Spaces, Embedding Graphs into Colored Graphs, The largest countable inductive set is a mouse set, On a class of m.a.d. families, SYSTEM — A UNIFIED CONCEPT, -stability, Stationary subsets of [ℵω<ωn], Strong measure zero sets without Cohen reals, Consistency of Suslin's hypothesis, a nonspecial Aronszajn tree, and GCH, There are Many Ostaszewski Spaces, Reflection of Long Game Formulas, A theory of sets with the negation of the axiom of infinity, Dense Barrelled Subspaces of Uncountable Codimension, On Compact Hausdorff Spaces of Countable Tightness, Shelah's work on non-semi-proper iterations, II, Set Theory Generated by Abelian Group Theory, The global dimension of anf-ring via its space of minimal prime ideals, A non-pseudocompact product of countably compact spaces via Seq, Precipitous towers of normal filters, The cofinality spectrum of the infinite symmetric group, Topological Applications of Generic Huge Embeddings, Function Spaces of Completely Metrizable Spaces, On Stone’s theorem and the Axiom of Choice, Polish group actions: Dichotomies and generalized elementary embeddings, Unnamed Item, Supplements of bounded permutation groups, Reflection and Weakly Collectionwise Hausdorff Spaces, The cofinality of the strong measure zero ideal, Luzin gaps, Dualization of the van Douwen diagram, A maximal bounded forcing axiom, The relative consistency of g < cf(Sym(ω)), An axiomatic presentation of the nonstandard methods in mathematics, Unnamed Item, Embedding jump upper semilattices into the Turing degrees, Distinguishing types of gaps in (ω)/fin, Ordering MAD families a la Katětov, On decompositions of Banach spaces of continuous functions on Mrówka’s spaces, Forcing in Proof Theory, Gross spaces, A cardinality version of Beigel's nonspeedup theorem, Reflecting point-countable families, A tall space with a small bottom, Normal subspaces of products of finitely many ordinals, It is consistent with ZFC that B1 -groups are not B2, Quasi-minimal abelian groups, On subclasses of weak Asplund spaces, The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf, A Characterization of the Least Cardinal for which the Baire Category Theorem Fails, A special class of almost disjoint families, DEVELOPMENT OF A NEW THEORY WITH GENERALITY TO UNIFY DIVERSE DISCIPLINES OF KNOWLEDGE AND CAPABILITY OF APPLICATIONS, Inner Models and Large Cardinals, Souslin’s hypothesis and convergence in category, The Mathematical Development of Set Theory from Cantor to Cohen, A small Dowker space in ZFC, Laver sequences for extendible and super-almost-huge cardinals, Adjoining cofinitary permutations, 1999 European Summer Meeting of the Association for Symbolic Logic, Unnamed Item, Jonsson-like partition relations and j: V → V, Weak axioms of choice for metric spaces, $P(\omega)/{\rm fin}$ and projections in the Calkin algebra, Pairwise disjoint eight‐shaped curves in hybrid planes, The ground axiom, A Framework for Formalizing Set Theories Based on the Use of Static Set Terms, Reverse Mathematics and Π12 Comprehension, Dense subtrees in complete Boolean algebras, A few special ordinal ultrafilters, Pseudoradial spaces: Separable subsets, products and maps onto Tychonoff cubes, Quasi-invariant measures on non-Archimedean groups and semigroups of loops and paths, their representations. I, A supersimple nonlow theory, D-spaces, A consistency result on thin-very tall Boolean algebras, Bounded forcing axioms and the continuum, Base multiplicity in compact and generalized compact spaces, Trees, fundamental groups and homology groups, On compact weaker topologies in function spaces, Pytkeev spaces and sequential extensions, Patching ideal families and enforcing reflection, Gaps in (𝒫(𝜔),⊂*) and (𝜔^{𝜔},≤*), Infinite products of finite simple groups, Unnamed Item, A characterization of the existence of a Souslin line, A Separable Space with no Remote Points, Weakly Dense Subsets of the Measure Algebra, A construction of nonstandard uniserial modules over valuation domains, Independence and consistency proofs in quadratic form theory, Ramsey sets, the Ramsey ideal, and other classes overR, If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal, A Short Proof that Compact Quasidevelopable Spaces are Metrizable, On Collectionwise Normality of Locally Compact, Normal Spaces, A Model in Which GCH Holds at Successors but Fails at Limits, Zapping Small Filters, Compact-Like Totally Dense Subgroups of Compact Groups, An independence result in quadratic form theory: Infinitary combinatorics applied to ε-Hermitian spaces, Semiselective coideals, Versions of Normality and Some Weak Forms of the Axiom of Choice, Forcing minimal extensions of Boolean algebras, Similar but not the same: various versions of ♣ do not coincide, Compactness of Lobe spaces, Forcing hereditarily separable compact-like group topologies on Abelian groups, \(d\)-calibers and \(d\)-tightness in compact spaces, Kurepa trees and topological non-reflection, Inductive types and exact completion, A theorem and some consistency results in partition calculus, On two classes of sets containing all Baire sets and all co-analytic sets, MA(\(\sigma\)-centered): Cohen reals, strong measure zero sets and strongly meager sets, The spectrum of maximal independent subsets of a Boolean algebra, The product of two ordinals is hereditarily countably metacompact, Cardinal invariants about shrinkability of unbounded sets, Suslin's hypothesis does not imply stationary antichains, Adding a Cohen real adds an entangled linear order, Simplified RCS iterations, The differences between Kurepa trees and Jech-Kunen trees, Two cardinal versions of diamond, On the \(l_ p^*\)-equivalence of certain locally compact spaces, Constructing type I nonmetrisable manifolds with given \(\Upsilon\)-trees, Complete normality and metrization theory of manifolds, A countable dense-in-itself dense P-set, Sigma-cotorsion rings., Shelah's pcf theory and its applications, Cardinal invariants of infinite groups, Countable decompositions of \({\mathbb{R}}^2\) and \({\mathbb{R}}^3\), A filter property of submetacompactness and its application to products, Isomorphic incidence algebras, A nonconservativity result on global choice, On hereditarily strong \(\Sigma\)-spaces, Co-absolutes of \(\beta N\setminus N\), Some set-theoretical aspects of differentiation theory, On chain conditions in Moore spaces. II, \(\omega {}^*_ 2U(\omega_ 2)\) can be \(C^*\)-embedded in \(\beta \omega_ 2\), On a problem of R. Pöschel on locally invertible monoids, Several epistemological problems related to the concept of systems, The pointwise view of determinacy: arboreal forcings, measurability, and weak measurability, Cardinality without enumeration, Tameness of pseudovariety joins involving R., On a class of pseudocompact spaces derived from ring epimorphisms, Limits in compact Abelian groups, Filtered colimits in the effective topos, Projective well-orderings of the reals, Failures of SCH and level by level equivalence, Ordinal arithmetic: Algorithms and mechanization, Covering a bounded set of functions by an increasing chain of slaloms, Cardinal invariants of the continuum and combinatorics on uncountable cardinals, Normality and countable paracompactness of hyperspaces of ordinals, Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\), Countably compact topological group topologies on free Abelian groups from selective ultrafilters, A covering lemma for \(K(\mathbb{R})\), Tree \(\pi\)-bases for \(\beta N-N\) in various models, Definable forcing axiom: An alternative to Martin's axiom, Results on the generic Kurepa hypothesis, Integer-valued functions and increasing unions of first countable spaces, Products without remote points, A normal screenable non-paracompact space, A Wage-type example with a pseudocompact factor, Ultimate stochastic entities, On the limit superior of analytic sets, A method for constructing ordered continua, Set-theoretic constructions of nonshrinking open covers, Shrinking property in \(\Sigma\)-products of paracompact p-spaces, Saturated Boolean algebras and their Stone spaces, Intersection properties of open sets, Existentially closed locally finite p-groups, Normality in k-and-\(\aleph\) spaces, Precalibers of \(\sigma\)-compact topological groups, Closure-preserving covers by small sets, The cardinality of countably compact Hausdorff spaces, Covering the separation properties in the Easton model, Some linked subsets of posets, Comparison of Boolean algebras, Remarks on superatomic Boolean algebras, PFA and \(\omega\) \(*_ 1\), Partition relations for countable topological spaces, Some results on CDH spaces. I, Applications of iterated perfect set forcing, The complete tunnel axiom, More countably compact, locally countable spaces, A characterization of \(\aleph _ 1\)-free Abelian groups and its application to the Chase radical, Perfect pre-images of \(\omega _ 1\) and the PFA, Subprincipal closed ideals in \(\beta N\), Locally compact, countably paracompact spaces in the constructible universe, Infinite combinatorics and definability, Extraspecial p-groups, Countable dense homogeneous spaces under Martin's axiom, About splitting numbers, Normed barely Baire spaces, On the congruence problem in infinite dimensional sesquilinear spaces, Projecting precipitousness, Hypersets, Borel quasi-orderings in subsystems of second-order arithmetic, On minimal \(\pi\)-character of points in extremally disconnected compact spaces, Order types, calibres and spread of Corson compacta, On \(L_{\infty{}\kappa{}}\)-free Boolean algebras, Sacks forcing, Laver forcing, and Martin's axiom, Various smoothings of the long line and their tangent bundles, Measure-compact spaces, A partition relation for triples using a model of Todorčević, Fuzzy sets and residuated logic, Map theory, Products of spaces of ordinal numbers
