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 (only showing first 100 items - show all)
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
This page was built for publication: Set Theory
