Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman |
scientific article |
Statements
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (English)
0 references
27 June 1992
0 references
second order arithmetic
0 references
intuitionistic higher order arithmetic HAH
0 references
Church's Thesis
0 references
Markov's Principle
0 references
realizability topos
0 references
effective topos
0 references
