The following pages link to (Q3739120):
Displayed 4 items.
- The second incompleteness theorem and bounded interpretations (Q454368) (← links)
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- A note on proofs of falsehood (Q3770530) (← links)