This entry is about the Baire space of sequences of natural numbers. For another concept of the same name in topology proper, see at Baire space.
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
In the study of computability, descriptive set theory, etc, by Baire space is meant the topological space of infinite sequences of natural numbers equipped with the product topology.
The continuous functions from Baire space to itself serve the role of computable functions in computable analysis. See at computable function (analysis).
type I computability | type II computability | |
---|---|---|
typical domain | natural numbers | Baire space of infinite sequences |
computable functions | partial recursive function | computable function (analysis) |
type of computable mathematics | recursive mathematics | computable analysis, Type Two Theory of Effectivity |
type of realizability | number realizability | function realizability |
partial combinatory algebra | Kleene's first partial combinatory algebra | Kleene's second partial combinatory algebra |
Lecture notes include
Textbook accounts include
Last revised on June 11, 2020 at 14:50:18. See the history of this page for a list of all contributions to it.