The following pages link to MARGINALIA ON A THEOREM OF WOODIN (Q5738208):
Displaying 3 items.
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- THE Σ<sub>1</sub>-DEFINABLE UNIVERSAL FINITE SEQUENCE (Q5082064) (← links)
