Pages that link to "Item:Q5486242"
From MaRDI portal
The following pages link to Induction and inductive definitions in fragments of second order arithmetic (Q5486242):
Displaying 11 items.
- Elementary inductive definitions in HA: From strictly positive towards monotone (Q920089) (← links)
- Parameter-free polymorphic types (Q958481) (← links)
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) (Q1101106) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Fragments of HA based on \(\Sigma_ 1\)-induction (Q1920237) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
- (Q3025192) (← links)
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
