Author:
Aczel Peter,Crosilla Laura,Ishihara Hajime,Palmgren Erik,Schuster Peter
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference9 articles.
1. Aczel, Peter, ’The type theoretic interpretation of constructive set theory‘, in A. Macintyre, L. Pacholski, and J. Paris (eds.), Logic Colloquium ‘77, North-Holland, Amsterdam, 1978, pp. 55–66.
2. Aczel, Peter, ’The type theoretic interpretation of constructive set theory: choice principles‘, in A.S. Troelstra, and D. van Dalen (eds.), The L.E.J. Brouwer Centenary Symposium, North-Holland, Amsterdam, 1982, pp. 1–40.
3. Aczel, Peter, ’The type theoretic interpretation of constructive set theory: inductive definitions‘, in R. Barcan Marcus, G.J.W. Dorn, and P. Weingartner (eds.), Logic, Methodology, and Philosophy of Science VII, North-Holland, Amsterdam, 1986, pp. 17–49.
4. Aczel, Peter, and Michael Rathjen, Notes on Constructive Set Theory, Institut Mittag-Le.er. Preprint 40, 2000/01.
5. Banaschewski, Bernhard, and Peter Schuster, ’The shrinking principle and the axiom of choice.‘ Preprint, University of Munich, 2006.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献