Pages that link to "Item:Q1423638"
From MaRDI portal
The following pages link to Some new intuitionistic equivalents of Zorn's Lemma (Q1423638):
Displaying 5 items.
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- (Q4208511) (← links)
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories (Q4382475) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)