Structure and definability in general bounded arithmetic theories (Q1125060)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1371590
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Structure and definability in general bounded arithmetic theories |
scientific article; zbMATH DE number 1371590 |
Statements
Structure and definability in general bounded arithmetic theories (English)
0 references
9 May 2000
0 references
The paper is devoted to the study of bounded arithmetic theories. The main problems studied are motivated by the following questions: (1) What are the \(\Sigma^b_{i+1}\)-definable multifunctions of \(R^i_2\)? (2) When is one theory conservative over another? To answer these questions, versions of the theories \(R^i_2\), \(S^i_2\) and \(T^i_2\) with induction restricted to prenex formulas are introduced and studied.
0 references
definability
0 references
conservativity
0 references
bounded arithmetic theories
0 references
induction
0 references
0.93047214
0 references
0.9086649
0 references
0.9073093
0 references
0.9061271
0 references
0.9057119
0 references
0.90381557
0 references
0.90329766
0 references
