Misselbeck-Wessel, Daniel; Rinaldi, Davide Towards formal Baer criteria. (English) Zbl 1499.03059 Confluentes Math. 14, No. 1, 49-63 (2022). MSC: 03F65 03F60 03F05 03E25 03G10 06D22 13C11 PDFBibTeX XMLCite \textit{D. Misselbeck-Wessel} and \textit{D. Rinaldi}, Confluentes Math. 14, No. 1, 49--63 (2022; Zbl 1499.03059) Full Text: DOI
Schlagbauer, Konstantin; Schuster, Peter; Wessel, Daniel The Hahn-Banach theorem by disjunction elimination. (Der Satz von Hahn-Banach per Disjunktionselimination.) (German. English summary) Zbl 1480.03061 Confluentes Math. 11, No. 1, 79-93 (2019). MSC: 03F65 46S30 06F20 PDFBibTeX XMLCite \textit{K. Schlagbauer} et al., Confluentes Math. 11, No. 1, 79--93 (2019; Zbl 1480.03061) Full Text: DOI
Rinaldi, Davide; Sambin, Giovanni; Schuster, Peter The basic Zariski topology. (English) Zbl 1328.03056 Confluentes Math. 7, No. 1, 55-81 (2015). MSC: 03F65 03E25 13A99 54B35 PDFBibTeX XMLCite \textit{D. Rinaldi} et al., Confluentes Math. 7, No. 1, 55--81 (2015; Zbl 1328.03056) Full Text: DOI