Completions of PA: Models and enumerations of representable sets (Q4227885)
From MaRDI portal
scientific article; zbMATH DE number 1247652
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completions of PA: Models and enumerations of representable sets |
scientific article; zbMATH DE number 1247652 |
Statements
Completions of PA: Models and enumerations of representable sets (English)
0 references
6 July 1999
0 references
True Arithmetic
0 references
completions of Peano Arithmetic
0 references
Scott set
0 references
jump ideal
0 references
forcing
0 references
coding sets for computable subtrees
0 references
