Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) |
scientific article |
Statements
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (English)
0 references
29 August 2017
0 references
nonstandard model of arithmetic
0 references
end extension
0 references
initial segment
0 references
arithmetized completeness theorem
0 references
\(\mathrm{B}\Sigma_1\)
0 references
\(\mathrm{WKL}_0^\ast\)
0 references
0 references
0 references