scientific article; zbMATH DE number 813127
From MaRDI portal
Publication:4853985
Recommendations
Cited in
(58)- Structural induction and coinduction in a fibrational setting
- Constructing process categories
- Axioms and (counter)examples in synthetic domain theory
- Locally cartesian closed exact completions
- Comparing material and structural set theories
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Bernays-Gödel type theory
- Computational adequacy for recursive types in models of intuitionistic set theory
- Coalgebra and abstraction
- ZF between classicality and non-classicality
- A universal algebraic set theory built on mereology with applications
- Models of intuitionistic set theory in subtoposes of nested realizability toposes
- Ordinals in Frobenius monads
- Sharp upper and lower bounds for largest eigenvalue of the Laplacian matrices of trees
- Skew metrics valued in Sugihara semigroups
- Joyal's arithmetic universes via type theory
- Paths and simulations
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- On Tarski’s fixed point theorem
- Sets and descent
- ON SKALA'S SET THEORY
- scientific article; zbMATH DE number 3851090 (Why is no real title available?)
- scientific article; zbMATH DE number 4204629 (Why is no real title available?)
- Towards the algebraization of set theory. Set-theoretic domains
- A Brief Introduction to Algebraic Set Theory
- Relating first-order set theories, toposes and categories of classes
- scientific article; zbMATH DE number 3767645 (Why is no real title available?)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
- Constructive toposes with countable sums as models of constructive set theory
- scientific article; zbMATH DE number 1500672 (Why is no real title available?)
- scientific article; zbMATH DE number 2172973 (Why is no real title available?)
- A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM
- On the distinction between sets and classes: a categorical perspective
- ALGEBRAIC NEW FOUNDATIONS
- Aspects of predicative algebraic set theory. II: Realizability
- Nominal Sets over Algebraic Atoms
- Initial algebras of terms with binding and algebraic structure
- Algebraic set theory and the effective topos
- Multiple universes of sets and indeterminate truth values
- Type theories, toposes and constructive set theory: Predicative aspects of AST
- A presheaf semantics of value-passing processes
- The compatibility of the minimalist foundation with homotopy type theory
- What should a generic object be?
- Apartness, sharp elements, and the Scott topology of domains
- Relativized Grothendieck topoi
- Kripke-Joyal forcing for type theory and uniform fibrations
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- A presentation of the initial lift-algebra
- Univalent material set theory
- The elementary theory of the 2-category of small categories
- Categories for collection monads
- Internal 1-topoi in 2-topoi
- Strict universes for Grothendieck topoi
- Well-foundedness in realizability
- Coalgebras in a category of classes
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
- The associated sheaf functor theorem in algebraic set theory
- Aspects of predicative algebraic set theory. I: Exact completion
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 Q4853985)
