Parameter-Free Universal Induction (Q3809800)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parameter-Free Universal Induction |
scientific article |
Statements
Parameter-Free Universal Induction (English)
0 references
1989
0 references
structural properties of nonstandard models
0 references
parameter-free induction of universal formulas
0 references
parameter-free induction of bounded-universal formulas
0 references
recursive models of arithmetic
0 references
Tennenbaum's theorem
0 references
bounded arithmetic
0 references
