A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s00153-009-0168-9 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2100332564 / rank | |||
Normal rank | |||
Revision as of 21:01, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on the theory of positive induction, \({{\text{ID}}^*_1}\) |
scientific article |
Statements
A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (English)
0 references
2 March 2010
0 references
This paper provides a proof-theoretic analysis of the theory \(\text{ID}_1^*\), an interesting restriction of the well-known theory \(\text{ID}_1\) of non-iterated inductive definitions, by use of \(\omega\)-model reflection. This method differs from the one used by Probst, who established the result earlier in [\textit{D. Probst}, ``The proof-theoretic analysis of transfinitely iterated quasi least fixed points'', J. Symb. Log. 71, No.~3, 721--746 (2006; Zbl 1115.03084)].
0 references
theories of inductive definitions
0 references
omega-model reflection
0 references
