Pages that link to "Item:Q4008752"
From MaRDI portal
The following pages link to 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):
Displayed 6 items.
- Faith \& falsity (Q705533) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- Fixed point algebras (Q3333037) (← links)