The following pages link to Tripos theory (Q3897050):
Displaying 50 items.
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Triposes, q-toposes and toposes (Q476121) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- The modified realizability topos (Q678851) (← links)
- Differential equations in constructive analysis and in the recursive realizability topos (Q793725) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- An application of open maps to categorical logic (Q1055409) (← links)
- Kleene computable functionals and the higher order existence property (Q1104319) (← links)
- A small complete category (Q1112159) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Frame-fuzzy points and membership (Q1177690) (← links)
- Extensional realizability (Q1356980) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Functoriality of modified realizability (Q1683375) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Equilogical spaces (Q1826625) (← links)
- Relative and modified relative realizability (Q1849865) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Limiting partial combinatory algebras (Q1884934) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Dialectica logical principles (Q2151422) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- Models of intuitionistic set theory in subtoposes of nested realizability toposes (Q2344624) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- Colimit completions and the effective topos (Q3197988) (← links)
- Categorical semantics for higher order polymorphic lambda calculus (Q3783264) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- Realizability in ordered combinatory algebras with adjunction (Q4623132) (← links)
- Fibrations and recursivity (Q4850324) (← links)
- Two remarks on the Lifschitz realizability topos (Q4879901) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Triposes as a generalization of localic geometric morphisms (Q5084312) (← links)
- Dictoses (Q5096262) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- The category of implicative algebras and realizability (Q5108535) (← links)
- The existential completion (Q5129224) (← links)
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes (Q5156775) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
