Pages that link to "Item:Q1840999"

The following pages link to The interpretability logic of all reasonable arithmetical theories. The new conjecture (Q1840999):

Displaying 11 items.

• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• Transductions in arithmetic (Q904144) (← links)
• Pairs, sets and sequences in first-order theories (Q943342) (← links)
• The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica (Q1840429) (← links)
• Interpretability suprema in Peano arithmetic (Q2402961) (← links)
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
• A new principle in the interpretability logic of all reasonable arithmetical theories (Q3081234) (← links)
• Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147) (← links)
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
• Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)