scientific article; zbMATH DE number 1908324
From MaRDI portal
Publication:4805123
zbMath1022.03033MaRDI QIDQ4805123
Publication date: 11 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
forcingmeasurabilityinaccessible cardinalsupercompactnesstree propertyaxiom of determinacypartition propertiesMahlo cardinalhistory of large cardinals
Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Large cardinals (03E55) History of mathematical logic and foundations (03-03) Other combinatorial set theory (03E05) Determinacy principles (03E60)
Related Items (only showing first 100 items - show all)
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES ⋮ Compactness versus hugeness at successor cardinals ⋮ Rigidity conjectures for continuous quotients ⋮ Strong Logics of First and Second Order ⋮ THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS ⋮ Strong unfoldability, shrewdness and combinatorial consequences ⋮ Structural reflection, shrewd cardinals and the size of the continuum ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS ⋮ A note on highly connected and well-connected Ramsey theory ⋮ Weak saturation properties and side conditions ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Mutually embeddable models of ZFC ⋮ On middle box products and paracompact cardinals ⋮ Proving Theorems from Reflection ⋮ A New Foundational Crisis in Mathematics, Is It Really Happening? ⋮ On strong chains of sets and functions ⋮ Large cardinal axioms from tameness in AECs ⋮ What makes the continuum ℵ₂ ⋮ Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse ⋮ Incomparable Vγ$V_\gamma$‐degrees ⋮ Forcing revisited ⋮ GENERIC LARGE CARDINALS AS AXIOMS ⋮ Killing them softly: degrees of inaccessible and Mahlo cardinals ⋮ Coding with canonical functions ⋮ The Hypothesis and a supercompact cardinal ⋮ The first omitting cardinal for Magidority ⋮ The cofinality of the least Berkeley cardinal and the extent of dependent choice ⋮ Souslin trees at successors of regular cardinals ⋮ On the universality of the nonstationary ideal ⋮ Generic at ⋮ Reflecting measures ⋮ Measurable cardinals and good ‐wellorderings ⋮ WHAT IS A RESTRICTIVE THEORY? ⋮ On the centeredness of saturated ideals ⋮ Non-absoluteness of Hjorth’s cardinal characterization ⋮ Higher indescribability and derived topologies ⋮ GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS ⋮ Σ1(κ)-DEFINABLE SUBSETS OF H(κ+) ⋮ On the additivity of strong homology for locally compact separable metric spaces ⋮ Laver trees in the generalized Baire space ⋮ Local weak presaturation of the strongly non‐stationary ideal ⋮ The Borel partition spectrum at successors of singular cardinals ⋮ TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE ⋮ ASYMMETRIC CUT AND CHOOSE GAMES ⋮ The classification of countable models of set theory ⋮ Distributive Aronszajn trees ⋮ On the nontrivial solvability of systems of homogeneous linear equations over $\mathbb Z$ in ZFC ⋮ Characterizing large cardinals through Neeman's pure side condition forcing ⋮ A Sacks indestructible co-analytic maximal eventually different family ⋮ Destructibility of stationary subsets ofPκλ ⋮ Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ⋮ A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY ⋮ N-BERKELEY CARDINALS AND WEAK EXTENDER MODELS ⋮ On the existence of small antichains for definable quasi-orders ⋮ Forcing axioms and coronas of C∗-algebras ⋮ STABLY MEASURABLE CARDINALS ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION ⋮ A Paradox Arising from the Elimination of a Paradox ⋮ The canonical Ramsey theorem and computability theory ⋮ MODAL STRUCTURALISM AND REFLECTION ⋮ Definable maximal independent families ⋮ LARGE CARDINALS BEYOND CHOICE ⋮ ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE ⋮ A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT ⋮ Model Uncertainty: A Reverse Approach ⋮ THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING ⋮ Small embedding characterizations for large cardinals ⋮ EMBEDDINGS INTO OUTER MODELS ⋮ Some paradoxes of infinity revisited ⋮ Cofinality spectrum problems: the axiomatic approach ⋮ Ramsey ultrafilters and countable-to-one uniformization ⋮ Shadows of the axiom of choice in the universe \(L(\mathbb {R})\) ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Easton's theorem in the presence of Woodin cardinals ⋮ Martin's maximum and tower forcing ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ A transversal of full outer measure ⋮ On Kim-independence ⋮ Critical cardinals ⋮ Partition properties for simply definable colourings ⋮ Absoluteness of the Solovay set \(\Sigma \) ⋮ Accessible images revisited ⋮ Choiceless Ramsey theory of linear orders ⋮ A definable failure of the singular cardinal hypothesis ⋮ Absoluteness via resurrection ⋮ Forcing a countable structure to belong to the ground model ⋮ Unconditional basic sequences in spaces of large density ⋮ THE HALPERN–LÄUCHLI THEOREM AT A MEASURABLE CARDINAL ⋮ A STRONG REFLECTION PRINCIPLE ⋮ Indestructibility of Vopěnka's principle ⋮ Forcing absoluteness and regularity properties ⋮ Global singularization and the failure of SCH ⋮ REDUCED POWERS OF SOUSLIN TREES ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ A few more dissimilarities between second-order arithmetic and set theory ⋮ On forcing over \(L(\mathbb{R})\)
This page was built for publication:
