Pages that link to "Item:Q4315328"
From MaRDI portal
The following pages link to The Axiom of Choice in Second‐Order Predicate Logic (Q4315328):
Displaying 5 items.
- Determinate logic and the axiom of choice (Q2007876) (← links)
- Two roads to the successor axiom (Q2054138) (← links)
- A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE (Q4711501) (← links)
- A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC (Q6041339) (← links)
- Infinity, choice, and Hume's principle (Q6623819) (← links)