The anti-Specker property, positivity, and total boundedness
From MaRDI portal
Publication:3583807
DOI10.1002/malq.200910017zbMath1206.03053MaRDI QIDQ3583807
Douglas S. Bridges, Hannes Diener
Publication date: 18 August 2010
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200910017
constructive mathematics; total boundedness; reverse mathematics; positivity property; anti-Specker property
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
Intuitionistic sequential compactness?, Reclassifying the antithesis of Specker's theorem, Constructive notions of equicontinuity, Z-stability in Constructive Analysis
Cites Work
- Equivalents of the (weak) fan theorem
- A uniformly continuous function on [0,1 that is everywhere different from its infimum]
- Generalized real numbers in constructive mathematics
- Constructive notions of equicontinuity
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- Omniscience, sequential compactness, and the anti-Specker property
- Compactness under constructive scrutiny
- Continuity and nondiscontinuity in constructive mathematics
- Continuity properties in constructive mathematics
- Some Notes on Continuity in Constructive Analysis
- Resolution of the uniform lower bound problem in constructive analysis
- Intuitionistic notions of boundedness in ℕ
- Nicht konstruktiv beweisbare Sätze der Analysis
- Logical Approaches to Computational Barriers