Recommendations
- Set-theoretic structure of computable sets
- Exact completion and constructive theories of sets
- Publication:5749278
- Constructively Complete Finite Sets
- On constructive and enumerable sets
- Computing the canonical representation of constructible sets
- Computably enumerable sets and related issues
- scientific article; zbMATH DE number 1302873
- Set constructors, finite sets, and logical semantics
- scientific article; zbMATH DE number 5519284
Cites work
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 65535 (Why is no real title available?)
- scientific article; zbMATH DE number 883893 (Why is no real title available?)
- A construction of non-well-founded sets within Martin-Löf's type theory
- A higher-order calculus and theory abstraction
- A small complete category
- Constructive natural deduction and its ‘ω-set’ interpretation
- Constructivism in mathematics. An introduction. Volume II
- The extended calculus of constructions (ECC) with inductive types
Cited in
(9)- Semantics of constructions. I: The traditional approach
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)
- scientific article; zbMATH DE number 6905187 (Why is no real title available?)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- The formulae-as-classes interpretation of constructive set theory
- Productive sets and constructively nonpartial-recursive functions
- The generalised type-theoretic interpretation of constructive set theory
- Structures definable in polymorphism
- A construction of non-well-founded sets within Martin-Löf's type theory
This page was built for publication: Constructive sets in computable sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1372877)
