Ribenboim's order extension theorem from a constructive point of view
From MaRDI portal
Publication:2283062
DOI10.1007/s00012-019-0634-0OpenAlexW2996207370WikidataQ114693087 ScholiaQ114693087MaRDI QIDQ2283062
Roberta Bonacina, Daniel Wessel
Publication date: 27 December 2019
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-019-0634-0
Logical aspects of lattices and related structures (03G10) Other constructive mathematics (03F65) Ordered rings, algebras, modules (06F25)
Related Items (1)
Cites Work
- A course in constructive algebra
- Cut elimination for entailment relations
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Teilbarkeitstheorie in Bereichen
- On the extension of orders in ordered modules
- On the extension of orders in ordered modules: Corrigenda
- A remark on Ribenboim's paper ‘On the extension of orders in ordered modules’
- A final remark on extending to strict total orders in modules
- Algebraische und logistische Untersuchungen über freie Verbände
- Dynamical method in algebra: Effective Nullstellensätze
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Ribenboim's order extension theorem from a constructive point of view
