Explore relationships

Realizability

In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them.

Use + to expand a branch. Click a topic name to open its summary.