Pages that link to "Item:Q2672666"

The following pages link to A universal algorithm for Krull's theorem (Q2672666):

Displaying 3 items.

• Maximal ideals in countable rings, constructively (Q2104249) (← links)
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
• Maximal elements with minimal logic (Q6161463) (← links)