The following pages link to (Q3671978):
Displaying 50 items.
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Defining effectiveness using finite sets. A study on computability (Q529651) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- The modified realizability topos (Q678851) (← links)
- Functorial polymorphism (Q753948) (← links)
- Differential equations in constructive analysis and in the recursive realizability topos (Q793725) (← links)
- Filtered colimits in the effective topos (Q819805) (← links)
- A categorial approach to the theory of computation (Q911584) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Introduction to Turing categories (Q998306) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Realizability and recursive set theory (Q1094418) (← links)
- Kleene computable functionals and the higher order existence property (Q1104319) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← 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)
- Recursion over realizability structures (Q1173956) (← links)
- A survey of fuzzy set and topos theory (Q1175730) (← links)
- Extensional PERs (Q1193589) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- Extensional realizability (Q1356980) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- Equilogical spaces (Q1826625) (← links)
- Relative completions (Q1878419) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Some free constructions in realizability and proof theory (Q1903677) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Univalent polymorphism (Q1987219) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
