Pages that link to "Item:Q5107215"

The following pages link to TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215):

Displaying 11 items.

• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• Interpretability in PRA (Q1035648) (← links)
• The formalization of interpretability (Q1176098) (← links)
• A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
• The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica (Q1840429) (← links)
• The interpretability logic of all reasonable arithmetical theories. The new conjecture (Q1840999) (← links)
• Interpretability suprema in Peano arithmetic (Q2402961) (← links)
• Some correspondences of principles in interpretability logic (Q2785600) (← links)
• A new principle in the interpretability logic of all reasonable arithmetical theories (Q3081234) (← links)
• INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)