Principles Weaker than BD-N

DOI10.2178/jsl.7803090zbMath1415.03058arXiv1510.02139OpenAlexW2964211481MaRDI QIDQ2869905

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

zbMATH Keywords

Cauchy sequencestopological modelsanti-Specker spacesBD-Npartially CauchyRiemann permutation theorem

Mathematics Subject Classification ID

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

Related Items (1)

Intuitionistic sequential compactness?

Cites Work

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

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