scientific article; zbMATH DE number 3859115
From MaRDI portal
Publication:3328538
Recommendations
Cites work
- A hierarchy of formulas in set theory
- COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY
- Consistency of the Continuum Hypothesis. (AM-3)
- scientific article; zbMATH DE number 3146056 (Why is no real title available?)
- scientific article; zbMATH DE number 3811559 (Why is no real title available?)
- scientific article; zbMATH DE number 3531386 (Why is no real title available?)
- scientific article; zbMATH DE number 3448585 (Why is no real title available?)
- scientific article; zbMATH DE number 3307537 (Why is no real title available?)
- Modelle Der Mengenlehre, in Denen Mengen Gegebener Gestalt Existieren
Cited in
(39)- On free constructions
- A characterization of internal sets
- Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- A general construction of hyperuniverses
- Notions of symmetry in set theory with classes
- A computable expression of closure to efficient causation
- An efficient algorithm for computing bisimulation equivalence
- Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
- Choice principles in hyperuniverses
- Model theory of XPath on data trees. II: Binary bisimulation and definability
- Undirecting membership in models of anti-foundation
- Conway games, coalgebraically
- Equivalences and congruences on infinite Conway games
- scientific article; zbMATH DE number 5919926 (Why is no real title available?)
- Forcing with the anti-foundation axiom
- scientific article; zbMATH DE number 3878918 (Why is no real title available?)
- THE ITERATIVE CONCEPTION OF SET
- scientific article; zbMATH DE number 3979051 (Why is no real title available?)
- scientific article; zbMATH DE number 480568 (Why is no real title available?)
- Non-well-founded extensions of V
- Processes and hyperuniverses
- Game characterizations and lower cones in the Weihrauch degrees
- scientific article; zbMATH DE number 3279145 (Why is no real title available?)
- Final semantics for a higher order concurrent language
- ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION
- A structural co-induction theorem
- Antifoundation and transitive closure in the system of Zermelo
- How to Choose New Axioms for Set Theory?
- Characterization and computation of approximate bisimulations for fuzzy automata
- Is weak supplementation analytic?
- Studying equivalences of transition systems with algebraic tools
- Of sheep and wolves: equivalence and disagreement in set theory
- Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras
- Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras
- Strong induction is an up-to technique
- The graph conception of set
- Non-well-founded trees in categories
- Multigames and strategies, coalgebraically
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 Q3328538)
