Bounded existential induction (Q3772192)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bounded existential induction |
scientific article; zbMATH DE number 4031652
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bounded existential induction |
scientific article; zbMATH DE number 4031652 |
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
0.8691050410270691
0 references
0.7735435366630554
0 references
0.7665725350379944
0 references
0.7640464305877686
0 references
0.7634115815162659
0 references