The sequential topology on is not regular

DOI10.1017/S0960129509990065zbMath1185.03072OpenAlexW2114464826MaRDI QIDQ3643361

Matthias Schröder

Publication date: 11 November 2009

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129509990065

zbMATH Keywords

regularitysequential topologyspaces of Kleene-Kreisel continuous functionals

Mathematics Subject Classification ID

Sequential spaces (54D55) Constructive and recursive analysis (03F60) Categorical methods in general topology (54B30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Higher-type and set recursion theory (03D65)

Related Items (3)

The fixed-point property for represented spaces ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Some hierarchies of QCB₀-spaces

Cites Work

• Unnamed Item
• Extended admissibility.
• Comparing Cartesian closed categories of (core) compactly generated spaces
• On k-spaces, k\(_R\)-spaces and k(X)
• Filter spaces and continuous functionals
• Comparing hierarchies of total functionals

This page was built for publication: The sequential topology on is not regular