scientific article; zbMATH DE number 813127
From MaRDI portal
Publication:4853985
zbMath0847.03025MaRDI QIDQ4853985
Publication date: 7 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universal algebrasHeyting pretoposcategorical set theoryhierarchical models of set theoryZermelo-Fraenkel algebra
Related Items (39)
Relating Coalgebraic Notions of Bisimulation ⋮ Computational adequacy for recursive types in models of intuitionistic set theory ⋮ A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM ⋮ Ordinals in Frobenius monads ⋮ Well-foundedness in realizability ⋮ A universal algebraic set theory built on mereology with applications ⋮ Coalgebras in a category of classes ⋮ Relating first-order set theories, toposes and categories of classes ⋮ On Tarski’s fixed point theorem ⋮ Constructing process categories ⋮ 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 ⋮ Skew metrics valued in Sugihara semigroups ⋮ Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Comparing material and structural set theories ⋮ Sets and Descent ⋮ Coalgebra and abstraction ⋮ A presentation of the initial lift-algebra ⋮ 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 ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Sharp upper and lower bounds for largest eigenvalue of the Laplacian matrices of trees ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ On the Distinction Between Sets and Classes: A Categorical Perspective ⋮ ALGEBRAIC NEW FOUNDATIONS ⋮ Structural induction and coinduction in a fibrational setting ⋮ Joyal's arithmetic universes via type theory ⋮ Paths and Simulations ⋮ Axioms and (counter)examples in synthetic domain theory ⋮ Locally cartesian closed exact completions ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes ⋮ Bernays-Gödel type theory
This page was built for publication:
