On the Necessity of Some Topological Spaces

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.

Saved in:
Bibliographic Details
Published inRevolutions and Revelations in Computability Vol. 13359; pp. 162 - 171
Main Author Lubarsky, Robert S.
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2022
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
constructive mathematics
topological models
Online AccessGet full text
ISBN3031087399
9783031087394
ISSN0302-9743
1611-3349
DOI10.1007/978-3-031-08740-0_14

Cover

More Information
Summary: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.
ISBN:3031087399
9783031087394
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-031-08740-0_14