Principles weaker than BD-N

DOI10.2178/JSL.7803090zbMATH Open1415.03058arXiv1510.02139OpenAlexW2964211481MaRDI QIDQ2869905FDOQ2869905

Authors: Robert S. Lubarsky, Hannes Diener 

Publication date: 7 January 2014

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

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.

Full work available at URL: https://arxiv.org/abs/1510.02139

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

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)

Cites Work

• Constructive notions of equicontinuity
• Strong continuity implies uniform sequential continuity
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
• Double sequences, almost Cauchyness and BD-N
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• A continuity principle, a version of Baire's theorem and a boundedness principle

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)