Pages that link to "Item:Q1262309"
From MaRDI portal
The following pages link to Peano's smart children: A provability logical study of systems with built-in consistency (Q1262309):
Displaying 14 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
