Pages that link to "Item:Q1756596"
From MaRDI portal
The following pages link to Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596):
Displayed 8 items.
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)