Constructive sets in computable sets

DOI10.1007/BF02943175zbMATH Open0883.03043OpenAlexW2019812776MaRDI QIDQ1372877FDOQ1372877

Authors: Yuxi Fu 

Publication date: 13 January 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943175

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 Keywords

identity typesconstructive set theoryCZF[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Martin-L%EF%BF%BD%EF%BF%BDf%27s+type+theory&go=Go Martin-L��f's type theory]\(\omega\)-setintensional type theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Title not available (Why is that?)
• A small complete category
• Constructivism in mathematics. An introduction. Volume II
• Constructive natural deduction and its ‘ω-set’ interpretation
• The extended calculus of constructions (ECC) with inductive types
• Title not available (Why is that?)
• A higher-order calculus and theory abstraction
• Title not available (Why is that?)
• A construction of non-well-founded sets within Martin-Löf's type theory

Cited In (9)

• Productive sets and constructively nonpartial-recursive functions
• The formulae-as-classes interpretation of constructive set theory
• Structures definable in polymorphism
• Title not available (Why is that?)
• A construction of non-well-founded sets within Martin-Löf's type theory
• Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)
• The generalised type-theoretic interpretation of constructive set theory
• Semantics of constructions. I: The traditional approach
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

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)