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)
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)
On cardinal sequences of LCS spaces ⋮ Additivity of the ideal of microscopic sets ⋮ No decreasing sequence of cardinals ⋮ A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle ⋮ Expansions of o-minimal structures by dense independent sets ⋮ \(1/\kappa \)-homogeneous long solenoids ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Some structural aspects of the Katětov order on Borel ideals ⋮ Finiteness classes and small violations of choice ⋮ Two cardinal inequalities about bidiscrete systems ⋮ Infinite games specified by 2-tape automata ⋮ Stat trek. An interview with Christian Genest ⋮ Anti-Urysohn spaces ⋮ Subgroups of \(\mathrm{SF}(\omega)\) and the relation of almost containedness ⋮ On extendible cardinals and the GCH ⋮ The spectrum of maximal independent subsets of a Boolean algebra ⋮ The list-chromatic number of infinite graphs ⋮ Co-analytic mad families and definable wellorders ⋮ Operational closure and stability ⋮ Productivity of paracompactness in the class of GO-spaces ⋮ \(\frac{1}{2}\)-homogeneity of \(n\)th suspensions ⋮ Remarks on countable tightness ⋮ Many countable support iterations of proper forcings preserve Souslin trees ⋮ Gap topologies in metric spaces ⋮ Indestructibility of compact spaces ⋮ Comparing weak versions of separability ⋮ Cleavability over ordinals ⋮ When is a \(P\)-space weakly discretely generated? ⋮ Injections into function spaces over compacta ⋮ Injections into function spaces over ordinals ⋮ Ai-maximal independent families and irresolvable Baire spaces ⋮ Monotonically monolithic spaces, Corson compacts, and \(D\)-spaces ⋮ More on injections into function spaces over ordinals ⋮ Another note on the class of paracompact spaces whose product with every paracompact space is paracompact ⋮ Monotone normality and neighborhood assignments ⋮ Products of monotonically normal spaces with factors defined by topological games ⋮ A compact metric space that is universal for orbit spectra of homeomorphisms ⋮ A base-matrix lemma for sets of rationals modulo nowhere dense sets ⋮ Power homogeneous compacta and the order theory of local bases ⋮ Complementation and decompositions in some weakly Lindelöf Banach spaces ⋮ A covering theorem and the random-indestructibility of the density zero ideal ⋮ Countability and star covering properties ⋮ Stationary map coloring ⋮ Oscillation in the initial segment complexity of random reals ⋮ Indestructibility of Vopěnka's principle ⋮ A non-implication between fragments of Martin's axiom related to a property which comes from Aronszajn trees ⋮ Filtration-equivalent \(\aleph_1\)-separable Abelian groups of cardinality \(\aleph_1\). ⋮ Club-guessing, stationary reflection, and coloring theorems ⋮ Martin's axiom and embeddings of upper semi-lattices into the Turing degrees ⋮ Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances. ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ Continuous maps on Aronszajn trees ⋮ The embedding structure for linearly ordered topological spaces ⋮ Complete separation in the random and Cohen models ⋮ Ordinal remainders of \(\psi \)-spaces ⋮ Complementation in spaces of continuous functions on compact lines ⋮ Classes and truths in set theory ⋮ Extracting long basic sequences from systems of dispersed vectors ⋮ Strong tree properties for two successive cardinals ⋮ MAD families of projections on \(l^{2}\) and real-valued functions on \(\omega \) ⋮ Kunen and set theory ⋮ Lelek's problem is not a metric problem ⋮ GO-spaces and Noetherian spectra ⋮ Combinations not tolerated by normal topological groups ⋮ The product of two ordinals is hereditarily dually discrete ⋮ The metamathematics of Putnam's model-theoretic arguments ⋮ Trivial automorphisms ⋮ Gaps in the poset of projections in the Calkin algebra ⋮ A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP ⋮ An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion ⋮ Are mathematical theories reducible to non-analytic foundations? ⋮ On separable determination of \(\sigma\)-\(\mathbf P\)-porous sets in Banach spaces ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ Template iterations with non-definable ccc forcing notions ⋮ Combinatorial aspects of selective star covering properties in \(\Psi\)-spaces ⋮ Families of sets with nonmeasurable unions with respect to ideals defined by trees ⋮ Compactness and compactifications in generalized topology ⋮ The product of two ordinals is hereditarily countably metacompact ⋮ Cardinal invariants about shrinkability of unbounded sets ⋮ Cofinality of normal ideals on \([\lambda^{<\kappa}\). I] ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ Multiverse conceptions in set theory ⋮ Relations between the \({\mathcal {I}}\)-ultrafilters ⋮ Sets and supersets ⋮ A formal framework for the study of the notion of undefined particle number in quantum mechanics ⋮ Conventionalism, consistency, and consistency sentences ⋮ Productivity of paracompactness and closed images of real GO-spaces ⋮ Remarks on monotone (weak) Lindelöfness ⋮ Ultrafilter semigroups generated by direct sums ⋮ A survey on Banach spaces \(C(K)\) with few operators ⋮ Very I-favorable spaces ⋮ A note on monotone covering properties ⋮ Star-covering properties: generalized \(\Psi \)-spaces, countability conditions, reflection ⋮ 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
This page was built for publication: Set theory. An introduction to independence proofs
