Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability
From MaRDI portal
Publication:3159421
DOI10.1002/malq.200310104zbMath1059.03073OpenAlexW2123189304MaRDI QIDQ3159421
Publication date: 16 February 2005
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310104
computable analysiseffective toposConstructive mathematicscontinuity principlescomputable metric spaces
Constructive and recursive analysis (03F60) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Theory of numerations, effectively presented structures (03D45)
Related Items (3)
A sequentially computable function that is not effectively continuous at any point ⋮ Realizability models refuting Ishihara's boundedness principle ⋮ An MRA approach to surface completion and image inpainting
This page was built for publication: Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability