Pages that link to "Item:Q2445023"
From MaRDI portal
The following pages link to A constructive notion of codimension (Q2445023):
Displaying 10 items.
- The basic Zariski topology (Q887823) (← links)
- Dimension of Boolean valued lattices and rings (Q1080938) (← links)
- Krull dimension, Nullstellensätze and dynamical evaluation (Q1433399) (← links)
- Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
- A note on connected reduced rings (Q2074409) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- A Correspondence Principle for Exact Constructive Dimension (Q2904465) (← links)
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS (Q3622765) (← links)
- Construction of a Coideal of a Ring Compatible with a Principal Ideal (Q3830997) (← links)
- A Characterization of Constructive Dimension (Q4918047) (← links)