Lattice-ordered groups generated by an ordered group and regular systems of ideals

DOI10.1216/RMJ-2019-49-5-1449zbMath1496.06018arXiv1701.05115OpenAlexW2974285376MaRDI QIDQ2326029

Stefan Neuwirth, Thierry Coquand, Henri Lombardi

Publication date: 4 October 2019

Published in: Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1701.05115

zbMATH Keywords

ordered groupordered monoidcancellativitysystem of idealsequivariant system of idealsfundamentalsatz for integral domainsGrothendieck \(\ell\)-groupLorenzen-Clifford-Dieudonné theoremmorphism from an ordered group to a lattice-ordered groupmorphism from an ordered monoid to a meet-semilattice-ordered monoidregular entailment relationregular system of idealsunbounded entailment relation

Mathematics Subject Classification ID

Integral closure of commutative rings and ideals (13B22) Ideals and multiplicative ideal theory in commutative rings (13A15) Ordered semigroups and monoids (06F05) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items (10)

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Point-Free Spectra of Linear Spreads ⋮ Ribenboim's order extension theorem from a constructive point of view ⋮ Cut elimination for entailment relations ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Lorenzen and Constructive Mathematics ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ Regular Entailment Relations ⋮ Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A course in constructive algebra
• Algebraic foundations of many-valued reasoning
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Abstrakte Begründung der multiplikativen Idealtheorie
• Partially ordered abelian groups
• Teilbarkeitstheorie in Bereichen
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• Untersuchungen über Teilbarkeitseigenschaften in Körpern.
• Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953)
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Sur la théorie de la divisibilité
• Algebraische und logistische Untersuchungen über freie Verbände
• Über halbgeordnete Gruppen
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: Lattice-ordered groups generated by an ordered group and regular systems of ideals