Pages that link to "Item:Q454368"
From MaRDI portal
The following pages link to The second incompleteness theorem and bounded interpretations (Q454368):
Displayed 4 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)