The anti-Specker property, positivity, and total boundedness

DOI10.1002/malq.200910017zbMath1206.03053OpenAlexW2032753226WikidataQ127416692 ScholiaQ127416692MaRDI 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

zbMATH Keywords

constructive mathematicstotal boundednessreverse mathematicspositivity propertyanti-Specker property

Mathematics Subject Classification ID

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

Related Items (4)

Constructive notions of equicontinuity ⋮ Reclassifying the antithesis of Specker's theorem ⋮ Z-stability in Constructive Analysis ⋮ Intuitionistic sequential compactness?

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

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