scientific article; zbMATH DE number 813127

zbMath0847.03025MaRDI QIDQ4853985

André Joyal, Ieke Moerdijk

Publication date: 7 November 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

universal algebrasHeyting pretoposcategorical set theoryhierarchical models of set theoryZermelo-Fraenkel algebra

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70)

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: