Pages that link to "Item:Q2672666"
From MaRDI portal
The following pages link to A universal algorithm for Krull's theorem (Q2672666):
Displaying 8 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- On a theorem of Kronecker about algebraic varieties (Q1426642) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS (Q3622765) (← links)
- Security in Communication Networks (Q5491704) (← 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)