On the failure of BD-ℕ and BD, and an application to the anti-specker property

DOI10.2178/JSL.7801030MaRDI QIDQ4916541zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky

Publication date 23 April 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.00990, https://projecteuclid.org/euclid.jsl/1358951098

zbMATH Keywords

anti-Specker propertyBDBD-\(\mathbb N\)constructive analysisrealizabilitytopological models

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Abstract: We give the natural topological model for the failure of BD-N, and use it to show that the closure of spaces with the anti-Specker property under product does not imply BD-N. Also, the natural topological model for the failure of BD is presented. Finally, for some of the realizability models known indirectly to falsify BD-N, it is brought out in detail how BD-N fails.

Recommendations

• Realizability models refuting Ishihara's boundedness principle
• Principles weaker than BD-N
• A continuity principle, a version of Baire's theorem and a boundedness principle
• A constructive look at the completeness of the space (ℝ)
• Intuitionistic sequential compactness?
• On choice principles and fan theorems
• On Brouwer's continuity principle
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• scientific article; zbMATH DE number 1670500
• The anti-Specker property, positivity, and total boundedness

Cites work

• A continuity principle, a version of Baire's theorem and a boundedness principle
• Constructive notions of equicontinuity
• Constructivism in mathematics. An introduction. Volume I
• Extensional realizability
• scientific article; zbMATH DE number 3805451 (Why is no real title available?)
• On the constructive Dedekind reals
• Strong continuity implies uniform sequential continuity
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations

Cited in

(25)

• Intuitionistic sequential compactness?
• Completeness: when enough is enough
• On the necessity of some topological spaces
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• The failure of the uncountable non-commutative Specker phenomenon
• Principles weaker than BD-N
• Double sequences, almost Cauchyness and BD-N
• scientific article; zbMATH DE number 6386979 (Why is no real title available?)
• A constructive look at the completeness of the space (ℝ)
• Bishop-Style Constructive Reverse Mathematics
• scientific article; zbMATH DE number 7577585 (Why is no real title available?)
• Inheriting the anti-Specker property
• Constructive aspects of Riemann's permutation theorem for series
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• Maps for learning indexable classes
• On the necessity of some topological spaces
• Realizability models refuting Ishihara's boundedness principle

This page was built for publication: On the failure of BD-ℕ and BD, and an application to the anti-specker property

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