Abstract:Type 1 computability -- computability based on the use of numberings -- is one of several ways of developing systematically computable mathematics. This approach can be considered particularly important since it is the one that focuses on finite descriptions. The study of Type 1 computability of topological spaces can be understood as the study of topological spaces some of whose open sets admit finite descriptions. We define Type 1 computable topological spaces without making reference to a basis. Following work of Spreen, we show that the use of a formal inclusion relation should be systematized. We give the first general definition of the computable topology associated to a computable metric that does not rely on effective separability. This definition can be translated to other constructive settings, and its relevance goes beyond that of Type 1 computability. We also compare different notions of effective basis. The first one, introduced by Nogina, is based on an effective version of the statement ``a set $O$ is open if for any point in $O$, there is a basic set containing that point and contained in $O$''. The second one, associated to Lacombe, is based on an effective version of ``a set $O$ is open if it can be written as a union of basic open sets''. We show that neither of the notions of basis we thus obtain is completely satisfactory. We define a new notion of basis, based on an effective version of the Nogina statement, but using a formal inclusion relation. Finally, we obtain a new version of the theorem of Moschovakis which states that the Lacombe and Nogina approaches coincide on countable recursive Polish spaces, but which applies to sets equipped with non-onto numberings, and with effective separability as a sole hypothesis.

Some new directions in infinite-combinatorial topology

Algebraic Topology of Finite Topological Spaces and Applications

SPM Bulletin 37

Topics Surrounding The Combinatorial Anabelian Geometry Of Hyperbolic Curves Iv: Discreteness And Sections

An Introduction to Combinatorics of Determinacy

Topology, isomorphic smoothness and polyhedrality in Banach spaces

Finite combinatorics implicit in the basic definitions of topology

Finite topologies for finite geometries

A combinatorial description of topological complexity for finite spaces

Framed Combinatorial Topology with Labels in $\infty$-Categories

Extremal infinite graph theory

Nonstandard methods in large-scale topology II

Some aspects of profinite group theory

The topology of critical processes, II (The fundamental category)

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

New definitions in the theory of Type 1 computable topological spaces

Choice axioms and Postnikov completeness

Selectively pseudocompact spaces

Finite-index phenomena and the topology of bundle singularities

Topics in Geometric Group Theory. Part I

Selection games on hyperspaces