The variety of lattice-ordered monoids generated by the natural numbers

Studia Logica 76 (2):275 - 290 (2004)
  Copy   BIBTEX

Abstract

We study the variety Var() of lattice-ordered monoids generated by the natural numbers. In particular, we show that it contains all 2-generated positively ordered lattice-ordered monoids satisfying appropriate distributive laws. Moreover, we establish that the cancellative totally ordered members of Var() are submonoids of ultrapowers of and can be embedded into ordered fields. In addition, the structure of ultrapowers relevant to the finitely generated case is analyzed. Finally, we provide a complete isomorphy invariant in the two-generated case.

Categories

Keywords

Reprint years

DOI

10.1023/b:stud.0000032088.17345.ea

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,599

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lattice-ordered Abelian groups and perfect mv-algebras: A topos-theoretic perspective.Olivia Caramello & Anna Carla Russo - 2016 - Bulletin of Symbolic Logic 22 (2):170-214.
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics.Juan Manuel Cornejo, Hernn Javier San Martín & Valeria Sígal - 2024 - Studia Logica 112 (4):861-891.
Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.
Basic hoops: An algebraic study of continuous T -norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.Jeffrey S. Olson - 2006 - Studia Logica 83 (1-3):393-406.
Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.
Axiomatic Extensions of IMT3 Logic.Joan Gispert & Antoni Torrens - 2005 - Studia Logica 81 (3):311-324.
Free abelian lattice-ordered groups.A. M. W. Glass, Angus Macintyre & Françoise Point - 2005 - Annals of Pure and Applied Logic 134 (2-3):265-283.
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable.Robin Hirsch - 2005 - Logic Journal of the IGPL 13 (2):159-171.
On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.

Analytics

Added to PP
2009-01-28

Downloads
43 (#573,885)

6 months
7 (#617,556)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.

Add more references