scientific article

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

measurable cardinals Martin's axiom iterated forcing large cardinals complete Boolean algebras descriptive set theory axiomatic set theory historical notes advanced exposition Suslin's problem transitive models of set theory forcing and generic models

Mathematics Subject Classification ID

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) History of mathematical logic and foundations (03-03) Other aspects of forcing and Boolean-valued models (03E40) Set theory (03Exx)

Related Items

Nonstandard methods for upper Banach density problems., Sequential density, On the number of non-isomorphic subgraphs, Valuated vector spaces, Kurepa's hypothesis and Abelian $p$-groups, Variations on a game of Gale. II: Markov strategies, Supercomplete extenders and type 1 mice. I, More on directed colimits of models, Dominating projective sets in the Baire space, Forcing in nonstandard analysis, Proof theory of reflection, Fragments of Martin's axiom and $\Delta_ 3^ 1$ sets of reals, Essential Kurepa trees versus essential Jech-Kunen trees, On needed reals, The Debreu Gap Lemma and some generalizations, Manuals in orthogonal categories, Regularity properties for dominating projective sets, On the metrizability number and related invariants of spaces, Power set recursion, Accessibility and the solution set condition, Combinatorial properties of classical forcing notions, Logic, topology, and integration, Combinatorial principles in the core model for one Woodin cardinal, Strongly almost disjoint functions, Embeddings of Cohen algebras, Can a small forcing create Kurepa trees, Projective forcing, Some combinatorial properties of ineffable cardinals, Narrow coverings of $\omega$-ary product spaces, Polynomially continuous operators, Possible values for $2^{\aleph_n}$ and $2^{\aleph_\omega}$, Order types of free subsets, Cardinal invariants and independence results in the poset of precompact group topologies, Propositional quantification in the topological semantics for $\mathbf S4$, $\kappa$-strong sequences and the existence of generalized independent families, An oracle builder's toolkit, Analytic colorings, Infinite trees and completely iterative theories: A coalgebraic view, Do stronger definitions of randomness exist?, Keeping logic in the trivium of computer science: a teaching perspective, Strong sequences and partition relations, Equivalence between Wadge and Lipschitz determinacy, A class of abelian groups defined by continuous cross sections in the Bohr topology., Strictly nonzero charges., Not collapsing cardinals $\leq\kappa$ in $(<\kappa)$-support iterations, Alpha-theory: An elementary axiomatics for nonstandard analysis, More canonical forms and dense free subsets., On a hypothesis for ${\aleph}_{0}$-bounded groups, Helly spaces and Radon measures on complete lines, How many miles to $\beta \omega$? -- Approximating $\beta \omega$ by metric-dependent compactifications, Models of set theory with definable ordinals, Asymptotic cones of finitely presented groups, Maximal realcompact spaces and measurable cardinals, On the duality between Boolean-valued analysis and reduction theory under the assumption of separability, Mappings of Baire spaces into function spaces and Kadeč renorming, Iteration of Souslin forcing, projective measurability and the Borel conjecture, On the class of measurable cardinals without the axiom of choice, Unbounded families and the cofinality of the infinite symmetric group, Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form $X/G$ where $G$ acts on a Polish space $X$, Forcing extensions of partial lattices, About Prikry generic extensions, Ultrafilters over $N$ and operators on $L^ 1$, Ordinals. I: Basic notions, Smooth functions on $C(K)$, How good is Lebesgue measure?, Forcing with filters and complete combinatorics, The automorphism tower problem. II, Strongly Baire trees and a cofinal branch principle, Turing determinacy and the continuum hypothesis, The existence of certain pure dense subgroups of Abelian p-groups is not decidable in ZFC, First-order logic -- The unity of fuzziness and randomness, Well-quasi-ordering and the Hausdorff quasi-uniformity, Recent advances in minimal topological groups, Subtle cardinals and linear orderings, Filters and large cardinals, Lexicographic orders and preference representation, Canonical models for $\aleph_1$-combinatorics, Categoricity for abstract classes with amalgamation, The non-commutative Specker phenomenon in the uncountable case, Changing cardinal characteristics without changing $\omega$-sequences or cofinalities, The wholeness axiom and Laver sequences, Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators, Degrees of Dowd-type generic oracles, A model in which there are Jech-Kunen trees but there are no Kurepa trees, On HCO spaces. An uncountable compact $T_ 2$ space, different from $\aleph_ 1+1$, which is homeomorphic to each of its uncountable closed subspaces, Retracted: Baire property and axiom of choice, Abelian groups of continuous functions and their duals, Large ideals on small cardinals, $P$-points in $\mathbb Q_{\max}$ models, Combinatorial principles in nonstandard analysis, On the weak distributivity game, A $\Pi_ 2^ 1$ singleton incompatible with $0^ \#$, A small transitive family of continuous functions on the Cantor set, Free subgroups of free complete products, Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought, Numerosities of labelled sets: A new way of counting, On abstract data types presented by multiequations, Kelley-Morse+types of well order is not a conservative extension of Kelley Morse, An example of a topological group, Maximal independent families and a topological consequence, The non-existence of a utility function and the structure of non-representable preference relations, On the density of the space of continuous and uniformly continuous functions, On uniformly differentiable mappings from $\ell_\infty(\Gamma)$, $\sigma$-collectionwise Hausdorffness at singular strong limit cardinals, Algebraic structures in the sets of surjective functions, Ordering infinite utility streams comes at the cost of a non-Ramsey set, Measurability of the value of a parametrized game, Counting compact group topologies, Automorphisms of models of arithmetic: a unified view, Lifting elementary embeddings $j : V_{\lambda } \rightarrow V_{\lambda }$, Covering, measure derivation and dimensions, Omitting types for infinitary $[0,1$-valued logic], Fibers of continuous real-valued functions on $\psi$-spaces, Remarks on the space $\aleph_{1}$ in $\mathbf {ZF}$, ($\kappa ,\theta $)-weak normality, Concerning connected, pseudocompact Abelian groups, Strong realcompactness and weakly measurable cardinals, Minimal collapsing extensions of models of ZFC, Definable forcing axiom: An alternative to Martin's axiom, The root system of prime subgroups of a free lattice-ordered group (without G.C.H.), Models and the dynamics of theory-building in physics. I: Modeling strategies, On the structure of ideals in sandwich near-rings, A diamond example of an ordinal graph with no infinite paths, Martin's axiom and ordinal graphs: Large independent sets or infinite paths, Results on the generic Kurepa hypothesis, Total categories with generators, Categoricity of theories in $L_{\kappa \omega}$, with $\kappa$ a compact cardinal, On ${\mathfrak c}^+$-chromatic graphs with small bounded subgraphs, Independence of higher Kurepa hypotheses, Groupwise density and related cardinals, Note on the generality of fuzzy sets, Ordinal notations based on a weakly Mahlo cardinal, On construction of equitable social welfare orders on infinite utility streams, Jumping with random reals, Torsion free modules, Fully rigid systems of modules, Weak factorizations of operators in the group von Neumann algebras of certain amenable groups and applications, Ramsey theorems for product of finite sets with submeasures, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is $\Pi_1$-equivalent to KP, Exact complexity bounds for ordinal addition, Shelah's work on non-semi-proper iterations. I, Generalized sketches as a framework for completeness theorems. I-III, A game on partial orderings, Cardinal invariants about shrinkability of unbounded sets, Testing for cotorsionness over domains, Simplified RCS iterations, The differences between Kurepa trees and Jech-Kunen trees, Exact equiconsistency results for $\Delta_ 3^ 1$-sets of reals, Empirical set theory, Perfect sets of random reals, A generalization of functions of the first class, On analytic and coanalytic function spaces $C_ p(X)$, Forking in short and tame abstract elementary classes, Inscribing nonmeasurable sets, On the consistency strength of two choiceless cardinal patterns, Mrówka maximal almost disjoint families for uncountable cardinals, More $\sigma $-ideals with the Laczkovich-Komjáth property, Two more perfectly normal non-metrizable manifolds, Abstract elementary classes and accessible categories, Spaces of compact operators on $C(2^{\mathfrak m}\oplus [0,\alpha)$ spaces], Stabilizers of direct composition series., A theorem and some consistency results in partition calculus, Semigroups generated by nilpotent transformations, Additivity of the two-dimensional Miller ideal, The Chase radical and reduced products., A standard model of Peano arithmetic with no conservative elementary extension, The Hydra battle and Cichon's principle, Topological group criterion for $C(X)$ in compact-open-like topologies. I, Epireflections and supercompact cardinals, Various products of category densities and liftings, Shelah's pcf theory and its applications, Boolean powers of abelian groups, Isomorphic incidence algebras, Semi-rigid classes of cotorsion-free Abelian groups, More game-theoretic properties of Boolean algebras, On an extendability problem for measures, On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture, Countably decomposable admissible sets, My six encounters with Victor Marek---a personal account, Almost disjoint Abelian groups, Cozero-accessible points, Consequences of the Cantor construction, A combinatorial fact about free algebras, Modules over arbitrary domains, Aronszajn trees on $\aleph_2$ and $\aleph_3$., Iterating ordinal definability, On reflexive modules and Abelian groups, On a Boolean power of a torsion free Abelian group, On a problem concerning generalizations of realcompact spaces, Co-absolutes of $\beta N\setminus N$, Determinacy implies that $\aleph_ 2$ is supercompact, The core-Walras equivalence, The nonstationary ideal on $\aleph _ 2$, On Fodor's theorem: A topological version, A dual form of Ramsey's theorem, Some results on consecutive large cardinals, Ein Zerlegungssatz für P($\kappa$ ), On chains of purely transcendental field extensions, Minimal elementary extensions of models of set theory and arithmetic, Links between physics and set theory., On a class of pseudocompact spaces derived from ring epimorphisms, $\omega_ 1$-constructible universe and measurable cardinals, Perfect measurable spaces, Homogeneous Boolean algebras may have non-simple automorphism groups, A characterization of graphical covers, A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets, Necessary uses of abstract set theory in finite mathematics, Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator, Some coloring properties for uncountable cardinals, Vector spaces with five distinguished subspaces, Remarks on superatomic Boolean algebras, On strongly-non-reflexive groups, More on powers of singular cardinals, Countable ultraproducts without CH, Partition relations for countable topological spaces, Categoricity results for $L_{\infty \kappa}$-free algebras, The model $N=\cup \{L[A:$ A countable set of ordinals$\}$], Changing cofinalities and the nonstationary ideal, Combinatorial problems on trees: partitions, $\Delta$-systems and large free subtrees, More countably compact, locally countable spaces, A characterization of $\aleph _ 1$-free Abelian groups and its application to the Chase radical, A calculation of injective dimension over valuation domains, Some descriptive set theory and core models, On the Mitchell and Rudin-Keisler orderings of ultrafilters, Admissibility spectra and minimality, Completeness properties of certain normal subgroup lattices, Applications of Fodor's lemma to Vaught's conjecture, Normal subgroups and elementary theories of lattice-ordered groups, Infinite combinatorics and definability, $\Delta^ 1_ 2$-sets of reals, Filter spaces: Towards a unified theory of large cardinal and embedding axioms, On the structure of $Ext_ p(G,{\mathbb{Z}})$, Chang's model and covering properties, The negation of the singular cardinal hypothesis from $o(\kappa)=\kappa ^{++}$, Minimally generated Boolean algebras, A characterization of cardinals $\kappa$ such that $2^{\lambda}=2^{\kappa}$ whenever $\kappa \leq \lambda <2^{\kappa}$, About splitting numbers, On the rank of Ext, Precipitous ideals and $\sum^1_4$ sets, An approach to the constructivization of Cantor's set theory, Martin's axiom implies the existence of certain slender groups, Spaces co-absolute with $\beta N-N$, The consistency of $\mathrm{Ext}\,(G,\mathbb{Z})=\mathbb{Q}$, Whitehead groups may not be free even assuming CH. II, Iterated forcing and changing cofinalities, Ein Zerlegungssatz für kappa**alpha (alpha not greater kappa), On endomorphism rings of primary Abelian groups, Better quasi-orders for uncountable cardinals, Every cotorsion-free algebra is an endomorphism algebra, Countable spread of $\exp Y$ and $\lambda Y$, Constructing strongly equivalent nonisomorphic models for unstable theories, Existence and uniqueness of the real closure of an ordered field without Zorn's lemma, On the structure of $p$-local abelian groups, Liftings for Haar measure on $\{0,1\}^ k$, On separable torsion-free modules of countable density character, Large $E$-modules exist, On Whitehead modules, Iterated extended ultrapowers and supercompactness without choice, Large cardinals and iteration trees of height $\omega$, On $L_{\infty{}\kappa{}}$-free Boolean algebras, Woodin cardinals and presaturated ideals, Diverse homogeneous sets, Infinite matching theory, Fast growing functions based on Ramsey theorems, On almost-free modules over complete discrete valuation rings, Non-$(\omega{},\omega{}_ 1)$-regular ultrafilters and perfect $k$- normality of product spaces, Universal algebra in higher types, On orthogonal subcategories of locally presentable categories, On the simplicity of the automorphism group of $\mathcal P (\omega )$/fin, Compact interval spaces in which all closed subsets are homeomorphic to clopen ones. I, On products of completion regular measures, Certain $L$-spaces under CH, Combinatorial properties of Hechler forcing, Symmetric submodels of a Cohen generic extension, Measures on product spaces and the existence of strong Baire liftings, A ${\Delta{}}^ 2_ 2$ well-order of the reals and incompactness of $L(Q^{MM})$, Injective positively ordered monoids. I, Injective positively ordered monoids. II, Meager-nowhere dense games. I: $n$-tactics, Towers in $[\omega^{\omega}$ and $^{\omega}\omega$], Forcings with ideals and simple forcing notions, Iterations of Boolean algebras with measure, Properties of measures on totally ordered spaces, On infinite Goldie dimension, Perfect-set properties in $L(\mathbb{R})[U$], An algebraic generalization of Frege structures -- binding algebras, Diffeomorphism invariant norms on $C^k(X)$, Ultrafilters and types on models of arithmetic, Isomorphism types of Aronszajn trees, On reduced products of Abelian groups, The Erdős-Dushnik-Miller theorem for topological graphs and orders, The monadic theory and the next world, An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis, Sacks forcing and the total failure of Martin's axiom, P-points and q-points over a measurable cardinal, Identities of cofinal sublattices, Boolean valued analysis and type I $AW^*$-algebras, Non-closure of the image model and absence of fixed points, Some curiosities of rings of analytic functions, The lack of definable witnesses and provably recursive functions in intuitionistic set theories, Arithmetic transfinite induction and recursive well-orderings, Logical quantization of topos theory, Explicitly non-standard uniserial modules, The spectrum of elementary embeddings $j: V \to V$, Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words, The Ultrafilter Characterization of Huge Cardinals, Completeness number of families of subsets of convergence spaces, The Generalized Borel Conjecture and Strongly Proper Orders, True or false? A case in the study of harmonic functions, The consistency strength of projective absoluteness, The logical quantization of algebraic groups, Chains of Baire class 1 functions and various notions of special trees, A hierarchy of Ramsey cardinals, New proofs of the consistency of the normal Moore space conjecture. I, An extension of Borel determinacy, $\Pi_ 1^ 1$ wellfounded relations, A set-theoretic translation method for polymodal logics, Some results on the nonstationary ideal, No random reals in countable support iterations, The Kaplansky test problems -- An approach via radicals, Independent Families in Complete Boolean Algebras, Characterizations of some transversality-type properties, Sequential fans in topology, On preaccessible categories, Logical quantization of differential geometry, Some applications of illfoundedness, On a new class of trigonometric thin sets extending Arbault sets, Splittings, Logical quantizations of first-order structures, Continuous extension of maps between sequential cascades, A quasi-metric space without complete quasi-uniformity, Avoiding the axiom of choice in general category theory, Selectively sequentially pseudocompact group topologies on torsion and torsion-free abelian groups, Observations about Scott and Karp trees, Choice principles in hyperuniverses, $\Pi_ 2^ 1$ Wadge degrees, Some remarks on Sierpiński-Zygmund functions in the strong sense, Partial orderings with the weak Freese-Nation property, Determinacy in the difference hierarchy of co-analytic sets, Infinitesimal analysis without the axiom of choice, A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach, Generic constructions of small sets of reals, On the metrizability number and related invariants of spaces. II, Rotational KMS states and type I conformal nets, The cardinality of $\beta_{A}(S_{J})$, Representation of functions and total antisymmetric relations in monadic third order logic, A model with a measurable which does not carry a normal measure, Unnamed Item, Satisfiability is false intuitionistically: a question from Dana Scott, Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group, Finite dimensional scattered posets, Products of Michael spaces and completely metrizable spaces, On $k$-networks and weak bases for spaces, Only countable Reichenbachian common cause systems exist, Between P-points and nowhere dense ultrafilters, Are all localizing subcategories of stable homotopy categories coreflective?, On a fat small object argument, Smooth categories and global $\square$, Changing the heights of automorphism towers, Incompleteness Theorems, Large Cardinals, and Automata over Finite Words, Multiversism and Concepts of Set: How Much Relativism Is Acceptable?, A solution to Dilworth's congruence lattice problem, Unbounded Monotone Subgroups of the Baer–Specker Group, Modules over discrete valuation domains. III, More on cardinal invariants of Boolean algebras, Homogeneity for Open Partitions of Pairs of Reals, Categorical aspects are useful for topology-after 30 years, Absolute graphs with prescribed endomorphism monoid, Middle diamond, Coding into Ramsey sets, External cofinalities and the antichain condition in partial orders, A combinatorial property of cardinals, On translations of subsets of the real line, Determinacy and weakly Ramsey sets in Banach spaces, The strength of the failure of the singular cardinal hypothesis, Representing Sets of Ordinals as Countable Unions of Sets in the Core Model, On the relationship between mutual and tight stationarity, Paradoxical Decompositions and Invariant Measures, Cardinal Conditions for Strong Fubini Theorems, The Dual Group of a Dense Subgroup, Linear forms in a playful universe, On final coalgebras of power-set functors and saturated trees, Specializing Aronszajn trees with strong axiom A and Halving, Module classifying functors, Foundations of Fatou theory and a tribute to the work of E. M. Stein on boundary behavior of holomorphic functions, The tree property at first and double successors of singular cardinals with an arbitrary gap, The lexicographic method in preference theory, Lattices, spectral spaces, and closure operations on idempotent semirings, On tangential transversality, Copies of $c_{0}(Γ)$ in $C(K, X)$ spaces, More on partitioning triples of countable ordinals, Countable compact Hausdorff spaces need not be metrizable in ZF, A family of totally ordered groups with some special properties, Small almost free modules with prescribed topological endomorphism rings., Implications of large-cardinal principles in homotopical localization, How rigid are reduced products?, Absolutely indecomposable modules, On s-reflexive spaces and continuous selections, Universality of Asplund spaces, A note on the revised GCH, Set functors and filters, CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES, Kunen the expositor, Forcing revisited, Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering, Cardinalities of scrambled sets and positive scrambled sets, Backwards-induction rationalizability of choice functions over an arbitrary set, Unnamed Item, Extensible Proof Systems for Infinite-State Systems, On the strong equality between supercompactness and strong compactness, Transfinite open-point games, Homology of Normal Chains and Cohomology of Charges, Determinacy and the sharp function on the reals, Indestructible properties of $S$- and $L$-spaces, Generic absoluteness, Sandwiches of ages, Modal logics that need very large frames, Weakly Ramsey sets in Banach spaces, On a superatomic Boolean algebra which is not generated by a well-founded sublattice, A consistency result on thin-very tall Boolean algebras, Bounded forcing axioms and the continuum, Realism, nonstandard set theory, and large cardinals, Terminal notions in set theory, Cross sections and homeomorphism classes of Abelian groups equipped with the Bohr topology, Ultrafilter spaces on the semilattice of partitions, A solution to van Douwen's problem on Bohr topologies, Pytkeev spaces and sequential extensions, Strong cardinals in the core model, Topological separations in inductive inference, Determinacy and the sharp function on the reals, Generalized Iteration of Forcing, Saturated Families, Unnamed Item, Inverse limits of algebras as retracts of their direct products, The Ideal Determined by the Unsymmetric Game, Unnamed Item, Logical dreams, It is consistent with ZFC that B1 -groups are not B2, Rowbottom-Type Properties and a Cardinal Arithmetic, Quasi-minimal abelian groups, A brief remark on van der Waerden spaces, A Partition Theorem for Triples, Changing the Depth of an Ordered Set by Decomposition, Remarks on Souslin Properties and Tree Topologies, Potent Axioms, Cofinality of the nonstationary ideal, Weak axioms of choice for metric spaces, The Weight of a Pseudocompact (Homogeneous) Space Whose Cardinality Has Countable Cofinality, The Logically Simplest Form of the Infinity Axiom, A process of project quality improvement, Minimal accessible categories, Une extension d'un théorème de P. Jullien sur les âges de mots, Unnamed Item, Unnamed Item, Nonseparation of Sets and Optimality Conditions, Unnamed Item, Sandwich near-rings of homogeneous functions, Closure operations, continuous valuations on monoids and spectral spaces, On Perfect Measures, Naturality and definability II, Strong Measure Zero and Strongly Meager Sets, Unnamed Item, Menas’ Result is Best Possible, A fast saturation strategy for set-theoretic tableaux, The additivity of porosity ideals, A note on Fuchs’ Problem 34, Souslin’s hypothesis and convergence in category, On Certain Elementary Extensions of Models of Set Theory, If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal, Refinement Properties and Extensions of Filters in Boolean Algebras, Approximation by Entire Functions in the Construction of Order-Isomorphisms and Large Cross-Sections, THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS, A new proof of Kunen’s inconsistency, Flat Mittag-Leffler modules over countable rings, Geometric relations between spaces of nuclear operators and spaces of compact operators, Indestructibility of Wholeness, Normal Subgroups of Doubly Transitive Automorphism Groups of Chains, Keeping additivity of the null ideal small, On the Boundary Behavior of Holomorphic and Harmonic Functions, Polish group actions: Dichotomies and generalized elementary embeddings, A Model in Which GCH Holds at Successors but Fails at Limits, Universal co-analytic sets, Complete Quotient Boolean Algebras, On the Covering and the Additivity Number of the Real Line, Abstract Theory of Abelian Operator Algebras: An Application of Forcing, Isomorphisms of Trees, On the Egoroff Property of Pointwise Convergent Sequences of Functions, Unnamed Item, Unnamed Item, When Does Almost Free Imply Free? (For Groups, Transversals, etc.), Reflection and Weakly Collectionwise Hausdorff Spaces, Generic Embeddings and the Failure of Box, Unnamed Item, Partitions and Diamond, On Transfinite Knuth-Bendix Orders, Completion of Factor Algebras of Ideals, A Topological Equivalence of the Singular Cardinals Hypothesis, Inner Model Operators and the Continuum Hypothesis, Game-theoretical aspects of the Borel conjecture, Unnamed Item, Cardinality of retracts of monounary algebras, Entire functions mapping uncountable dense sets of reals onto each other monotonically, An Indecomposable Daniell Integral, Extensions of Isometrically Invariant Measures on Euclidean Spaces, Hypergraphs and proper forcing, A GCH Example of an Ordinal Graph with no Infinite Path, Gross spaces, Unnamed Item, CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE, Small MAD families whose Isbell--Mr\'owka space has pseudocompact hyperspace, On endomorphism rings of $B_1$-groups that are not $B_2$-groups, Hyperarithmetical Index Sets in Recursion Theory, An Extension of the Closed Unbounded Filter, The nonstationary ideal and the other 𝜎-ideals on 𝜔₁, CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC, A complete classification of the spaces of compact operators on $C([1,\alpha , l_{p})$ spaces, $1<p< \infty $], Coherent forests, An upper bound on the complexity of recognizable tree languages, Borel and Analytic One-One Parametrizations of the Countable Sets of Reals, Unnamed Item, A Proof of Projective Determinacy, On Weakly Stationary Sets, Unnamed Item, Cotorsion theories and splitters, Unnamed Item, Weakly Dense Subsets of the Measure Algebra, Ultrafilters on 𝜔-their ideals and their cardinal characteristics, The maximality of the core model, Mackey groups and Mackey topologies, Vaught’s conjecture on analytic sets, Coding into 𝐾 by reasonable forcing, NONCONGLOMERABILITY FOR COUNTABLY ADDITIVE MEASURES THAT ARE NOT κ-ADDITIVE, Classifying spaces for proper actions of locally finite groups