The anti-Specker property, positivity, and total boundedness

DOI10.1002/MALQ.200910017zbMATH Open1206.03053OpenAlexW2032753226WikidataQ127416692 ScholiaQ127416692MaRDI QIDQ3583807FDOQ3583807

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

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?

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)

Cites Work

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