On the Constructive Dedekind Reals: Extended Abstract-Reference-Cited by-同舟云学术

On the Constructive Dedekind Reals: Extended Abstract

Published: Issue: Volume: Page:349-362
ISSN:0302-9743
Container-title:Logical Foundations of Computer Science
language:
Short-container-title:

Author:

Lubarsky Robert S.,Rathjen Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-72734-7_25.pdf

Reference17 articles.

1. Aczel, P.: The type theoretic interpretation of constructive set theory. In: MacIntypre, 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 L.E.J. Brouwer Centenary Symposium, pp. 1–40. North-Holland, Amsterdam (1982)

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, pp. 17–49. North-Holland, Amsterdam (1986)

4. Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical Report 40, 2000/2001, Mittag-Leffler Institute, Sweden (2001)

5. Crosilla, L., Ishihara, H., Schuster, P.: On constructing completions. The Journal of Symbolic Logic 70, 969–978 (2005)

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

1. On the failure of BD-ℕ and BD, and an application to the anti-specker property;The Journal of Symbolic Logic;2013-03

2. Topological forcing semantics with settling;Annals of Pure and Applied Logic;2012-07

3. Topological Forcing Semantics with Settling;Logical Foundations of Computer Science;2008