On Models Constructed by Means of the Arithmetized Completeness Theorem (Q4521125)
From MaRDI portal
scientific article; zbMATH DE number 1545074
Language | Label | Description | Also known as |
---|---|---|---|
English | On Models Constructed by Means of the Arithmetized Completeness Theorem |
scientific article; zbMATH DE number 1545074 |
Statements
18 June 2001
0 references
models of arithmetic
0 references
end extensions
0 references
arithmetized completeness theorem
0 references
reflection principles
0 references
omega-consistency
0 references
definable elements
0 references
On Models Constructed by Means of the Arithmetized Completeness Theorem (English)
0 references