Tripos theory
From MaRDI portal
Cited in
(71)- A minimalist two-level foundation for constructive mathematics
- An application of open maps to categorical logic
- Kleene computable functionals and the higher order existence property
- A small complete category
- On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
- Frame-fuzzy points and membership
- Extensional realizability
- On a generalization of equilogical spaces
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Functoriality of modified realizability
- Characterizing partitioned assemblies and realizability toposes
- Classical realizability in the CPS target language
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Equilogical spaces
- Relative and modified relative realizability
- A characterization of the left exact categories whose exact completions are toposes
- Limiting partial combinatory algebras
- Computational adequacy for recursive types in models of intuitionistic set theory
- The effects of effects on constructivism
- Dialectica logical principles
- 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
- Models of intuitionistic set theory in subtoposes of nested realizability toposes
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
- Dialectica principles via Gödel doctrines
- A characterization of generalized existential completions
- Categories of partial equivalence relations as localizations
- Ordered combinatory algebras and realizability
- Colimit completions and the effective topos
- Categorical semantics for higher order polymorphic lambda calculus
- Relating first-order set theories, toposes and categories of classes
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
- Realizability in ordered combinatory algebras with adjunction
- Triposes, q-toposes and toposes
- Fibrations and recursivity
- Two remarks on the Lifschitz realizability topos
- Aspects of categorical recursion theory
- Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- The category of equilogical spaces and the effective topos as homotopical quotients
- Triposes as a generalization of localic geometric morphisms
- Dictoses
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
- The category of implicative algebras and realizability
- The existential completion
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Regular functors and relative realisability categories
- A topos for continuous logic
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
- An exper model for Quest
- On categorical structures arising from implicative algebras: from topology to assemblies
- Nonstandard proof methods in toposes
- What should a generic object be?
- Quotients, pure existential completions and arithmetic universes
- The modified realizability topos
- Implicative models of set theory
- Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
- Uniform preorders and partial combinatory algebras
- The Kock-Mikkelsen factorisation
- Arrow algebras
- Cauchy completions and the rule of unique choice in relational doctrines
- Categorifying computable reducibilities
- A category of arrow algebras for modified realizability
- When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines
- Existential completions and Herbrand's theorem
- A topos for extended Weihrauch degrees
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Differential equations in constructive analysis and in the recursive realizability topos
This page was built for publication: Tripos theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3897050)
