scientific article; zbMATH DE number 1062123

Publication date: 17 September 1997

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

forcing large cardinals constructibility descriptive set theory determinacy combinatorial set theory axiomatic set theory

Mathematics Subject Classification ID

Descriptive set theory (03E15) 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) Other aspects of forcing and Boolean-valued models (03E40) Determinacy principles (03E60) Set theory (03Exx)

Related Items (66)

Ostrowski type inequalities for sets and functions of bounded variation ⋮ A Note on Hyperspaces and Terminal Coalgebras ⋮ The poset of all copies of the random graph has the 2-localization property ⋮ De Bakker-Zucker processes revisited ⋮ Reflecting properties in continuous images of small weight ⋮ Matrix iterations and Cichon's diagram ⋮ A posteriori convergence in complete Boolean algebras with the sequential topology ⋮ Interpreting the monadic second order theory of one successor in expansions of the real line ⋮ Boolean-valued analysis of order-bounded operators ⋮ Splitting families and forcing ⋮ Rudiments of rough sets ⋮ Condensational equivalence, equimorphism, elementary equivalence and similar similarities ⋮ Radin forcing and its iterations ⋮ The minimal size of infinite maximal antichains in direct products of partial orders ⋮ On the cardinality of separable pseudoradial spaces ⋮ A convergence on Boolean algebras generalizing the convergence on the Aleksandrov cube ⋮ The existence of continuous weak selections and orderability-type properties in products and filter spaces ⋮ The normal subsemigroups of the monoid of injective maps. ⋮ Double helix in large large cardinals and iteration of elementary embeddings ⋮ A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence ⋮ Exercices de style: a homotopy theory for set theory ⋮ Strongly unbounded and strongly dominating sets of reals generalized ⋮ Different similarities ⋮ Unifying sets and programs via dependent types ⋮ Independent families and some notions of finiteness ⋮ A base-matrix lemma for sets of rationals modulo nowhere dense sets ⋮ Souslin algebra embeddings ⋮ Forcing with copies of the Rado and Henson graphs ⋮ Unnamed Item ⋮ Underdetermination of infinitesimal probabilities ⋮ On the spectra of commutative semigroups ⋮ Weakly regular and self-injective Leavitt path algebras over arbitrary graphs. ⋮ Local coherence. ⋮ Independence of Boolean algebras and forcing. ⋮ Forcing axioms via ground model interpretations ⋮ Weak factorization systems for \(S\)-acts. ⋮ Hypercomputation by definition ⋮ Finite additivity, another lottery paradox and conditionalisation ⋮ Sheaf toposes for realizability ⋮ Pseudocompactness of hyperspaces ⋮ On Gruenhage spaces, separating \(\sigma\)-isolated families, and their relatives ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ Fat sets and saturated ideals ⋮ Direct proofs of Lindenbaum conditionals ⋮ Forcing indestructibility of MAD families ⋮ Petr Vopěnka (*16. 5. 1935) ⋮ Forcing with copies of countable ordinals ⋮ Copies of the random graph ⋮ On a conjecture by Ghahramani-Lau and related problems concerning topological centres ⋮ The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis ⋮ Representation of Artinian partially ordered sets over semiartinian von Neuman regular algebras. ⋮ Mad families, forcing and the Suslin hypothesis ⋮ Tychonoff expansions by independent families ⋮ Complete systems, elementary submodels and the tightness of upper hyperspaces ⋮ Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\) ⋮ Partitioning triples and partially ordered sets ⋮ The internal consistency of Easton's theorem ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Random gaps under CH ⋮ Unnamed Item ⋮ A game on Boolean algebras describing the collapse of the continuum ⋮ New Distinguished Classes of Spectral Spaces: A Survey ⋮ A Functional Approach to Cardinality of Finite Fuzzy Sets ⋮ Summable gaps ⋮ Changing cofinalities and collapsing cardinals in models of set theory ⋮ Resolution of unbounded complexes in Grothendieck categories

This page was built for publication: