Pages that link to "Item:Q1068069"
From MaRDI portal
The following pages link to The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069):
Displayed 14 items.
- Generic generalized Rosser fixed points (Q1099165) (← links)
- The formalization of interpretability (Q1176098) (← links)
- A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
- Independent numerations of theories and recursive progressions (Q1204765) (← links)
- Provability logic without Craig's interpolation property (Q1263572) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- Uniform arithmetical completeness of modal provability logics (Q2277453) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- On first-order theories with provability operator (Q4323033) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)