scientific article; zbMATH DE number 3825806
From MaRDI portal
Publication:3671978
zbMATH Open0522.03055MaRDI QIDQ3671978FDOQ3671978
Publication date: 1982
Title of this publication is not available (Why is that?)
intuitionistic logicMarkov's principleChurch's thesiseffective toposrecursive realizabilityrealizability toposes
Cited In (85)
- Filtered colimits in the effective topos
- A minimalist two-level foundation for constructive mathematics
- A modest model of records, inheritance, and bounded quantification
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
- Comparing free algebras in topological and classical domain theory
- Partial morphisms in categories of effective objects
- Relative completions
- Lawvere-Tierney topologies for computability theorists
- Aspects of predicative algebraic set theory. I: Exact completion
- The modified realizability topos
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos
- Some free constructions in realizability and proof theory
- Axiomatizing higher-order Kleene realizability
- A categorial approach to the theory of computation
- A model for intuitionistic non-standard arithmetic
- Computational adequacy for recursive types in models of intuitionistic set theory
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- Title not available (Why is that?)
- From constructivism to computer science
- Integrating classical and intuitionistic type theory
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Introduction to Turing categories
- Metric spaces in synthetic topology
- A survey of fuzzy set and topos theory
- Five stages of accepting constructive mathematics
- Title not available (Why is that?)
- Axioms and (counter)examples in synthetic domain theory
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Realizability in ordered combinatory algebras with adjunction
- μ-Bicomplete Categories and Parity Games
- A category-theoretic characterization of functional completeness
- Aspects of Categorical Recursion Theory
- Recursion over realizability structures
- Realizing Brouwer's sequences
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
- Equilogical spaces
- Extensional PERs
- A small complete category
- On fixed-point theorems in synthetic computability
- Kleene computable functionals and the higher order existence property
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
- Internal enriched categories
- Domain theoretic models of polymorphism
- The category of equilogical spaces and the effective topos as homotopical quotients
- Extensional realizability
- Differential equations in constructive analysis and in the recursive realizability topos
- Computable Queries for Object Oriented Databases
- On completeness and cocompleteness in and around small categories
- The S-replete construction
- Dictoses
- Univalent polymorphism
- Realizability and recursive set theory
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Characterizing partitioned assemblies and realizability toposes
- Relating first-order set theories, toposes and categories of classes
- Basic subtoposes of the effective topos
- On Tarski’s fixed point theorem
- A higher-order calculus and theory abstraction
- Aspects of predicative algebraic set theory. II: Realizability
- Defining effectiveness using finite sets. A study on computability
- Functorial polymorphism
- A proposed categorical semantics for Pure ML
- The category of implicative algebras and realizability
- On categorical structures arising from implicative algebras: from topology to assemblies
- A Minimalist Foundation at Work
- What should a generic object be?
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- A characterization of generalized existential completions
- The effective model structure and -groupoid objects
- A homotopy-theoretic model of function extensionality in the effective topos
- Coinduction in Flow: The Later Modality in Fibrations
- From term models to domains
- The effects of effects on constructivism
- Realizability with a local operator of A. M. Pitts
- Parametric Church's thesis: synthetic computability without choice
- Game semantics of Martin-Löf type theory
- Parallelism in realizability models
- Ordered combinatory algebras and realizability
- Title not available (Why is that?)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract)
- An exper model for Quest
- Exploring mathematical objects from custom-tailored mathematical universes
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos
- Realizability algebras III: some examples
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671978)
