The following pages link to Space of valuations (Q1006605):
Displaying 22 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- The basic Zariski topology (Q887823) (← links)
- Continuous valuations (Q1319324) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Valuative dimension and monomial orders (Q2178564) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- (Q3123662) (← links)
- Space Valuations Are Not Uniquely Determined by Their Centers (Q3158237) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- Un anneau de Prüfer (Q4682433) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Some further results on pointfree convex geometry (Q6193270) (← links)
- Valuative dimension, constructive points of view (Q6203783) (← links)
- Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky (Q6612778) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
