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):
Displaying 22 items.
- The second incompleteness theorem and bounded interpretations (Q454368) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- Faith \& falsity (Q705533) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← 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)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- Fixed point algebras (Q3333037) (← links)
- Kripke Models Built from Models of Arithmetic (Q3455186) (← links)
- Translating \(\text{I}\Delta_0+\exp\) proofs into weaker systems (Q4487252) (← links)
- On Wilkie and Paris’s notion of fullness (Q4615032) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
