Pages that link to "Item:Q2565986"

The following pages link to The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986):

Displaying 3 items.

• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
• Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)