Pages that link to "Item:Q2565986"
From MaRDI portal
The following pages link to The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986):
Displaying 7 items.
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Interpretability in PRA (Q1035648) (← links)
- The closed fragment of IL is PSPACE hard (Q2825406) (← links)
- An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP (Q4008752) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
