Pages that link to "Item:Q948908"

The following pages link to Harrington's conservation theorem redone (Q948908):

Displaying 2 items.

• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
• A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω (Q2921035) (← links)