Pages that link to "Item:Q3523183"

The following pages link to Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0 (Q3523183):

Displaying 2 items.

• The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
• Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)