scientific article; zbMATH DE number 1062123
From MaRDI portal
Publication:4354789
axiomatic set theorycombinatorial set theoryconstructibilitydescriptive set theorydeterminacyforcinglarge cardinals
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other combinatorial set theory (03E05) Descriptive set theory (03E15) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55) Determinacy principles (03E60) Set theory (03Exx)
Recommendations
Cited in
(77)- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
- A game on Boolean algebras describing the collapse of the continuum
- Local coherence.
- Independence of Boolean algebras and forcing.
- Hypercomputation by definition
- Interpreting the monadic second order theory of one successor in expansions of the real line
- The existence of continuous weak selections and orderability-type properties in products and filter spaces
- A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence
- Forcing indestructibility of MAD families
- Mad families, forcing and the Suslin hypothesis
- Summable gaps
- Changing cofinalities and collapsing cardinals in models of set theory
- Resolution of unbounded complexes in Grothendieck categories
- De Bakker-Zucker processes revisited
- Copies of the random graph
- On the spectra of commutative semigroups
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Direct proofs of Lindenbaum conditionals
- Representation of Artinian partially ordered sets over semiartinian von Neuman regular algebras.
- Ostrowski type inequalities for sets and functions of bounded variation
- Matrix iterations and Cichon's diagram
- A posteriori convergence in complete Boolean algebras with the sequential topology
- Condensational equivalence, equimorphism, elementary equivalence and similar similarities
- The minimal size of infinite maximal antichains in direct products of partial orders
- Pseudocompactness of hyperspaces
- The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis
- Complete systems, elementary submodels and the tightness of upper hyperspaces
- Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\)
- On the cardinality of separable pseudoradial spaces
- Underdetermination of infinitesimal probabilities
- Forcing axioms via ground model interpretations
- New distinguished classes of spectral spaces: a survey
- The poset of all copies of the random graph has the 2-localization property
- A convergence on Boolean algebras generalizing the convergence on the Aleksandrov cube.
- Reflecting properties in continuous images of small weight
- scientific article; zbMATH DE number 3173693 (Why is no real title available?)
- Boolean-valued analysis of order-bounded operators
- scientific article; zbMATH DE number 5298232 (Why is no real title available?)
- The normal subsemigroups of the monoid of injective maps.
- scientific article; zbMATH DE number 47703 (Why is no real title available?)
- scientific article; zbMATH DE number 193668 (Why is no real title available?)
- Unifying sets and programs via dependent types
- A base-matrix lemma for sets of rationals modulo nowhere dense sets
- scientific article; zbMATH DE number 1218250 (Why is no real title available?)
- A Note on Hyperspaces and Terminal Coalgebras
- Weakly regular and self-injective Leavitt path algebras over arbitrary graphs.
- Tychonoff expansions by independent families
- Random gaps under CH
- Fat sets and saturated ideals
- Weak factorization systems for S-acts.
- scientific article; zbMATH DE number 1834586 (Why is no real title available?)
- Finite additivity, another lottery paradox and conditionalisation
- On Gruenhage spaces, separating \(\sigma\)-isolated families, and their relatives
- Forcing with copies of countable ordinals
- A functional approach to cardinality of finite fuzzy sets
- Feedback computability on Cantor space
- scientific article; zbMATH DE number 5201159 (Why is no real title available?)
- Partitioning triples and partially ordered sets
- On a conjecture by Ghahramani-Lau and related problems concerning topological centres
- scientific article; zbMATH DE number 7649968 (Why is no real title available?)
- Petr Vopěnka (*16. 5. 1935)
- Independent families and some notions of finiteness
- Forcing with copies of the Rado and Henson graphs
- Souslin algebra embeddings
- The category dichotomy for ideals
- Tight cofinitary groups
- Iterated reduced powers of collapsing algebras
- Mathematical pluralism and indispensability
- Splitting families and forcing
- Rudiments of rough sets
- Radin forcing and its iterations
- Double helix in large large cardinals and iteration of elementary embeddings
- Exercices de style: a homotopy theory for set theory
- Strongly unbounded and strongly dominating sets of reals generalized
- Different similarities
- Sheaf toposes for realizability
- The internal consistency of Easton's theorem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4354789)
