Pages that link to "Item:Q749519"
From MaRDI portal
The following pages link to The logic of \(\Pi_ 1\)-conservativity (Q749519):
Displayed 7 items.
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Interpretability in PRA (Q1035648) (← links)
- The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← 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)