Set Theory
From MaRDI portal
Publication:4780924
DOI10.1007/3-540-44761-XzbMath1007.03002OpenAlexW4235312496WikidataQ56268203 ScholiaQ56268203MaRDI QIDQ4780924
Publication date: 21 November 2002
Published in: Springer Monographs in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-44761-x
ultrapowersforcingiterated forcinglarge cardinalsconstructibilitypcf theorydescriptive set theorydeterminacycardinal arithmeticcombinatorial set theoryforcing axiomsinner model theoryaxiomatic set theorysingular cardinal problem
Descriptive set theory (03E15) 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) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Cardinal characteristics of the continuum (03E17) Partition relations (03E02) Ordinal and cardinal numbers (03E10) Other aspects of forcing and Boolean-valued models (03E40) Ordered sets and their cofinalities; pcf theory (03E04) Determinacy principles (03E60) Set theory (03Exx)
Related Items
Cardinal invariants of closed graphs, Whitehead's problem and reverse mathematics, Quantum gravity from descriptive set theory, Quantum gravity, Clifford algebras, fuzzy set theory and the fundamental constants of nature, Proper forcing extensions and Solovay models, Infinitary first-order categorical logic, Small embedding characterizations for large cardinals, Cylindrical Wigner measures, An uncountable version of Pták's combinatorial lemma, Products of Lindelöf spaces with points \(G_{\delta}\), Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram, Almost compatible functions and infinite length games, Definability and almost disjoint families, On the existence of \(\kappa \)-existentially closed groups, Iterated ultrapowers for the masses, On FE-precomplete classes in countable-valued logic, Generic absoluteness and Boolean names for elements of a Polish space, There is no bound on sizes of indecomposable Banach spaces, \(L(\mathbb{R}, \mu)\) is unique, Linguistic\(\leftrightarrow \)rational agents' semantics, A definable failure of the singular cardinal hypothesis, On the union of increasing chains of torsion-free modules over integral domains, Local automorphisms of finitary incidence algebras, Recognizable sets and Woodin cardinals: computation beyond the constructible universe, Keeping logic in the trivium of computer science: a teaching perspective, \(\kappa\)-existentially closed groups, Random Galois extensions of Hilbertian fields, Using coalgebras and the Giry monad for interpreting game logics -- a tutorial, Strange ultrafilters, The iterability hierarchy above \(\mathsf {I3}\), Cycle reversions and dichromatic number in tournaments, \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis, On the existence of skinny stationary subsets, Uncountable strongly surjective linear orders, Distinct volume subsets via indiscernibles, Output feedback fault-tolerant control by a set-theoretic description of T-S fuzzy systems, On bisequentiality and spaces of strictly decreasing functions on trees, The scope of Feferman's semi-intuitionistic set theories and his second conjecture, On the existence of overcomplete sets in some classical nonseparable Banach spaces, The weight of nonstrongly complete profinite groups, Magidor cardinals, Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality \(\aleph_0\), Adding the power-set to description logics, An infinite cardinal-valued Krull dimension for rings, Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth, Sandwich semigroups in locally small categories. I: Foundations, Sandwich semigroups in locally small categories. II: Transformations, Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets, A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part, Internal sizes in \(\mu\)-abstract elementary classes, Forcing the truth of a weak form of Schanuel's conjecture, Dynamical systems on El Naschie's \({\mathcal E}^{(\infty)}\) Cantorian space-time, A note on asymptotic values of quasiregular maps, Distributivity of the algebra of regular open subsets of \(\beta\mathbb R\setminus \mathbb R\), On the ideal convergence of subsequences and rearrangements of a real sequence, On some questions of Drewnowski and Łuczak concerning submeasures on \(\mathbb N\), Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\), Trace spaces of counterexamples to Naimark's problem, Toward an algebraic theory of systems, Algebraic structure of countably compact non-torsion abelian groups of size continuum from selective ultrafilters, The category of varieties and interpretations is alg-universal, Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations, The cofinality of the symmetric group and the cofinality of ultrapowers, Hereditary interval algebras and cardinal characteristics of the continuum, Examples from trees, related to discrete subsets, pseudo-radiality and \(\omega \)-boundedness, Strongly compact cardinals and the continuum function, Forcing the mapping reflection principle by finite approximations, Infinite decreasing chains in the Mitchell order, Low-distortion embeddings of infinite metric spaces into the real line, On the generalized nonmeasurability of vitali sets and Bernstein sets, Epireflections and supercompact cardinals, Finite products of connected nowhere separable linearly ordered spaces, \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy, \({\Pi^1_2}\)-comprehension and the property of Ramsey, Universal Bayes consistency in metric spaces, The problem on the measure of the union of line segments in the plane with restrictions on the set of their ends, Slices of essentially algebraic categories, Large cardinals and gap-1 morasses, The strength of choiceless patterns of singular and weakly compact cardinals, On the continuous gradability of the cut-point orders of \(\mathbb{R} \)-trees, Maximum deconstructibility in module categories, Reinhardt cardinals and iterates of \(V\), Forcing notions in inner models, Wadge-Wagner hierarchies, The homeomorphism group of the first uncountable ordinal, Dynamics and structure of groups of homeomorphisms of scattered spaces, Classical vs. non-Archimedean analysis: an approach via algebraic genericity, Dualities and endomorphisms of pseudo-cones, The projection problem in commutative, positively ordered monoids, \(\kappa \)-Ohio completeness, On the structure of divergence-free measures on \(\mathbb{R}^2\), On complemented copies of the space \(c_0\) in spaces \(C_p(X \times Y)\), Analysis of a topological basis problem, Choiceless Löwenheim-Skolem property and uniform definability of grounds, Choiceless chain conditions, Special partitions of Baire spaces and precipitous ideals, When is a category of adherence-determined convergences simple?, More on ideal limit points, \(\omega_1\)-strongly compact cardinals and normality, Was Ulam right? I: basic theory and subnormal ideals, Unnamed Item, Why mathematics needs engineering, Socle chains of Abelian regular semiartinian rings., Rationalizability in general situations, Definable \(\mathsf{E}_0\) classes at arbitrary projective levels, ccc forcing and splitting reals, Flat covers in abelian and in non-abelian categories, Not so many non-disjoint translations, More on almost Souslin Kurepa trees, A quasi-lower bound on the consistency strength of PFA, On connectedness of power graphs of finite groups, The Bristol model: An abyss called a Cohen real, Toward a stability theory of tame abstract elementary classes, Almost disjoint refinements and mixing reals, A hierarchy of Ramsey-like cardinals, Free Boolean topological groups, Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes, Preserving levels of projective determinacy by tree forcings, The full basis theorem does not imply analytic wellordering, A microscopic approach to Souslin-tree constructions. I., Determinacy in third order arithmetic, A Little Ado about Rectangles, Determinacy from strong compactness of \(\omega_1\), Covering properties and square principles, ON THE SET-THEORETIC STRENGTH OF ELLIS’ THEOREM AND THE EXISTENCE OF FREE IDEMPOTENT ULTRAFILTERS ON ω, RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY, Projective well orders and coanalytic witnesses, The Word Problem for Finitely Presented Quandles is Undecidable, Ueda’s peak set theorem for general von Neumann algebras, Undecidability for the extent of products of a monotonically normal space and a special factor, NILPOTENCY IN UNCOUNTABLE GROUPS, Set theory and the analyst, On the ideal convergence of sequences of Świątkowski functions, Cuf products and cuf sums of (quasi-) metrizable spaces in ZF, A general approach to extension-based semantics in abstract argumentation, Hindman's theorem and choice, Singularizing successor cardinals by forcing, Reconstructing the topology of clones, Continuity of coordinate functionals of filter bases in Banach spaces, Locally compact, monotonically normal Dowker space in \(\mathsf{ZF+AD}\), B-frame duality, Topological groups with strong disconnectedness properties, A stochastic Ramsey theorem, Anti-classification results for groups acting freely on the line, An Aristotelian notion of size, Van Douwen's diagram for dense sets of rationals, A Galvin-Hajnal theorem for generalized cardinal characteristics, Intermediate models of Magidor-Radin forcing. I, On the Reals Which Cannot Be Random, Halin's end degree conjecture, Perfect subtree property for weakly compact cardinals, Linear \(L\)-algebras and prime factorization, Second order arithmetic as the model companion of set theory, An infinitary propositional probability logic, Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse, Partitions of Products, Dimension theory and forcing, Topologizations of a set endowed with an action of a monoid, Jonsson and HS modules over commutative rings, Large transitive models in local ZFC, A Borel solution to the Horn-Tarski problem, A category-theoretic characterization of almost measurable cardinals, An introduction to combinatorics of determinacy, Singularizing cardinals, Large Irredundant Sets in Operator Algebras, Weak Ehrenfeucht-Fraïssé games, Asymptotic Quasi-completeness and ZFC, Evidence for Set-Theoretic Truth and the Hyperuniverse Programme, Monoidal intervals of clones on infinite sets, Large Cardinals and the Continuum Hypothesis, Mohamed El Naschie's \({\mathcal E}^{(\infty)}\) Cantorian space-time and its consequences in cosmology, ON ADOPTING KRIPKE SEMANTICS IN SET THEORY, Ergodic Banach spaces, Some consequences of reflection on the approachability ideal, Power function on stationary classes, Cantorian spacetime and Hilbert space. I: Foundations, Cantorian space-time and Hilbert space. II: Relevant consequences, Numerosities of point sets over the real line, Self-dual uniform matroids on infinite sets, Bounded stationary reflection, An isometrically universal Banach space induced by a non-universal Boolean algebra, Set theory with and without urelements and categories of interpretations, Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms, Set-theoretic geology, Generalized Descriptive Set Theory and Classification Theory, Thin-very tall compact scattered spaces which are hereditarily separable, NONMEASURABLE SETS AND UNIONS WITH RESPECT TO TREE IDEALS, Compactness in Infinitary Gödel Logics, Measure-theoretic applications of higher Demuth’s Theorem, On the pointwise implementation of near-actions, Interpolation sets and the size of quotients of function spaces on a locally compact group, An upper cardinal bound on absolute E-rings, Ideal games and Ramsey sets, Universality of the lattice of transformation monoids, Covering an uncountable square by countably many continuous functions, On the consistency of local and global versions of Chang’s Conjecture, Maharam algebras and Cohen reals, Large cardinals with few measures, Borel conjecture and dual Borel conjecture, FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES, Domination problem for narrow orthogonally additive operators, On a geometric statement of Ramsey type, Cevian properties in ideal lattices of abelian \(\ell\)-groups, Attaining strong diameter two property for infinite cardinals, Homotopic and geometric Galois theory. Abstracts from the workshop held March 7--13, 2021 (online meeting), Intermediate models of Magidor-Radin forcing. II, The Borel complexity of ideal limit points, Inverse limits which are \(P\)-spaces, Paracompact in \(\mathsf{ZFC}\); CWN screenable Dowker in \(\mathsf{ZF}+\mathsf{AD}\), The spectrum of elementary embeddings \(j: V \to V\), Lineability and \(K\)-linear discontinuous functions, Measurable Hall's theorem for actions of abelian groups, Self-similar monoids related to Hahn groups, Condensable models of set theory, Coanalytic ultrafilter bases, Adaptive density trajectory cluster based on time and space distance, Quantum mechanics, formalization and the cosmological constant problem, Decision times of infinite computations, Equivalence of generics, Automorphisms of \(\kappa\)-existentially closed groups, Characterizing existence of certain ultrafilters, Attractors of dual continued fractions, Patterns of stationary reflection, Lebesgue's density theorem and definable selectors for ideals, \(C^\ast\)-embedding and \(P\)-embedding in subspaces of products of ordinals, Forcing axioms and the complexity of non-stationary ideals, On induction principles for partial orders, Almost group theory, Infinite monochromatic paths and a theorem of Erdős-Hajnal-Rado, Critical cardinals, Partition properties for simply definable colourings, On the growth rate of chromatic numbers of finite subgraphs, On the strategies for NONEMPTY in topological games, Absoluteness of the Solovay set \(\Sigma \), Inner-model reflection principles, Forcing and the universe of sets: must we lose insight?, A bound for the distinguishing index of regular graphs, Sizes and filtrations in accessible categories, Isotone extensions and complete lattices, Iterated elimination procedures, An axiomatic approach to forcing and generic extensions, \(C^\ast\) -, \(C\)- and \(P\)-embedded subsets in products and the undecidability of a certain property on \(\mathbb{N}^{\omega_1} \), Small models, large cardinals, and induced ideals, The weight of lexicographic products, Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists, Factoring Solovay-random extensions, with application to the reduction property, More on HOD-supercompactness, Encoding complete metric structures by classical structures, On lattices from combinatorial game theory: infinite case, Small semi-Eberlein compacta and inverse limits, Logics of intuitionistic Kripke-Platek set theory, The consistent criteria for hypotheses testing, TD implies \(\operatorname{CC}_{\mathbb{R}} \), Keisler's order is not simple (and simple theories may not be either), Exchangeable coalescents, ultrametric spaces, nested interval-partitions: a unifying approach, Thin equivalence relations and inner models, Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate, On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos, On order structure and operators in \(L_{\infty }(\mu)\), A meaning based information theory - informalogical space: basic concepts and convergence of information sequences, A new characterization of supercompactness and applications, \(\Pi_1^1\)-comprehension as a well-ordering principle, Set-theoretic blockchains, Pseudo P-points and splitting number, The isomorphism problem for tree-automatic ordinals with addition, Large sets in Boolean and non-Boolean groups and topology, Elementary submodels in infinite combinatorics, The Rado path decomposition theorem, Generalizing random real forcing for inaccessible cardinals, Robust multiplicity with (transfinitely) vanishing naiveté, On the Gitik-Shelah theorem, On Kuratowski partitions in the Marczewski and Laver structures and Ellentuck topology, Cardinal invariants and convergence properties of locally minimal groups, Specializing Aronszajn trees with strong axiom A and Halving, Computable numberings of families of infinite sets, Complemented copies of \(c_0( \tau )\) in tensor products of \(L_p[0,1\)], When does \(C(K,X)\) contain a complemented copy of \(c_0(\Gamma )\) iff \(X\) does?, Functional boundedness of balleans: coarse versions of compactness, Smooth norms in dense subspaces of Banach spaces, Cellularity of infinite Hausdorff spaces in \textbf{ZF}, Consistent criteria for hypotheses testing, Densities for sets of natural numbers vanishing on a given family, Determinacy separations for class games, Non-homogeneity of quotients of Prikry forcings, Idempotents and one-sided units in infinite partial Brauer monoids, \(C^{*}\)-algebras with and without \(\ll\)-increasing approximate units, Closed maximality principles and generalized Baire spaces, On singular stationarity. I: Mutual stationarity and ideal-based methods, The categoricity spectrum of large abstract elementary classes, Laplacian spectra of power graphs of certain finite groups, How Woodin changed his mind: new thoughts on the continuum hypothesis, The large cardinals between supercompact and almost-huge, Baire irresolvable spaces with countable Souslin number, Some properties of \(\mathcal{I}\)-Luzin sets, Polar forcings and measured extensions, Hanf number of the first stability cardinal in AECs, Bifold algebras and commutants for enriched algebraic theories, Easton's theorem for Ramsey and strongly Ramsey cardinals, MAD families and strategically bounding forcings, Rosenthal families, filters, and semifilters, On cardinal sequences of LCS spaces, \(\mu\)-abstract elementary classes and other generalizations, Numberings in the analytical hierarchy, The lateral order on Riesz spaces and orthogonally additive operators, Cardinal invariants distinguishing permutation groups, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, On extension of abstract Urysohn operators, Beginning of stability theory for Polish spaces, A Dedekind \(\sigma\)-complete Banach lattice into which all bounded operators are regular, On socle chains of semiartinian rings with primitive factors Artinian, Edgeworth's conjecture and the number of agents and commodities, \({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets, Bounded stationary reflection. II., Cardinal invariants of the continuum and combinatorics on uncountable cardinals, A model for spacetime: the role of interpretation in some Grothendieck topoi, Representing probability measures using probabilistic processes, A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities, Distributive proper forcing axiom and cardinal invariants, Universal forcing notions and ideals, Co-analytic mad families and definable wellorders, The iterative conception of set. A (bi-)modal axiomatisation, Completely nonmeasurable unions, Squares and covering matrices, Modifications of sequence selection principles, A cardinal preserving extension making the set of points of countable \(V\) cofinality nonstationary, Combinatorics at \(\aleph_\omega\), Reflection and indescribability in the constructible universe, Continuous images of closed sets in generalized Baire spaces, Scales at \({\aleph_{\omega} }\), Fraïssé sequences: category-theoretic approach to universal homogeneous structures, Ai-maximal independent families and irresolvable Baire spaces, Independent families and resolvability, Nonseparable \(C(K)\)-spaces can be twisted when \(K\) is a finite height compact, Nested hierarchies in planar graphs, Strong Chang's conjecture and the tree property at \(\omega_{2}\), Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation, Ideals which generalize \((v^{0})\), The expressive power of analog recurrent neural networks on infinite input streams, Oscillation in the initial segment complexity of random reals, Proof of the Ghahramani-Lau conjecture, A non-implication between fragments of Martin's axiom related to a property which comes from Aronszajn trees, The effective theory of Borel equivalence relations, Forcing absoluteness and regularity properties, Club-guessing, stationary reflection, and coloring theorems, Indestructible strong compactness but not supercompactness, Complexity of Ramsey null sets, On exact categories and applications to triangulated adjoints and model structures, Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties, Kuratowski reduction in a \(\sigma \)-frame, Guessing models and generalized Laver diamond, Fragility and indestructibility of the tree property, Kunen and set theory, An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN, On tall cardinals and some related generalizations, Serial compact spaces and the maximal spectrum of a Bézout domain, Prescribing endomorphism algebras of \(\aleph_n\)-free modules., Realization theorems for valuated \(p^n\)-socles., Good and bad points in scales, From hierarchies to well-foundedness, A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees, The topology of ultrafilters as subspaces of \(2^{\omega }\), Large cardinals and definable well-orders, without the GCH, Model theory of the regularity and reflection schemes, Applications of the topological representation of the pcf-structure, Why Y-c.c., Large cardinals need not be large in HOD, Structural connections between a forcing class and its modal logic, Register computations on ordinals, On non-forking spectra, Tie-points and fixed-points in \(\mathbb N^*\), On linear neighborhood assignments and dually discrete spaces, The definable tree property for successors of cardinals, Ordinals and graph decompositions, Transfinite recursion and computation in the iterative conception of set, Relations between the \({\mathcal {I}}\)-ultrafilters, Sets and supersets, Forcing with quotients, On HOD-supercompactness, On properties of compacta that do not reflect in small continuous images, Collapsing \(\omega _2\) with semi-proper forcing, Tukey classification of some ideals on \(\omega\) and the lattices of weakly compact sets in Banach spaces, Square principles in \(\mathbb{P}_{\max}\) extensions, Martin's maximum and definability in \(H(\aleph_2\)), A strong partition cardinal above \(\varTheta \), Fixed points for better admissible multifunctions on proximity spaces, The structure of Valdivia compact lines, A survey on Banach spaces \(C(K)\) with few operators, The isomorphism relation between tree-automatic structures, Localizing the axioms, On two topological cardinal invariants of an order-theoretic flavour, Generalizations of the Kunen inconsistency, A labelling framework for probabilistic argumentation, Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets, The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations, Scott rank of Polish metric spaces, Scattered sentences have few separable randomizations, On densely isomorphic normed spaces, Lifting problem of the measure algebra, A Cantorian potential theory for describing dynamical systems on El Naschie's space-time, Cantorian space--time, Fantappié's final group, accelerated universe and other consequences, Models of set theory in which the separation theorem fails, LOGICALITY AND MODEL CLASSES, Integration with filters, On the ‘definability of definable’ problem of Alfred Tarski, Part II, Disjoint dijoins for classes of dicuts in finite and infinite digraphs, EMBEDDINGS INTO OUTER MODELS, A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM, TAKING REINHARDT’S POWER AWAY, The space of infinite partitions of $\mathbb{N}$ as a topological Ramsey space, ON THE HISTORY TREE, Weak$^*$ closures and derived sets for convex sets in dual Banach spaces, INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT, Dense metrizable subspaces in powers of Corson compacta, CONSTRUCTING WADGE CLASSES, Boundedness theorems for flowers and sharps, Strong unfoldability, shrewdness and combinatorial consequences, On the scope of the Effros theorem, 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, Set theory with a proper class of indiscernibles, INDESTRUCTIBILITY OF THE TREE PROPERTY, The length of an intersection, Aronszajn trees, square principles, and stationary reflection, Three‐space type Hahn‐Banach properties, Absoluteness via resurrection, On cardinal characteristics of Yorioka ideals, Π11‐Martin‐Löf randomness and Π11‐Solovay completeness, Inner mantles and iterated HOD, The tree property and the continuum function below, On the universality of the nonstationary ideal, Bounded Namba forcing axiom may fail, Measurable cardinals and good ‐wellorderings, A note on sequences witnessing singularity, following Magidor and Sinapova, PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES, Cohen forcing and inner models, Generic extensions of models of ZFC, Rado’s Conjecture and its Baire version, Uncountable structures are not classifiable up to bi-embeddability, Distortion of Lipschitz functions on 𝑐₀(Γ), Copies of $c_0(\tau )$ spaces in projective tensor products, On the Power of Restricted Monte Carlo Algorithms, On nonseparable growths of 𝜔 supporting measures, Unnamed Item, Universal sets for ideals, A set theoretical approach for the partial tracing operation in quantum mechanics, Set-theoretical problems concerning Hausdorff measures, Local character of Kim-independence, AN ANALYSIS OF THE MODELS, ITERATING SYMMETRIC EXTENSIONS, DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS, WOODIN FOR STRONG COMPACTNESS CARDINALS, BASIS THEOREMS FOR -SETS, Unnamed Item, Strongly proper forcing and some problems of Foreman, HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES, Borel OD sets of reals are OD-Borel in some simple models, Derived topologies on ordinals and stationary reflection, The bi-embeddability relation for countable abelian groups, Degree Spectra of Relations on a Cone, Narrow Operators on Lattice-normed Spaces and Vector Measures, Balcar's theorem on supports, Separating equivalence classes, Almost Souslin Kurepa trees, Embedding jump upper semilattices into the Turing degrees, Infinite dimensional perfect set theorems, Cofinality and measurability of the first three uncountable cardinals, Three problems in convergence theory, Unnamed Item, TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES, INFINITE COMBINATORICS PLAIN AND SIMPLE, Borel’s conjecture and meager-additive sets, Structure of principal one-sided ideals, Unnamed Item, Strong measure zero in Polish groups, Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture, Lexicographic structures on vector spaces, A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP, WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω1 AND DIAMONDS, Projective Measure Without Projective Baire, Infinite powers and Cohen reals, Preserving cardinals and weak forms of Zorn’s lemma in realizability models, Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, Tameness, powerful images, and large cardinals, Ineffable limits of weakly compact cardinals and similar results, On spaces with $\sigma$-closed-discrete dense sets, Large cardinals and continuity of coordinate functionals of filter bases in Banach spaces, ON WIDE ARONSZAJN TREES IN THE PRESENCE OF MA, NS SATURATED AND -DEFINABLE, SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES, ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS, On cohesive almost zero-dimensional spaces, IN INNER MODELS WITH WOODIN CARDINALS, On coverings of Banach spaces and their subsets by hyperplanes, INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY, GAMES AND INDUCTION ON REALS, On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words, A weakly normal ultrafilter amenable to its ultrapower, Boolean-valued class forcing, Definable towers, On Russell typicality in set theory, Countably compact groups having minimal infinite powers, The role of the Axiom of Choice in proper and distinguishing colourings, A Bass–Serre theoretic proof of a theorem of Romanovskii and Burns, Congruence Lattices of Ideals in Categories and (Partial) Semigroups, Uniformization and internal absoluteness, Packing topological entropy for amenable group actions, Dependent products and 1-inaccessible universes, Existentially and $\kappa$-existentially closed groups, Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice, A Banach space \(C(K)\) reading the dimension of \(K\), A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC, A framework for forcing constructions at successors of singular cardinals, Countably compact group topologies on arbitrarily large free abelian groups, Countable ordinals in indiscernibility spectra, Filtration games and potentially projective modules, Scattered \(P\)-spaces of weight \(\omega_1\), Mycielski among trees, Limit computability and ultrafilters, Weak saturation properties and side conditions, STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L, Scores of hesitant fuzzy elements revisited: \textit{``Was sind und was sollen}, Sequential and distributive forcings without choice, Almost disjoint families and the geometry of nonseparable spheres, Cohomological Localizations and Set-Theoretical Reflection, -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders, A simple \(P_{\aleph_1}\)-point and a simple \(P_{\aleph_2}\)-point, Dense lineability and spaceability in certain subsets of ℓ∞$\ell _{\infty }$, Two chain conditions and their Todorčević's fragments of Martin's axiom, Unnamed Item, On the solvability of systems of linear equations over the ring $\mathbb{Z}$ of integers, SQUARES AND NARROW SYSTEMS, GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS, EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE, Σ1(κ)-DEFINABLE SUBSETS OF H(κ+), Strong failures of higher analogs of Hindman’s theorem, The classification of countable models of set theory, Five stages of accepting constructive mathematics, Unnamed Item, Unnamed Item, Separated sets and Auerbach systems in Banach spaces, Infinite monochromatic sumsets for colourings of the reals, Strongly bounded groups of various cardinalities, Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words, Borel reducibility and symmetric models, Overcomplete sets in non-separable Banach spaces, A Sacks indestructible co-analytic maximal eventually different family, A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY, Proof of a conjecture of Galvin, On uncountable strongly concentrated sets of reals, Cofinal maximal chains in the Turing degrees, Group radicals and strongly compact cardinals, FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION, CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS, How to have more things by forgetting how to count them , On $\mathbb R$-embeddability of almost disjoint families and Akemann–Doner C$^*$-algebras, Monolithic spaces of measures, An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited, LOGIC IN THE TRACTATUS, NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES, Transfinitely valued Euclidean domains have arbitrary indecomposable order type, Coherent rings and absolutely pure covers, Some unusual epicomplete Archimedean lattice-ordered groups, Choice free fixed point property in separable Banach spaces, Asymptotic values of some continuous mappings, On SCH and the approachability property, Continuity in separable metrizable and Lindelöf spaces, The modal logic of forcing, STABLE ORDERED UNION ULTRAFILTERS AND cov, Global co-stationarity of the ground model from a new countable length sequence, Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces, On Partially Wellfounded Generic Ultrapowers, Baire spaces and infinite games, Strong measure zero in separable metric spaces and Polish groups, Martin's maximum revisited, Transfinite Adams representability, Spectra of uniformity, On the Distinction Between Sets and Classes: A Categorical Perspective, REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS, BEING LOW ALONG A SEQUENCE AND ELSEWHERE, MINIMUM MODELS OF SECOND-ORDER SET THEORIES, On Baire category properties of function spaces $C_k'(X,Y)$, The last forcing standing with diamonds, Coherent rings and absolutely pure precovers, When the property of having a $\pi$-tree is preserved by products, On the isomorphism of injective objects in Grothendieck categories, Guessing models imply the singular cardinal hypothesis, Maximal subsemigroups of the semigroup of all mappings on an infinite set, Coherent forests, Unnamed Item, THE LOGIC OF COMPARATIVE CARDINALITY, INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM, A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT, Effective randomness for continuous measures, Ordinal compactness, Forcing consequences of $PFA$ together with the continuum large, Controlling classical cardinal characteristics while collapsing cardinals, Model Uncertainty: A Reverse Approach, Continuous higher randomness, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, Subadditive families of hypergraphs, Locally compact, \( \omega_1\)-compact spaces, The relative strengths of fragments of Martin's axiom, Boolean valued semantics for infinitary logics, Group actions on Polish spaces, No Krasnosel'skiĭ number for general sets, Determinacy and regularity properties for idealized forcings, STRUCTURAL PROPERTIES OF THE STABLE CORE, THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS, Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse, The cofinality of the strong measure zero ideal for κ inaccessible, Forcing revisited, The variational principle for the packing entropy of nonautonomous dynamical systems, Some remarks on polarized partition relations, MAKER–BREAKER GAMES ON AND, TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS, The axiom of choice in metric measure spaces and maximal \(\delta\)-separated sets, Remarks on the existence of measurable selectors, Krull dimension in set theory, Fresh function spectra, An undecidable extension of Morley's theorem on the number of countable models, Representation and Spacetime: The Hole Argument Revisited, El primer infinito no numerable y su topología, On the bounding, splitting, and distributivity numbers, A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings, WHAT IS A RESTRICTIVE THEORY?, Actions of tame abelian product groups, Salce's problem on cotorsion pairs is undecidable, Strong independence and its spectrum, Strong tree properties, Kurepa trees, and guessing models, Iterated bounded dominance, New results regarding the lattice of uniform topologies on C(X), Representation theorems for regular operators, The special tree number, Constructing the constructible universe constructively, SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY, Symmetry for transfinite computability, Quasi-invariant measures on topological groups and \(\omega\)-powers, Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension, The lateral order on Riesz spaces and orthogonally additive operators. II, Can you take Akemann-Weaver's \(\diamondsuit_{\aleph_1}\) away?, Forcing with copies of the Rado and Henson graphs, Enochs' conjecture for small precovering classes of modules, Laver trees in the generalized Baire space, Simultaneous extensions of metrics and ultrametrics of high power, Coloring the distance graphs, SATURATED MODELS FOR THE WORKING MODEL THEORIST, A note on special subsets of the Rudin-Frolík order for regulars, The Π21$\Pi ^1_2$ consequences of a theory, Negating the Galvin property, Coloring triangles and rectangles, On \(P\)-spaces and \(G_{\delta}\)-sets in the absence of the axiom of choice, Almost disjoint families under determinacy, Lateral order on complex vector lattices and narrow operators, Steep uncountable groups, Coneability of anti-Fubini functions and other lineability properties, TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE, ASYMMETRIC CUT AND CHOOSE GAMES, On minimal non-\(\sigma\)-scattered linear orders, On vector measures with values in $\ell_\infty $, THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC, BANACH SPACES IN WHICH LARGE SUBSETS OF SPHERES CONCENTRATE
