A fan-theoretic equivalent of the antithesis of Specker's theorem

DOI10.1016/S0019-3577(07)00012-2MaRDI QIDQ2465611zbMATH OpenOpenAlexFDO

Authors Josef Berger, Douglas Bridges

Publication date 7 January 2008

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-3577(07)00012-2

zbMATH Keywords

constructive mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• Reclassifying the antithesis of Specker's theorem
• scientific article; zbMATH DE number 6386979
• The anti-Specker property, positivity, and total boundedness
• A generalization of Specker's theorem on typical ambiguity
• On one of Specker's theorems
• The Specker-Blatter theorem revisited
• Some results on Specker's problem
• Omniscience, sequential compactness, and the anti-Specker property
• scientific article; zbMATH DE number 1302488
• On the failure of BD-ℕ and BD, and an application to the anti-specker property

Cites work

• Brouwer's fan theorem and unique existence in constructive analysis
• Equivalents of the (weak) fan theorem
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• Ideals in constructive Banach algebra theory
• Logical Approaches to Computational Barriers
• Nicht konstruktiv beweisbare Sätze der Analysis
• The fan theorem and unique existence of maxima

Cited in

(20)

• Sequences of real functions on [0,1] in constructive reverse mathematics
• Intuitionistic sequential compactness?
• Reclassifying the antithesis of Specker's theorem
• Constructive notions of equicontinuity
• On the constructive notion of closure maps
• scientific article; zbMATH DE number 6386979 (Why is no real title available?)
• Z-stability in constructive analysis
• A Bizarre Property Equivalent to the -Fan Theorem
• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
• The anti-Specker property, positivity, and total boundedness
• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
• Brouwer's fan theorem and convexity
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Nets and reverse mathematics
• Bishop-Style Constructive Reverse Mathematics
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• Specker sequences revisited
• Reflections on function spaces
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics

This page was built for publication: A fan-theoretic equivalent of the antithesis of Specker's theorem

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