Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman |
scientific article; zbMATH DE number 29959
| 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; zbMATH DE number 29959 |
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
0.8816019
0 references
0.87182456
0 references
0 references
0.86931336
0 references
0.86670697
0 references
0.8660381
0 references
0.86426353
0 references
0.8590494
0 references
