Intuitionistic notions of boundedness in ℕ
From MaRDI portal
Publication:5505139
DOI10.1002/malq.200710072zbMath1155.03043OpenAlexW2081490356MaRDI QIDQ5505139
Publication date: 23 January 2009
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710072
Related Items
The uniform boundedness theorem and a boundedness principle ⋮ Completeness: when enough is enough ⋮ The anti-Specker property, positivity, and total boundedness ⋮ Intuitionistic sequential compactness? ⋮ Bishop-Style Constructive Reverse Mathematics
Cites Work