Author:
Aczel Peter,van den Berg Benno,Granström Johan,Schuster Peter
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference16 articles.
1. Aczel P.: The type theoretic interpretation of constructive set theory. In: MacIntyre, A., Pacholski, L., Paris, J. (eds.), Logic Colloquium ’77, pp. 55–66. North–Holland, Amsterdam (1978)
2. Aczel P.: The type theoretic interpretation of constructive set theory: choice principles. In: Troelstra, A.S., van Dalen, D. (eds.), The LEJ Brouwer Centenary Symposium, pp. 1–40. North–Holland, Amsterdam (1982)
3. Aczel P., Crosilla L., Ishihara H., Palmgren E., Schuster P.: Binary refinement implies discrete exponentiation. Studia Logica 84, 361–368 (2006)
4. Aczel, P., and M. Rathjen, Notes on Constructive Set Theory, Draft available at the address: http://www.mittag-leffler.se/preprints/meta/AczelMon_Sep_24_09_16_56.rdf.htm .
5. Banaschewski B., Schuster P.: The shrinking principle and the axiom of choice. Monatshefte für Mathematik 151, 263–270 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献