- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Omniscience, sequential compactness, and the anti-Specker property
Logic Journal of the IGPL 19 (1):53-61 (2011)
Abstract
Working within Bishop-style constructive mathematics, we derive a number of results relating the nonconstructive LPO and sequential compactness property on the one hand, and the intuitionistically reasonable anti-Specker property on the otherOther Versions
No versions found
My notes
Similar books and articles
The anti-Specker property, uniform sequential continuity, and a countable compactness property.Douglas Bridges - 2011 - Logic Journal of the IGPL 19 (1):174-182.
The anti-Specker property, positivity, and total boundedness.Douglas Bridges & Hannes Diener - 2010 - Mathematical Logic Quarterly 56 (4):434-441.
A Weak Constructive Sequential Compactness Property And The Fan Theorem.Douglas Bridges - 2005 - Logic Journal of the IGPL 13 (2):151-158.
Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
The anti-Specker property, a Heine–Borel property, and uniform continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
On Sequentially Compact Subspaces of.Kyriakos Keremedis & Eleftherios Tachtsis - 2003 - Notre Dame Journal of Formal Logic 44 (3):175-184.
Compactness under constructive scrutiny.Hajime Ishihara & Peter Schuster - 2004 - Mathematical Logic Quarterly 50 (6):540-550.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Analytics
Added to PP
2015-02-04
Downloads
32 (#711,554)
6 months
3 (#1,480,774)
2015-02-04
Downloads
32 (#711,554)
6 months
3 (#1,480,774)
Historical graph of downloads
Citations of this work
Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Continuous isomorphisms from R onto a complete abelian group.Douglas Bridges & Matthew Hendtlass - 2010 - Journal of Symbolic Logic 75 (3):930-944.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-72rpk uwo