Principles Weaker than BD-N
From MaRDI portal
Publication:2869905
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
Cauchy sequencestopological modelsanti-Specker spacesBD-Npartially CauchyRiemann permutation theorem
Constructive and recursive analysis (03F60) Metamathematics of constructive systems (03F50) Constructive real analysis (26E40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (1)
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