The anti-Specker property, positivity, and total boundedness

DOI10.1002/MALQ.200910017MaRDI QIDQ3583807zbMATH OpenOpenAlexWikidataFDO

Authors Douglas 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

zbMATH Keywords

constructive mathematicsreverse mathematicsanti-Specker propertytotal boundednesspositivity property

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 6386979
• Reclassifying the antithesis of Specker's theorem
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• Omniscience, sequential compactness, and the anti-Specker property
• Intuitionistic sequential compactness?

Cites work

• A fan-theoretic equivalent of the antithesis of Specker's theorem
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• Compactness under constructive scrutiny
• Constructive notions of equicontinuity
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• Equivalents of the (weak) fan theorem
• Generalized real numbers in constructive mathematics
• Intuitionistic notions of boundedness in ℕ
• Logical Approaches to Computational Barriers
• Nicht konstruktiv beweisbare Sätze der Analysis
• Omniscience, sequential compactness, and the anti-Specker property
• Resolution of the uniform lower bound problem in constructive analysis
• Some Notes on Continuity in Constructive Analysis

Cited in

(13)

• Specker sequences revisited
• The failure of the uncountable non-commutative Specker phenomenon
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• \(Z\)-stability in constructive analysis
• Inheriting the anti-Specker property
• Constructive notions of equicontinuity
• Intuitionistic sequential compactness?
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• Reclassifying the antithesis of Specker's theorem
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• scientific article; zbMATH DE number 6386979 (Why is no real title available?)
• Omniscience, sequential compactness, and the anti-Specker property
• The anti-Specker property, uniform sequential continuity, and a countable compactness property

This page was built for publication: The anti-Specker property, positivity, and total boundedness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3583807)