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