Pages that link to "Item:Q5055281"

The following pages link to Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281):

Displaying 2 items.

• Hilbert’s Axiomatisches Denken (Q5057047) (← links)
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)