Pages that link to "Item:Q1893136"
From MaRDI portal
The following pages link to A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136):
Displaying 4 items.
- Transductions in arithmetic (Q904144) (← links)
- The logic of tasks (Q1849860) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
