Pages that link to "Item:Q5561955"

The following pages link to Deduction-preserving “recursive isomorphisms” between theories (Q5561955):

Displaying 4 items.

• On the degree spectrum of a $\Pi ^0_1$ class (Q3053473) (← links)
• (Q5015363) (← links)
• A survey of proof theory (Q5569099) (← links)
• Effectively extensible theories (Q5569450) (← links)