The following pages link to A smart child of Peano's (Q1344434):
Displayed 13 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← 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)