No label defined (Q4225148)
From MaRDI portal
scientific article; zbMATH DE number 1241698
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1241698 |
Statements
18 January 1999
0 references
effective content of a proof
0 references
axiom of choice
0 references
Hilbert's program
0 references
Boolean models
0 references
Peano arithmetic
0 references
Heyting arithmetic
0 references
proof theory of classical logic
0 references
meaning of a non-effective proof of an existential statement
0 references
negative translation
0 references
intuitionistic logic
0 references
game-theoretic interpretation
0 references
Gentzen-Novikov's sequent calculus
0 references
formal topology
0 references
topological model
0 references
