Constructive sets in computable sets
type: Item
instance of: scholarly article
title: Constructive sets in computable sets
zbMATH Open document ID: 0883.03043
DOI: 10.1007/BF02943175
author: Yuxi Fu
published in: Journal of Computer Science and Technology
publication date: 1998-01-13T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03E70
zbMATH DE Number: 1082956
zbMATH Keywords: \(\omega\)-set
zbMATH Keywords: constructive set theory
zbMATH Keywords: CZF
zbMATH Keywords: Martin-Löf's type theory
zbMATH Keywords: identity types
zbMATH Keywords: intensional type theory
MaRDI profile type: Publication
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Q3999860
cites work: A higher-order calculus and theory abstraction
cites work: Constructive natural deduction and its ‘ω-set’ interpretation
cites work: The extended calculus of constructions (ECC) with inductive types
cites work: A small complete category
cites work: Q4012883
cites work: Q4880141
cites work: A construction of non-well-founded sets within Martin-Löf's type theory
full work available at URL: https://doi.org/10.1007/bf02943175
OpenAlex ID: W2019812776
Recommended article: Set-theoretic structure of computable sets
Recommended article: EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
Recommended article: Q5749278
Recommended article: Constructively Complete Finite Sets
Recommended article: On constructive and enumerable sets
Recommended article: Computing the canonical representation of constructible sets
Recommended article: Computably enumerable sets and related issues
Recommended article: Q4249359
Recommended article: Set constructors, finite sets, and logical semantics
Recommended article: Q3606209
description: scientific article; zbMATH DE number 1082956