Pages that link to "Item:Q1311428"
From MaRDI portal
The following pages link to The logic of \(\Pi_ 1\)-conservativity continued (Q1311428):
Displaying 13 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- Transductions in arithmetic (Q904144) (← links)
- \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy (Q1262857) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- Rosser Orderings in Bimodal Logics (Q4206710) (← links)
- (Q4250049) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
