Inductive types and exact completion
type: Item
instance of: scholarly article
title: Inductive types and exact completion
zbMATH Open document ID: 1064.03041
author: Benno van den Berg
published in: Annals of Pure and Applied Logic
publication date: 2005-06-23T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 2181950
zbMATH Keywords: Exact completion
zbMATH Keywords: Realizability toposes
zbMATH Keywords: Martin-Löf Type Theory
zbMATH Keywords: Initial algebras
zbMATH Keywords: Pretoposes
MaRDI profile type: Publication
full work available at URL: j.apal.2004.09.003
OpenAlex ID: W2068946935
cites work: Recursive models for constructive set theories
cites work: Q4936141
cites work: Some free constructions in realizability and proof theory
cites work: Q4740070
cites work: Locally cartesian closed exact completions
cites work: A presentation of the initial lift-algebra
cites work: Set theory. An introduction to independence proofs
cites work: Cocomplete toposes whose exact completions are toposes
cites work: Wellfounded trees in categories
cites work: Type theories, toposes and constructive set theory: Predicative aspects of AST
cites work: The extended calculus of constructions (ECC) with inductive types
DOI: 10.1016/J.APAL.2004.09.003
description: scientific article; zbMATH DE number 2181950