Wellfounded trees in categories
- 1 July 2000
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 104 (1-3) , 189-218
- https://doi.org/10.1016/s0168-0072(00)00012-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Intuitionistic choice and classical logicArchive for Mathematical Logic, 2000
- Representing inductively defined sets by wellorderings in Martin-Löf's type theoryTheoretical Computer Science, 1997
- Fibered categories and the foundations of naive category theoryThe Journal of Symbolic Logic, 1985
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984
- Forcing in intuitionistic systems without power-setThe Journal of Symbolic Logic, 1983
- Artin glueingJournal of Pure and Applied Algebra, 1974
- A fixpoint theorem for complete categoriesMathematische Zeitschrift, 1968