Pages that link to "Item:Q3206949"

The following pages link to Partially Conservative Extensions of Arithmetic (Q3206949):

Displaying 21 items.

• A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
• On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
• The provability logic for \(\Sigma_ 1\)-interpolability (Q688429) (← links)
• The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
• The formalization of interpretability (Q1176098) (← links)
• The logic of linear tolerance (Q1207342) (← links)
• On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
• A course on bimodal provability logic (Q1891253) (← links)
• On Guaspari's problem about partially conservative sentences (Q2120971) (← links)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
• Interpretability suprema in Peano arithmetic (Q2402961) (← links)
• Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
• Fixed point algebras (Q3333037) (← links)
• Lindenbaum Algebras and Partial Conservativity (Q4724620) (← links)
• CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
• HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
• MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
• Some observations on the FGH theorem (Q6057622) (← links)
• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370) (← links)