Palmgren, Erik Formal continuity implies uniform continuity near compact images on metric spaces. (English) Zbl 1510.03026 Math. Log. Q. 60, No. 1-2, 66-69 (2014). MSC: 03F60 54E35 PDFBibTeX XMLCite \textit{E. Palmgren}, Math. Log. Q. 60, No. 1--2, 66--69 (2014; Zbl 1510.03026) Full Text: DOI
Coquand, Thierry; Palmgren, Erik; Spitters, Bas Metric complements of overt closed sets. (English) Zbl 1251.03084 Math. Log. Q. 57, No. 4, 373-378 (2011). MSC: 03F60 06D22 28C05 PDFBibTeX XMLCite \textit{T. Coquand} et al., Math. Log. Q. 57, No. 4, 373--378 (2011; Zbl 1251.03084) Full Text: DOI arXiv
Palmgren, Erik Resolution of the uniform lower bound problem in constructive analysis. (English) Zbl 1134.03037 Math. Log. Q. 54, No. 1, 65-69 (2008). MSC: 03F60 03F65 06D22 54B30 54D45 54E35 PDFBibTeX XMLCite \textit{E. Palmgren}, Math. Log. Q. 54, No. 1, 65--69 (2008; Zbl 1134.03037) Full Text: DOI
Palmgren, Erik A constructive and functorial embedding of locally compact metric spaces into locales. (English) Zbl 1116.03057 Topology Appl. 154, No. 9, 1854-1880 (2007). MSC: 03F65 06D22 54B30 54D45 54E35 PDFBibTeX XMLCite \textit{E. Palmgren}, Topology Appl. 154, No. 9, 1854--1880 (2007; Zbl 1116.03057) Full Text: DOI
Palmgren, E.; Vickers, S. J. Partial Horn logic and Cartesian categories. (English) Zbl 1109.03022 Ann. Pure Appl. Logic 145, No. 3, 314-353 (2007). MSC: 03C05 03G30 08A55 18C10 18D15 PDFBibTeX XMLCite \textit{E. Palmgren} and \textit{S. J. Vickers}, Ann. Pure Appl. Logic 145, No. 3, 314--353 (2007; Zbl 1109.03022) Full Text: DOI Link