Pages that link to "Item:Q2921035"

The following pages link to A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω (Q2921035):

Displaying 2 items.

• Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
• On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)