Pages that link to "Item:Q1979322"
From MaRDI portal
The following pages link to Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322):
Displaying 10 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Krull dimension, Nullstellensätze and dynamical evaluation (Q1433399) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS (Q3622765) (← links)
- (Q4214860) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)