The anti-Specker property, a Heine–Borel property, and uniform continuity-Reference-Cited by-同舟云学术

The anti-Specker property, a Heine–Borel property, and uniform continuity

Published:2007-12-05 Issue:7-8 Volume:46 Page:583-592
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Berger Josef,Bridges Douglas

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s00153-007-0063-1.pdf

Reference22 articles.

1. Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Report No. 40, Institut Mittag–Leffler, Royal Swedish Academy of Sciences (2001)

2. Bishop, E.A.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)

3. Bishop, E.A., Bridges, D.S.: Constructive Analysis. Grundlehren der Math. Wiss., vol. 279. Springer, Berlin (1985)

4. Berger, J.: The logical strength of the uniform continuity theorem. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V.(eds) Logical Approaches to Computational Barriers. Lecture Notes in Computer Science, vol. 3988, pp. 35–39. Springer, Berlin (2006)

5. Berger, J., Bridges, D.S.: A fan-theoretic equivalent of the antithesis of Specker’s theorem. Proc. Koninklijke Nederlandse Akad. Weten. (Indag. Math., N.S.) 18(2), 195–202 (2007)

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

1. Principles Weaker than BD-N;The Journal of Symbolic Logic;2013-09

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

3. On the constructive notion of closure maps;Mathematical Logic Quarterly;2012-07-06

4. Reclassifying the antithesis of Specker’s theorem;Archive for Mathematical Logic;2012-06-12

5. Minima and best approximations in constructive analysis;Journal of Logic and Analysis;2011