No label defined (Q3656426)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
13 January 2010
0 references
strict reverse mathematics
0 references
EFA
0 references
FSTZ
0 references
FSQZ
0 references
FSTZEXP
0 references
FSQZEXP
0 references
PFA
0 references
incompleteness
0 references
Robinson's Q
0 references
interpretation
0 references
elementary function arithmetic
0 references
polynomial function arithmetic
0 references
