Pages that link to "Item:Q1893136"

The following pages link to A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136):

Displaying 10 items.

• The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
• Transductions in arithmetic (Q904144) (← links)
• On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness (Q1182692) (← links)
• A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
• The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
• The logic of tasks (Q1849860) (← links)
• A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758) (← 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)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)