No label defined (Q4531091)
From MaRDI portal
scientific article; zbMATH DE number 1746899
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1746899 |
Statements
11 November 2002
0 references
Peano Arithmetic
0 references
recursive saturation
0 references
gaps
0 references
interstices
0 references
moving gaps lemma
0 references
