Pages that link to "Item:Q3481685"
From MaRDI portal
The following pages link to On recursion theory in <i>IΣ</i><sub>1</sub> (Q3481685):
Displaying 4 items.
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$ (Q3807195) (← links)
- THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (Q4647115) (← links)