# nLab synthetic Tait computability

Contents

### Context

#### Constructivism, Realizability, Computability

intuitionistic mathematics

# Contents

## Idea

Synthetic Tait computability is an approach to constructing logical relations (also known as Tait’s method of computability) using the internal language of toposes constructed using Artin gluing.

## Terminology

Note that despite the name, synthetic Tait computability is not a subfield of synthetic computability theory, but rather a synthetic approach to Tait's method of computability. This suggests that synthetic Tait computability is one technique in a larger field of synthetic mathematics internal to a glued topos.

## References

Further references are documented on Jon Sterling’s personal website.

Last revised on May 21, 2022 at 11:06:46. See the history of this page for a list of all contributions to it.