Bounded modified realizability (Q5477639)
From MaRDI portal
scientific article; zbMATH DE number 5038903
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bounded modified realizability |
scientific article; zbMATH DE number 5038903 |
Statements
Bounded modified realizability (English)
0 references
5 July 2006
0 references
constructive content of arithmetical sentences
0 references
realizability
0 references
FAN theorem
0 references
Markov's principle
0 references
omniscience
0 references
weak König's lemma
0 references
