On the necessity of some topological spaces

Issue title: CiE 2022

Guest editors: Ulrich Berger, Johanna Franklin and Elvira Mayordomo

Article type: Research Article

Authors: Banakh, Taras^{a; b; *} | Lubarsky, Robert S.^c

Affiliations: [a] Ivan Franko National University of Lviv, Ukraine | [b] Jan Kochanowski University in Kielce, Poland | [c] Department of Mathematical Sciences, Florida Atlantic University, Boca Raton, FL 33431, USA

Correspondence: [*] Corresponding author. t.o.banakh@gmail.com.

Abstract: Topological models are sometimes used to prove independence results in constructive mathematics. Here we show that some of the topologies that have been used are necessary for those results.

Keywords: Constructive mathematics, topological models

DOI: 10.3233/COM-230443

Journal: Computability, vol. 13, no. 3-4, pp. 223-236, 2024