The following pages link to Davide Rinaldi (Q273001):
Displayed 10 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- The basic Zariski topology (Q887823) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- (Q4553278) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)