Some independence results for Peano arithmetic (Q4194958)
From MaRDI portal
scientific article; zbMATH DE number 3634256
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some independence results for Peano arithmetic |
scientific article; zbMATH DE number 3634256 |
Statements
Some independence results for Peano arithmetic (English)
0 references
1978
0 references
Model Theory
0 references
Independence Results for Peano's First Order Axioms
0 references
Countable Nonstandard Model
0 references
Number Theory
0 references
