Pages that link to "Item:Q5448619"

The following pages link to The natural numbers in constructive set theory (Q5448619):

Displaying 3 items.

• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
• Constructive Ackermann's interpretation (Q2120969) (← links)
• Extending constructive operational set theory by impredicative principles (Q3008060) (← links)