nLab synthetic computability theory

Contents

Context

Constructivism, Realizability, Computability

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

Synthetic computability theory is the study of computability theory synthetically axiomatized by structures present in the effective topos or other toposes of computable structures, rather than by analytic construction such as Turing machines or lambda calculus.

References

Last revised on May 19, 2022 at 05:56:10. See the history of this page for a list of all contributions to it.