Pages that link to "Item:Q2575772"
From MaRDI portal
The following pages link to Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772):
Displaying 13 items.
- 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)
- Cut elimination for entailment relations (Q2312091) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- Un anneau de Prüfer (Q4682433) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Spectral Spaces Versus Distributive Lattices: A Dictionary (Q5119701) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Valuative dimension, constructive points of view (Q6203783) (← links)
