Relative constructivity (Q4254679)
From MaRDI portal
scientific article; zbMATH DE number 1310793
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relative constructivity |
scientific article; zbMATH DE number 1310793 |
Statements
Relative constructivity (English)
0 references
12 January 2000
0 references
partially constructive proofs
0 references
intuitionistic higher-order arithmetic
0 references
maximum of a continuous function
0 references
Brouwer's fixed point theorem
0 references
comprehension schema for negated formulas
0 references
monotone versions of modified realizability
0 references
0 references
0 references
