Set theory. An introduction to independence proofs

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

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 ⋮ Preservation of splitting families and cardinal characteristics of the continuum ⋮ On continuity of transversal maps and incomparable topologies for topological groups ⋮ Lindelöfness of lexicographic products of GO-spaces ⋮ Submaximal spaces and cardinal invariants ⋮ Continuous bijections of Borel subsets of the Sorgenfrey line on compact spaces ⋮ Equivalence of generics ⋮ $C^\ast$-embedding and $P$-embedding in subspaces of products of ordinals ⋮ 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? ⋮ Characterising $k$-connected sets in infinite graphs ⋮ 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 ⋮ Partition properties for simply definable colourings ⋮ Fréchet-like properties and almost disjoint families ⋮ Posets of copies of countable non-scattered labeled linear orders ⋮ Silver type theorems for collapses ⋮ A simultaneous generalization of independence and disjointness in Boolean algebras ⋮ A note on relaxed equitable coloring of graphs ⋮ On the formalization of theories ⋮ Leibniz's syncategorematic infinitesimals. II: Their existence, their use and their role in the justification of the differential calculus ⋮ Special ultrafilters and cofinal subsets of $({}^\omega \omega, <^*)$ ⋮ An axiomatic approach to forcing and generic extensions ⋮ Strong zero-dimensionality of hyperspaces ⋮ Erratum to ``Normality and countable paracompactness of hyperspaces of ordinals [Topology Appl. 154 (2007) 358-362] ⋮ On HČ-completeness and Katětov extensions ⋮ The weight of lexicographic products ⋮ P-filters and Cohen, random, and Laver forcing ⋮ Invariants related to the tree property ⋮ On countably saturated linear orders and certain class of countably saturated graphs ⋮ Topology inside $\omega_1$ ⋮ Almost-normality of Isbell-Mrówka spaces ⋮ More on HOD-supercompactness ⋮ Productivity of cellular-Lindelöf spaces ⋮ The automorphism tower problem revisited ⋮ Different notions of Sierpiński-Zygmund functions ⋮ A finite product of ordinals is hereditarily dually discrete ⋮ Uncountable almost irredundant sets in nonseparable C*-algebras ⋮ On the virtue of categoricity ⋮ On the existence of overcomplete sets in some classical nonseparable Banach spaces ⋮ Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality $\aleph_0$ ⋮ Finitary shadows of compact subgroups of $S(\omega)$ ⋮ An infinite cardinal-valued Krull dimension for rings ⋮ Characterizing categorically closed commutative semigroups ⋮ Rich families and elementary submodels ⋮ Malykhin's problem ⋮ Full and hat inductive definitions are equivalent in NBG ⋮ A note on the continuous self-maps of the ladder system space ⋮ Partitions of $2^\omega$ and completely ultrametrizable spaces ⋮ On Bourbaki's axiomatic system for set theory ⋮ Base tree property ⋮ Forcing the truth of a weak form of Schanuel's conjecture ⋮ Kripke models for subtheories of \textsf{CZF} ⋮ A new Lindelöf topological group ⋮ Prikry forcing and tree Prikry forcing of various filters ⋮ Elementary submodels in infinite combinatorics ⋮ On some variants of the club principle ⋮ A remark on Schimmerling's question ⋮ Easton's theorem for the tree property below $\aleph_\omega$ ⋮ Open images of the Sorgenfrey line ⋮ Additivity coefficients for all classes in the algebra of Darboux-like maps on $\mathbb{R}$ ⋮ Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives ⋮ On two problems concerning Eberlein compacta ⋮ Anti-Fubini and pseudo-Fubini functions ⋮ Compact spaces with a P-base ⋮ The cofinality of the symmetric group and the cofinality of ultrapowers ⋮ Telgársky's conjecture may fail ⋮ Countably compact groups and sequential order ⋮ Towers and clubs ⋮ On the instability of a topological game related to consonance ⋮ Precompact groups and convergence ⋮ Ultrapowers of topological spaces ⋮ Foundations of Fatou theory and a tribute to the work of E. M. Stein on boundary behavior of holomorphic functions ⋮ Cardinal characteristics of the continuum and partitions ⋮ The tree property at first and double successors of singular cardinals with an arbitrary gap ⋮ Ontology, set theory, and the paraphrase challenge ⋮ Cellularity of infinite Hausdorff spaces in \textbf{ZF} ⋮ A small ultrafilter number at smaller cardinals ⋮ Antichains of perfect and splitting trees ⋮ Non-homogeneity of quotients of Prikry forcings ⋮ Madness and weak forms of normality ⋮ Compactness in abelian categories ⋮ $C^{*}$-algebras with and without $\ll$-increasing approximate units ⋮ Closed maximality principles and generalized Baire spaces ⋮ Categoricity results and large model constructions for second-order ZF in dependent type theory ⋮ Wadge-Wagner hierarchies ⋮ Non homeomorphic hereditarily weakly Koszmider spaces ⋮ Ultrafilter selection and Corson compacta ⋮ Cohen-like first order structures ⋮ Choiceless Löwenheim-Skolem property and uniform definability of grounds ⋮ On topological McAlister semigroups ⋮ $\omega_1$-strongly compact cardinals and normality ⋮ Many weak P-sets ⋮ A note on the revised GCH ⋮ Rank-to-rank embeddings, Laver tables, and Galton-Watson processes ⋮ Minimally generated Boolean algebras and the Nikodym property ⋮ PFA and $\omega_1$-free compact spaces ⋮ Inaccessible set axioms may have little consistency strength ⋮ 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 ⋮ Convergence in topological groups and the Cohen reals ⋮ Concerning the Dugundji extension property ⋮ Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram ⋮ 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 ⋮ Almost compatible functions and infinite length games ⋮ Products of Lindelöf spaces and GO-spaces ⋮ More set-theory for topologists ⋮ Definability and almost disjoint families ⋮ Nearly prime subsemigroups of $\beta\mathbb{N}$ ⋮ Valuations of lattice-ordered groups ⋮ Scattered spaces from weak diamonds ⋮ Submetacompactness and weak submetacompactness in countable products ⋮ Combinatorics and forcing with distributive ideals ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Bounded sets in topological vector spaces ⋮ Projective forcing ⋮ Infinite homogeneous bipartite graphs with unequal sides ⋮ Extensions of functions in Mrówka-Isbell spaces ⋮ Splittings ⋮ 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 ⋮ Decompositions of edge-coloured infinite complete graphs into monochromatic paths. II ⋮ There is no bound on sizes of indecomposable Banach spaces ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ 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. ⋮ The number of homomorphisms from the Hawaiian earring group ⋮ Spaces which are generated by discrete sets. ⋮ Alpha-theory: An elementary axiomatics for nonstandard analysis ⋮ On linearly H-closed spaces ⋮ On a hypothesis for ${\aleph}_{0}$-bounded groups ⋮ A minicourse on topological games ⋮ Paracompactness of lexicographic products of GO-spaces ⋮ On universal Banach spaces of density continuum ⋮ 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 ⋮ On strong chains of uncountable functions ⋮ From computation to foundations via functions and application: The $\lambda$-calculus and its webbed models ⋮ Partition subalgebras for maximal almost disjoint families ⋮ Changing cardinal characteristics without changing $\omega$-sequences or cofinalities ⋮ The wholeness axiom and Laver sequences ⋮ 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. ⋮ 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$ ⋮ Limits in compact Abelian groups ⋮ Filtered colimits in the effective topos ⋮ Amenability and non-uniform growth of some directed automorphism groups of a rooted tree ⋮ 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})$ ⋮ Hereditary $C^\ast$-subalgebra lattices ⋮ On subcontinua and continuous images of $\beta \mathbb{R} \setminus \mathbb{R}$ ⋮ A special point from $\diamondsuit$ and strongly $\omega$-bounded spaces ⋮ Fibers of continuous real-valued functions on $\psi$-spaces ⋮ Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces ⋮ A generalization of Martin's axiom ⋮ Different similarities ⋮ Separating club-guessing principles in the presence of fat forcing axioms ⋮ Proof of the Ghahramani-Lau conjecture ⋮ 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 ⋮ A countable Fréchet-Urysohn space of uncountable character ⋮ Homogeneous spaces and transitive actions by Polish groups ⋮ $\kappa$-complete uniquely complemented lattices ⋮ Towards a new epistemology of mathematics ⋮ Debreu-like properties of utility representations ⋮ The cardinal coefficients of the ideal $\mathcal {I}_{f}$ ⋮ Homogeneous iteration and measure one covering relative to HOD ⋮ Rothberger's property in all finite powers ⋮ 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 ⋮ On existence in set theory ⋮ An integer construction of infinitesimals: toward a theory of eudoxus hyperreals ⋮ On the axiom of union ⋮ Quotients of Boolean algebras and regular subalgebras ⋮ Constructing type I nonmetrisable manifolds with given $\Upsilon$-trees ⋮ Complete normality and metrization theory of manifolds ⋮ A countable dense-in-itself dense P-set ⋮ Mrówka maximal almost disjoint families for uncountable cardinals ⋮ Sigma-cotorsion rings. ⋮ The commutant of $L(H)$ in its ultrapower may or may not be trivial ⋮ Topological groups and $P^-_{\kappa ^+}$-points ⋮ On $d$- and $D$-separability ⋮ Precompact Fréchet topologies on abelian groups ⋮ An algebraic version of Tamano's theorem for countably compact spaces ⋮ Dual properties of subspaces in products of ordinals ⋮ Additivity of the two-dimensional Miller ideal ⋮ Small cardinals and the pseudocompactness of hyperspaces of subspaces of $\beta\omega$ ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ Foundations of near sets ⋮ Large cardinals and locally defined well-orders of the universe ⋮ On a problem of Rolewicz about Banach spaces that admit support sets ⋮ A strong antidiamond principle compatible with CH ⋮ Many normal measures ⋮ Injections into function spaces over ordinals and LOTS ⋮ Order-isomorphic $\eta _1$-orderings in Cohen extensions ⋮ Maharam algebras ⋮ Chain conditions and weak topologies ⋮ A note on the class of paracompact spaces whose product with every paracompact space is paracompact ⋮ Some remarks on a Telgarsky's conjecture concerning products of paracompact spaces ⋮ The modal logic of ${\beta(\mathbb{N})}$ ⋮ Shelah's pcf theory and its applications ⋮ Cardinal invariants of infinite groups ⋮ Large cardinals and gap-1 morasses ⋮ Countable decompositions of ${\mathbb{R}}^2$ and ${\mathbb{R}}^3$ ⋮ A filter property of submetacompactness and its application to products ⋮ Isomorphic incidence algebras ⋮ A game on Boolean algebras describing the collapse of the continuum ⋮ A nonconservativity result on global choice ⋮ $\mathcal P(\mathbb R)$, ordered by homeomorphic embeddability, does not represent all posets of cardinality $2^{\mathfrak c} $ ⋮ Products of certain dually discrete spaces ⋮ Abelian torsion groups with a countably compact group topology ⋮ Orderability of subspaces of well-orderable topological spaces ⋮ Property ${(\hbar)}$ and cellularity of complete Boolean algebras ⋮ Separation of a diagonal ⋮ Pointwise Debreu lexicographic powers ⋮ On densely isomorphic normed spaces ⋮ On hereditarily strong $\Sigma$-spaces ⋮ Products without remote points ⋮ A normal screenable non-paracompact space ⋮ Co-absolutes of $\beta N\setminus N$ ⋮ A Wage-type example with a pseudocompact factor ⋮ Ultimate stochastic entities ⋮ 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 ⋮ On $\nearrow$-normal spaces ⋮ A partition relation for partially ordered sets ⋮ Some applications of a generalized Martin's axiom ⋮ Existentially closed locally finite p-groups ⋮ 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 ⋮ Normality in k-and-$\aleph$ spaces ⋮ Precalibers of $\sigma$-compact topological groups ⋮ 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 ⋮ Closure-preserving covers by small sets ⋮ 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 cardinality of countably compact Hausdorff spaces ⋮ Covering the separation properties in the Easton model ⋮ Some linked subsets of posets ⋮ Comparison of Boolean algebras ⋮ The spectrum of the $\Gamma$-invariant of a bilinear space ⋮ Remarks on superatomic Boolean algebras ⋮ Hereditary countable metacompactness in finite and infinite product spaces of ordinals ⋮ Can a small forcing create Kurepa trees ⋮ 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 ⋮ 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 the limit superior of analytic sets ⋮ On HCO spaces. An uncountable compact $T_ 2$ space, different from $\aleph_ 1+1$, which is homeomorphic to each of its uncountable closed subspaces ⋮ A method for constructing ordered continua ⋮ Formal frameworks for approximate reasoning ⋮ Set-theoretic constructions of nonshrinking open covers ⋮ Abelian groups of continuous functions and their duals ⋮ Large ideals on small cardinals ⋮ Shrinking property in $\Sigma$-products of paracompact p-spaces ⋮ Saturated Boolean algebras and their Stone spaces ⋮ Some conditions under which tri-quotient or compact-covering maps are inductively perfect ⋮ A hereditarily normal square ⋮ Yet another Dowker product ⋮ Intersection properties of open sets ⋮ Set theory for verification. I: From foundations to functions ⋮ Some results on gaps ⋮ CH, $V = L$, disintegration of measures, and $\Pi_1^1$ sets ⋮ Companions of directed sets and the ordering lemma ⋮ The spectrum of elementary embeddings $j: V \to V$ ⋮ Countably compact hyperspaces and Frolík sums ⋮ A general mathematics of names ⋮ A note on $O$-uniformities and strongly proximal spaces ⋮ A hierarchy of chains embeddable into the lexicographic power $({\mathbb{R}}^\omega,\prec_{\text{lex}})$ ⋮ Intersection numbers of families of ideals ⋮ Matrix iterations and Cichon's diagram ⋮ Noetherian types of homogeneous compacta and dyadic compacta ⋮ Fixed-point free maps on the reals and more ⋮ True or false? A case in the study of harmonic functions ⋮ Characterizations of pretameness and the Ord-cc ⋮ Cofinality of normal ideals on $P_\kappa(\lambda)$. II ⋮ Chains of Baire class 1 functions and various notions of special trees ⋮ CZF does not have the existence property ⋮ The point-open type of subsets of the reals ⋮ New proofs of the consistency of the normal Moore space conjecture. I ⋮ THE STRONG TREE PROPERTY AT SUCCESSORS OF SINGULAR CARDINALS ⋮ Finding generic filters by playing games ⋮ Higher Souslin trees and the GCH, revisited ⋮ The complement of a $\sigma$-compact subset of a space with a $\pi$-tree also has a $\pi$-tree ⋮ Images of the countable ordinals ⋮ No interesting sequential groups ⋮ Induced mappings on the hyperspace of convergent sequences ⋮ Saturation and solvability in abstract elementary classes with amalgamation ⋮ A microscopic approach to Souslin-tree construction. II ⋮ An Efimov space with character less than $\mathfrak{s}$ ⋮ Definable MAD families and forcing axioms ⋮ Separating families and order dimension of Turing degrees ⋮ The Borel complexity of von Neumann equivalence ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ Transversal, $T_{1}$-independent, and $T_{1}$-complementary topologies ⋮ On pseudocompact spaces with a weak selection ⋮ Some remarks on Sierpiński-Zygmund functions in the strong sense ⋮ On (monotonically) metacompact subspaces of GO-spaces and related conclusions ⋮ The minimal size of infinite maximal antichains in direct products of partial orders ⋮ On constructions with 2-cardinals ⋮ Restricting uniformly open surjections ⋮ On the cardinality of separable pseudoradial spaces ⋮ $C^\ast$-embedding implies $P$-embedding in products of ordinals ⋮ On the lexicographic ordered spaces ⋮ Ends of non-metrizable manifolds: a generalized bagpipe theorem ⋮ A zero-dimensional $F$-space that is not strongly zero-dimensional ⋮ Hindman's theorem is only a countable phenomenon ⋮ On Pospíšil ideals ⋮ Topological groups whose closed subgroups are separable, and the product operation ⋮ B-frame duality ⋮ Van Douwen's diagram for dense sets of rationals ⋮ Products of monotonically normal spaces with various special factors ⋮ Many different covering numbers of Yorioka's ideals ⋮ Productivity of paracompactness in the class of the first-countable GO-spaces with certain dense subsets ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Strong combinatorial principles and level by level equivalence ⋮ 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 $ ⋮ Jonsson and HS modules over commutative rings ⋮ Essentially disjoint families, conflict free colorings and Shelah's revised GCH ⋮ A note on $D$-spaces and $L$-special trees ⋮ The computational strengths of $\alpha$-tape infinite time Turing machines ⋮ Quantum energy inequalities and local covariance. II: Categorical formulation ⋮ – CA₀ and order types of countable ordered groups ⋮ Cohen-stable families of subsets of integers ⋮ On Feferman's operational set theory \textsf{OST} ⋮ The torsion of the group of homeomorphisms of powers of the long line ⋮ Cofinitary groups, almost disjoint and dominating families ⋮ 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$ ⋮ Self-dual uniform matroids on infinite sets ⋮ Three red herrings around Vaught’s conjecture ⋮ OPTIMAL RESULTS ON RECOGNIZABILITY FOR INFINITE TIME REGISTER MACHINES ⋮ Set-theoretic geology ⋮ Dense free sets ⋮ A Framework for Component Categories ⋮ Small Valdivia compacta and trees ⋮ Algebrability, non-linear properties, and special functions ⋮ More on sequentially compact implying pseudoradial ⋮ Covering an uncountable square by countably many continuous functions ⋮ A century of Sierpiński-Zygmund functions ⋮ 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 ⋮ Two-cardinal diamond and games of uncountable length ⋮ Borel conjecture and dual Borel conjecture ⋮ Insertion theorems for maps to linearly ordered topological spaces ⋮ Linear subsets of nonlinear sets in topological vector spaces ⋮ Naive infinitism: the case for an inconsistency approach to infinite collections ⋮ Extending the class of known Stone-Čech remainders for $\psi$-spaces ⋮ On the $c_0$-extension property for compact lines ⋮ Extension property and complementation of isometric copies of continuous functions spaces ⋮ Guessing more sets ⋮ Proof-based verification approaches for dynamic properties: application to the information system domain ⋮ Similar but not the same: various versions of ♣ do not coincide ⋮ Compactness of Lobe spaces ⋮ Unnamed Item ⋮ The largest countable inductive set is a mouse set ⋮ On a class of m.a.d. families ⋮ A construction of nonstandard uniserial modules over valuation domains ⋮ Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words ⋮ AN ALGEBRA WHOSE SUBALGEBRAS ARE CHARACTERIZED BY DENSITY ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Independence and consistency proofs in quadratic form theory ⋮ Products and Remote Points: Examples and Counterexamples ⋮ SYSTEM — A UNIFIED CONCEPT ⋮ -stability ⋮ Stationary subsets of [ℵ_ω^<ω_n] ⋮ Strong measure zero sets without Cohen reals ⋮ FROM A1 TO D5: TOWARDS A FORCING-RELATED CLASSIFICATION OF RELATIONAL STRUCTURES ⋮ Amenable group actions on the integers; an independence result ⋮ Asymptotic structures of cardinals ⋮ Consistency of Suslin's hypothesis, a nonspecial Aronszajn tree, and GCH ⋮ UFA fails in the Bell-Kunen model ⋮ Two point sets with additional properties ⋮ There are Many Ostaszewski Spaces ⋮ Reflection of Long Game Formulas ⋮ A theory of sets with the negation of the axiom of infinity ⋮ A convergence on Boolean algebras generalizing the convergence on the Aleksandrov cube ⋮ Dense Barrelled Subspaces of Uncountable Codimension ⋮ Upward directedness of the Rudin-Keisler ordering of p-points ⋮ On Compact Hausdorff Spaces of Countable Tightness ⋮ The strong reflecting property and Harrington's Principle ⋮ Small filter forcing ⋮ Ramsey sets, the Ramsey ideal, and other classes overR ⋮ The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF ⋮ Properties of subtle cardinals ⋮ Shelah's work on non-semi-proper iterations, II ⋮ On embedding certain partial orders into the P-points under Rudin-Keisler and Tukey reducibility ⋮ Set Theory Generated by Abelian Group Theory ⋮ Unramified forcing preserving the law of double negation ⋮ DEFINABILITY OF SATISFACTION IN OUTER MODELS ⋮ COMPARING TWO VERSIONS OF THE REALS ⋮ Complete Boolean ultraproducts ⋮ If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal ⋮ Incompleteness Theorems, Large Cardinals, and Automata over Finite Words ⋮ Multiversism and Concepts of Set: How Much Relativism Is Acceptable? ⋮ Forcing, Multiverse and Realism ⋮ A Short Proof that Compact Quasidevelopable Spaces are Metrizable ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ Large Irredundant Sets in Operator Algebras ⋮ Understanding “Understanding” ⋮ On Collectionwise Normality of Locally Compact, Normal Spaces ⋮ Multiverse Conceptions in Set Theory ⋮ On the Set-Generic Multiverse ⋮ Definability of Satisfaction in Outer Models ⋮ Large Cardinals and the Continuum Hypothesis ⋮ From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts ⋮ Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective ⋮ Patching ideal families and enforcing reflection ⋮ Separation in Countably Paracompact Spaces ⋮ Topological Applications of Generic Huge Embeddings ⋮ Function Spaces of Completely Metrizable Spaces ⋮ A Model in Which GCH Holds at Successors but Fails at Limits ⋮ Zapping Small Filters ⋮ Gaps in (𝒫(𝜔),⊂*) and (𝜔^{𝜔},≤*) ⋮ Infinite products of finite simple groups ⋮ Compact-Like Totally Dense Subgroups of Compact Groups ⋮ European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 ⋮ Left Separated Spaces With Point-Countable Bases ⋮ Set Theory and C*-Algebras ⋮ On the Equimorphism Types of Linear Orderings ⋮ Unnamed Item ⋮ Reflection and Weakly Collectionwise Hausdorff Spaces ⋮ Consistency of strictly impredicative NF and a little more … ⋮ The Dual Group of a Dense Subgroup ⋮ Reconsidering Ordered Pairs ⋮ Monotone Reducibility Over the Cantor Space ⋮ Morasses and finite support iterations ⋮ The finiteness of compact Boolean algebras ⋮ The near coherence of filters principle does not imply the filter dichotomy principle ⋮ Generalized Descriptive Set Theory and Classification Theory ⋮ Combinatorial Dichotomies in Set Theory ⋮ Indestructibility and stationary reflection ⋮ NONMEASURABLE SETS AND UNIONS WITH RESPECT TO TREE IDEALS ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Tukey reductions of nowhere Ramsey to Silver null sets ⋮ On the pointwise implementation of near-actions ⋮ An upper cardinal bound on absolute E-rings ⋮ On endomorphism rings of $B_1$-groups that are not $B_2$-groups ⋮ On Two Problems Concerning Baire Sets in Normal Spaces ⋮ An independence result in quadratic form theory: Infinitary combinatorics applied to ε-Hermitian spaces ⋮ 2009 North American Annual Meeting of the Association for Symbolic Logic ⋮ Semiselective coideals ⋮ Embedding Graphs into Colored Graphs ⋮ Early History of the Generalized Continuum Hypothesis: 1878–1938 ⋮ Versions of Normality and Some Weak Forms of the Axiom of Choice ⋮ A characterization of the existence of a Souslin line ⋮ Forcing indestructibility of set-theoretic axioms ⋮ EXISTENCE OF MAJOR DISEASES AND MODELING OF EPIDEMIOLOGIC TRANSITION: A GENERAL SYSTEMS THEORETIC APPROACH ⋮ Transversals for strongly almost disjoint families ⋮ A Separable Space with no Remote Points ⋮ Weakly Dense Subsets of the Measure Algebra ⋮ Forcing minimal extensions of Boolean algebras ⋮ Reflecting point-countable families ⋮ A maximal bounded forcing axiom ⋮ The relative consistency of g < cf(Sym(ω)) ⋮ An axiomatic presentation of the nonstandard methods in mathematics ⋮ A tall space with a small bottom ⋮ Unnamed Item ⋮ Formalization of Forcing in Isabelle/ZF ⋮ Large Turing independent sets ⋮ Ramsey theory over partitions III: Strongly Luzin sets and partition relations ⋮ A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM ⋮ ON THE HISTORY TREE ⋮ Normal subspaces of products of finitely many ordinals ⋮ It is consistent with ZFC that B1 -groups are not B2 ⋮ Quasi-minimal abelian groups ⋮ Characterization of (semi-)Eberlein compacta using retractional skeletons ⋮ Computational logic: its origins and applications ⋮ A CONSTRUCTION OF THE RING OF INTEGERS ⋮ No Tukey reduction of Lebesgue null to Silver null sets ⋮ On subclasses of weak Asplund spaces ⋮ Even more on partitioning triples of countable ordinals ⋮ The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf ⋮ IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE ⋮ A Characterization of the Least Cardinal for which the Baire Category Theorem Fails ⋮ ON THE SET-THEORETIC STRENGTH OF ELLIS’ THEOREM AND THE EXISTENCE OF FREE IDEMPOTENT ULTRAFILTERS ON ω ⋮ ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ Separable determination in Banach spaces ⋮ Formalizing Ordinal Partition Relations Using Isabelle/HOL ⋮ Incompatible bounded category forcing axioms ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ ALMOST DISJOINT AND MAD FAMILIES IN VECTOR SPACES AND CHOICE PRINCIPLES ⋮ Unnamed Item ⋮ SLOW P-POINT ULTRAFILTERS ⋮ MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS ⋮ On infinite‐dimensional Banach spaces and weak forms of the axiom of choice ⋮ Indivisible sets and well‐founded orientations of the Rado graph ⋮ On cardinal characteristics of Yorioka ideals ⋮ The tree property and the continuum function below ⋮ A large list of small cardinal characteristics of Boolean algebras ⋮ Subcomplete forcing principles and definable well‐orders ⋮ A special class of almost disjoint families ⋮ On the order dimension of locally countable partial orderings ⋮ Hindman-like theorems with uncountably many colours and finite monochromatic sets ⋮ 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 ⋮ Set-theoretical problems concerning Hausdorff measures ⋮ Unnamed Item ⋮ Differentiability versus continuity: Restriction and extension theorems and monstrous examples ⋮ The global dimension of anf-ring via its space of minimal prime ideals ⋮ More on sequential order of compact scattered spaces ⋮ A small Dowker space in ZFC ⋮ COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS ⋮ HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS ⋮ MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER ⋮ A non-pseudocompact product of countably compact spaces via Seq ⋮ Precipitous towers of normal filters ⋮ The cofinality spectrum of the infinite symmetric group ⋮ SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS ⋮ A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS ⋮ Unnamed Item ⋮ On universal spaces for the class of Banach spaces whose dual balls are uniform Eberlein compacts ⋮ Embedding jump upper semilattices into the Turing degrees ⋮ Distinguishing types of gaps in (ω)/fin ⋮ Ordering MAD families a la Katětov ⋮ On the Boundary Behavior of Holomorphic and Harmonic Functions ⋮ On Stone’s theorem and the Axiom of Choice ⋮ Polish group actions: Dichotomies and generalized elementary embeddings ⋮ Infinite dimensional perfect set theorems ⋮ Strong tree properties for small cardinals ⋮ Supplements of bounded permutation groups ⋮ On decompositions of Banach spaces of continuous functions on Mrówka’s spaces ⋮ Unnamed Item ⋮ Laver sequences for extendible and super-almost-huge cardinals ⋮ Forcing in Proof Theory ⋮ Two Approaches to Fuzzy Implication ⋮ Adjoining cofinitary permutations ⋮ Adjoining Almost Disjoint Permutations ⋮ 1999 European Summer Meeting of the Association for Symbolic Logic ⋮ Unnamed Item ⋮ Trivial and non-trivial automorphisms of $\mathcal P(\omega _1)/[\omega _1^{<\aleph _0}$] ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Game-theoretical aspects of the Borel conjecture ⋮ Automorphisms and derivations of nonassociative C*-algebras ⋮ Boundaries, Martin's Axiom, and (P)-properties in dual Banach spaces ⋮ The cofinality of the strong measure zero ideal ⋮ Gross spaces ⋮ WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω₁ AND DIAMONDS ⋮ Luzin gaps ⋮ Unnamed Item ⋮ Projective Measure Without Projective Baire ⋮ Preserving cardinals and weak forms of Zorn’s lemma in realizability models ⋮ A cardinality version of Beigel's nonspeedup theorem ⋮ Measure-theoretic uniformity and the Suslin functional ⋮ Simultaneously vanishing higher derived limits ⋮ Unnamed Item ⋮ Dualization of the van Douwen diagram ⋮ HIGHER MILLER FORCING MAY COLLAPSE CARDINALS ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks ⋮ How many real numbers are there? ⋮ Convergence of measures after adding a real ⋮ New results regarding the lattice of uniform topologies on C(X) ⋮ Dimension of images and graphs of little Lipschitz functions ⋮ Exactly two and exactly three near-coherence classes ⋮ SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY ⋮ Wetzel: formalisation of an undecidable problem linked to the continuum hypothesis ⋮ Lexicographic preference representation: intrinsic length of linear orders on infinite sets ⋮ Negating the Galvin property ⋮ The role of syntactic representations in set theory ⋮ Selective separability properties of Fréchet–Urysohn spaces and their products ⋮ Some notes on topological calibers ⋮ The Griffiths double cone group is isomorphic to the triple ⋮ On minimal non-$\sigma$-scattered linear orders ⋮ Extensible Proof Systems for Infinite-State Systems ⋮ Unnamed Item ⋮ ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION ⋮ Balleans, hyperballeans and ideals ⋮ Jonsson-like partition relations and j: V → V ⋮ Weak axioms of choice for metric spaces ⋮ RELATIVIZING OPERATIONAL SET THEORY ⋮ Density character of subgroups of topological groups ⋮ A framework for forcing constructions at successors of singular cardinals ⋮ MA(ℵ0) restricted to complete Boolean algebras and choice ⋮ Sums of triples in Abelian groups ⋮ Star countable subspaces in products of ordinals ⋮ A concrete final coalgebra theorem for ZF set theory ⋮ A simple $P_{\aleph_1}$-point and a simple $P_{\aleph_2}$-point ⋮ Weakly separated spaces and Pixley-Roy hyperspaces ⋮ On the absoluteness of $\aleph_1$-freeness ⋮ A formalised theorem in the partition calculus ⋮ Laver forcing and converging sequences ⋮ Kunen the expositor ⋮ Dense metrizability ⋮ The relative strengths of fragments of Martin's axiom ⋮ On middle box products and paracompact cardinals ⋮ Boolean valued semantics for infinitary logics ⋮ Interview With a Set Theorist ⋮ Set-theoretic foundations ⋮ Splitting positive sets ⋮ Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse ⋮ On isometric embeddings into the set of strongly norm-attaining Lipschitz functions ⋮ Higher-dimensional delta-systems ⋮ Equality and Near-Equality in a Nonstandard World ⋮ Alternatives to the Halpern-Läuchli theorem ⋮ RETRACTED – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE ⋮ Unnamed Item ⋮ The consistency strength of hyperstationarity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Separated sets and Auerbach systems in Banach spaces ⋮ Path connectedness, local path connectedness and contractibility of $\mathcal{S}_c(X)$ ⋮ A few special ordinal ultrafilters ⋮ The Interplay Between Intergenerational Justice and Mathematical Utility Theory ⋮ Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words ⋮ Closed maximality principles: implications, separations and combinations ⋮ On Selectively Star-Lindelof Properties ⋮ The failure of diamond on a reflecting stationary set ⋮ Countably compact groups without non-trivial convergent sequences ⋮ A note on $D$-spaces ⋮ A Statistical Method for Emulation of Computer Models With Invariance-Preserving Properties, With Application to Structural Energy Prediction ⋮ Indestructibility of Wholeness ⋮ Unnamed Item ⋮ On the lattice of weak topologies on the bicyclic monoid with adjoined zero ⋮ Pressing Down Lemma for λ-trees and its applications ⋮ On $\mathbb R$-embeddability of almost disjoint families and Akemann–Doner C$^*$-algebras ⋮ 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 ⋮ NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES ⋮ A supersimple nonlow theory ⋮ ON TALAGRAND’S EXHAUSTIVE PATHOLOGICAL SUBMEASURE ⋮ D-spaces ⋮ A consistency result on thin-very tall Boolean algebras ⋮ Bounded forcing axioms and the continuum ⋮ Forcing with copies of countable ordinals ⋮ $P(\omega)/{\rm fin}$ and projections in the Calkin algebra ⋮ Base multiplicity in compact and generalized compact spaces ⋮ Pairwise disjoint eight‐shaped curves in hybrid planes ⋮ Trees, fundamental groups and homology groups ⋮ On compact weaker topologies in function spaces ⋮ Continuity in separable metrizable and Lindelöf spaces ⋮ The ground axiom ⋮ Pytkeev spaces and sequential extensions ⋮ A Framework for Formalizing Set Theories Based on the Use of Static Set Terms ⋮ Martin's maximum revisited ⋮ Partial order embeddings with convex range ⋮ MADNESS IN VECTOR SPACES ⋮ Juhász’s topological generalization of Neumer’s theorem may fail in 𝖹𝖥 ⋮ Reverse Mathematics and Π¹₂ Comprehension ⋮ Small MAD families whose Isbell--Mr\'owka space has pseudocompact hyperspace ⋮ A space with a Lusin $\pi$-base whose square has no Lusin $\pi$-base ⋮ Dense subtrees in complete Boolean algebras ⋮ When the property of having a $\pi$-tree is preserved by products ⋮ Topology of Mrówka-Isbell Spaces ⋮ Discontinuity of multiplication and left translations in $\beta G$ ⋮ Unnamed Item ⋮ Coherent forests ⋮ HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC ⋮ Analytic and coanalytic families of almost disjoint functions ⋮ Strongly unfoldable cardinals made indestructible ⋮ Splitting families and the Noetherian type of βω / ω ⋮ Power-collapsing games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A characterization of $X$ for which spaces $C_p(X)$ are distinguished and its applications ⋮ A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT ⋮ Elementary totally disconnected locally compact groups ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The left, the right and the sequential topology on Boolean algebras ⋮ Prevalence of Generic Laver Diamond ⋮ Forcing consequences of $PFA$ together with the continuum large ⋮ On sequential analytic groups

This page was built for publication: Set theory. An introduction to independence proofs