Omniscience, sequential compactness, and the anti-Specker property

Logic Journal of the IGPL 19 (1):53-61 (2011)
  Copy   BIBTEX

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 other

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzq001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
On the failure of BD-ࡃ and BD, and an application to the anti-Specker property.Robert S. Lubarsky - 2013 - Journal of Symbolic Logic 78 (1):39-56.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
Compactness in first order Łukasiewicz logic.N. Tavana, M. Pourmahdian & F. Didehvar - 2012 - Logic Journal of the IGPL 20 (1):254-265.
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.Vera Koponen & Tapani Hyttinen - 2015 - Studia Logica 103 (1):1-20.
The finite cutset property.J.‐M. Brochet - 1993 - Mathematical Logic Quarterly 39 (1):158-164.
On Sequentially Compact Subspaces of.Kyriakos Keremedis & Eleftherios Tachtsis - 2003 - Notre Dame Journal of Formal Logic 44 (3):175-184.
Specker sequences revisited.Jakob G. Simonsen - 2005 - Mathematical Logic Quarterly 51 (5):532-540.

Analytics

Added to PP
2015-02-04

Downloads
15 (#919,495)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my 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.

Add more citations

References found in this work

No references found.

Add more references