Reclassifying the antithesis of Specker's theorem

DOI10.1007/S00153-012-0292-9zbMath1264.03125OpenAlexW2055084678WikidataQ127416686 ScholiaQ127416686MaRDI QIDQ1938392

Hannes Diener

Publication date: 4 February 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-012-0292-9

zbMATH Keywords

constructive mathematicsconstructive reverse mathematicsBrouwer's fan theoremanti-Specker propertySpecker sequence

Mathematics Subject Classification ID

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

Related Items (2)

Z-stability in Constructive Analysis ⋮ Bishop-Style Constructive Reverse Mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Techniques of constructive analysis
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• Constructivism in mathematics. An introduction. Volume I
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• Omniscience, sequential compactness, and the anti-Specker property
• The anti-Specker property, positivity, and total boundedness
• Nicht konstruktiv beweisbare Sätze der Analysis
• Logical Approaches to Computational Barriers

This page was built for publication: Reclassifying the antithesis of Specker's theorem