Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321)
From MaRDI portal
scientific article; zbMATH DE number 872667
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal readability of intuitionistic arithmetic and elementary analysis |
scientific article; zbMATH DE number 872667 |
Statements
Minimal readability of intuitionistic arithmetic and elementary analysis (English)
0 references
13 January 1997
0 references
minimal realizability
0 references
definable functions
0 references
Heyting arithmetic
0 references
provably recursive functions
0 references
Peano arithmetic
0 references
Skolem functions
0 references
intuitionistic finite-type arithmetic
0 references
elementary analysis
0 references