Wellfounded trees in categories
type: Item
instance of: scholarly article
title: Wellfounded trees in categories
zbMATH Open document ID: 1010.03056
DOI: 10.1016/S0168-0072(00)00012-9
author: Ieke Moerdijk
author: Erik Palmgren
published in: Annals of Pure and Applied Logic
publication date: 2003-05-08T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1501506
zbMATH Keywords: W-types
zbMATH Keywords: free term algebras
zbMATH Keywords: sheaves
zbMATH Keywords: Artin gluing
MaRDI profile type: Publication
cites work: Fibered categories and the foundations of naive category theory
cites work: Intuitionistic choice and classical logic
cites work: Q3142163
cites work: Representing inductively defined sets by wellorderings in Martin-Löf's type theory
cites work: Q3995720
cites work: Forcing in intuitionistic systems without power-set
cites work: Q4474857
cites work: Extensional Constructs in Intensional Type Theory
cites work: Q4145861
cites work: A fixpoint theorem for complete categories
cites work: Q3727946
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Type theories, toposes and constructive set theory: Predicative aspects of AST
cites work: Locally cartesian closed categories and type theory
cites work: Artin glueing
Wikidata QID: Q126323888
description: scientific article; zbMATH DE number 1501506