Principles weaker than BD-N

DOI10.2178/JSL.7803090MaRDI QIDQ2869905zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky, Hannes Diener

Publication date 7 January 2014

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

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

zbMATH Keywords

topological modelsCauchy sequencesanti-Specker spacesBD-Npartially CauchyRiemann permutation theorem

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Abstract: BD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under product, the Riemann Permutation Theorem, and the Cauchyness of all partially Cauchy sequences. Here these are shown to be strictly weaker than BD-N, yet not provable in set theory alone under constructive logic.

Recommendations

• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• A continuity principle, a version of Baire's theorem and a boundedness principle
• Double sequences, almost Cauchyness and BD-N
• Realizability models refuting Ishihara's boundedness principle
• On Weak Markov's Principle

Cites work

• A continuity principle, a version of Baire's theorem and a boundedness principle
• Constructive notions of equicontinuity
• Double sequences, almost Cauchyness and BD-N
• 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

(3)

• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Intuitionistic sequential compactness?
• Double sequences, almost Cauchyness and BD-N

This page was built for publication: Principles weaker than BD-N

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