Pages that link to "Item:Q5024726"
From MaRDI portal
The following pages link to Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726):
Displaying 6 items.
- Towards formal Baer criteria (Q2099403) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
