Type-theoretic interpretation of iterated, strictly positive inductive definitions-Reference-Cited by-同舟云学术

Type-theoretic interpretation of iterated, strictly positive inductive definitions

Published:1992-03 Issue:2 Volume:32 Page:75-99
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch Math Logic

Author:

Palmgren Erik

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF01269951.pdf

Reference16 articles.

1. Aczel, P.: The strength of Martin-Löf's intuitionistic type theory with one universe. In: Miettinen, S., Väänänen, J. (eds.) Proc. Symp. on Mathematical Logic (Oulu, 1974). (Report no. 2, Department of Philosophy, University of Helsinki), Helsinki 1977

2. Aczel, P.: Introduction to inductive definitions. In: Barwise, J. (ed.) Handbook of mathematical logic. Amsterdam: North-Holland 1977

3. Aczel, P.: The type theoretic interpretation of constructive set theory: inductive definitions. In: Marcus, R.B. et al. (eds.) Logic, methodology and philosophy of science VII. Amsterdam: North-Holland 1986

4. Beeson, B.: Foundations of constructive mathematics. Berlin Heidelberg New York: Springer 1985

5. Lect. Notes Math.;W. Buchholz,1981

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Predicativity and Constructive Mathematics;Boston Studies in the Philosophy and History of Science;2021-08-08

2. Proof Theory of Constructive Systems: Inductive Types and Univalence;Outstanding Contributions to Logic;2017

3. Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions;Epistemology versus Ontology;2012

4. Constructive characterizations of bar subsets;Annals of Pure and Applied Logic;2007-03

5. Regular universes and formal spaces;Annals of Pure and Applied Logic;2006-01