Pages that link to "Item:Q4736173"

The following pages link to Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings (Q4736173):

Displaying 39 items.

• A universal Krull-Lindenbaum theorem (Q273003) (← links)
• Priestley-type dualities for partially ordered structures (Q290644) (← links)
• Krull dimension and monomial orders (Q397891) (← links)
• The Gröbner ring conjecture in one variable (Q415466) (← links)
• On the leading terms ideals of polynomial ideals over a valuation ring (Q427775) (← links)
• A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
• A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← links)
• Free equivalential algebras (Q952484) (← links)
• Dynamical Gröbner bases over Dedekind rings (Q984989) (← links)
• Space of valuations (Q1006605) (← links)
• On a theorem of Kronecker about algebraic varieties (Q1426642) (← links)
• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.) (Q1887479) (← links)
• A negative answer to a question about leading terms ideals of polynomial ideals (Q1936114) (← links)
• Cut elimination for entailment relations (Q2312091) (← links)
• Spectral schemes as ringed lattices (Q2379681) (← links)
• A constructive notion of codimension (Q2445023) (← links)
• Seminormal rings (following Thierry Coquand) (Q2476016) (← links)
• Making the use of maximal ideals constructive (Q2476020) (← links)
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa (Q2481800) (← 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)
• Formal Zariski topology: Positivity and points (Q2575775) (← links)
• The Gröbner ring conjecture in the lexicographic order case (Q2636958) (← links)
• Radical theory of Scott-open filters (Q2682912) (← links)
• Point-Free Spectra of Linear Spreads (Q3305641) (← links)
• Projective modules over polynomial rings: a constructive approach (Q3634628) (← links)
• (Q4553278) (← links)
• KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
• (Q4681541) (← links)
• Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• Spectral Spaces Versus Distributive Lattices: A Dictionary (Q5119701) (← links)
• First steps going down on algebraic frames (Q5158037) (← links)
• Studying the Krull dimension of finite lattices under the prism of matrices (Q5161715) (← links)
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
• (Q5437178) (← links)
• Valuative dimension, constructive points of view (Q6203783) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)