Bounded existential induction (Q3772192)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bounded existential induction |
scientific article |
Statements
Bounded existential induction (English)
0 references
1985
0 references
bounded arithmetic
0 references
models of arithmetic
0 references
recursive models
0 references
recursively saturated models
0 references
Presburger arithmetic
0 references
arithmetic with bounded existential induction
0 references
Paris-Wilkie's \(\Delta _ 0\)-hierarchy
0 references
