Pages that link to "Item:Q2545877"
From MaRDI portal
The following pages link to Representability in some systems of second order arithmetic (Q2545877):
Displaying 5 items.
- On computability with functionals (Q1212452) (← links)
- Recursion in Kolmogorov's <i>R</i>-operator and the ordinal <i>σ</i><sub>3</sub> (Q3792676) (← links)
- Recursion in a quantifier vs. elementary induction (Q3861374) (← links)
- Hyperarithmetically Encodable Sets (Q4198744) (← links)
- A proof of Grilliot's theorem (Q6545484) (← links)