Tripos theory in retrospect
From MaRDI portal
Publication:3146242
DOI10.1017/S096012950200364XzbMath1005.18005MaRDI QIDQ3146242
Publication date: 31 October 2002
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (23)
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness ⋮ The effects of effects on constructivism ⋮ Dialectica logical principles ⋮ On a generalization of equilogical spaces ⋮ Triposes as a generalization of localic geometric morphisms ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ Monad transformers as monoid transformers ⋮ Dialectica principles via Gödel doctrines ⋮ First-order logic in the Medvedev lattice ⋮ A characterization of generalized existential completions ⋮ On categorical structures arising from implicative algebras: from topology to assemblies ⋮ Categories of partial equivalence relations as localizations ⋮ A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus ⋮ The number of countable models in realizability toposes ⋮ Elementary doctrines as coalgebras ⋮ Implicative algebras: a new foundation for realizability and forcing ⋮ Triposes, q-toposes and toposes ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ A co-free construction for elementary doctrines ⋮ Unifying exact completions ⋮ The existential completion ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
This page was built for publication: Tripos theory in retrospect