Free abelian lattice-ordered groups

, &
Annals of Pure and Applied Logic 134 (2-3):265-283 (2005)
  Copy   BIBTEX

Abstract

Let n be a positive integer and FAℓ be the free abelian lattice-ordered group on n generators. We prove that FAℓ and FAℓ do not satisfy the same first-order sentences in the language if m≠n. We also show that is decidable iff n{1,2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2004.10.017

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.
Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups.Francis Oger - 2001 - Journal of Symbolic Logic 66 (3):1471-1480.
Borel reductions of profinite actions of SL n.Samuel Coskey - 2010 - Annals of Pure and Applied Logic 161 (10):1270-1279.
Finite automata presentable Abelian groups.André Nies & Pavel Semukhin - 2010 - Annals of Pure and Applied Logic 161 (3):458-467.
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (6):673-698.
Groups Definable in Ordered Vector Spaces over Ordered Division Rings.Pantelis E. Eleftheriou & Sergei Starchenko - 2007 - Journal of Symbolic Logic 72 (4):1108 - 1140.
The free n -generated BL-algebra.Stefano Aguzzoli & Simone Bova - 2010 - Annals of Pure and Applied Logic 161 (9):1144-1170.
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.
Definable groups in models of Presburger Arithmetic.Alf Onshuus & Mariana Vicaría - 2020 - Annals of Pure and Applied Logic 171 (6):102795.

Analytics

Added to PP
2014-01-16

Downloads
19 (#824,557)

6 months
6 (#588,740)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On free MV algerbras and problem of Tarski.Antonio Di Nola, Giacomo Lenzi & Gaetano Vitale - 2016 - Mathematical Logic Quarterly 62 (3):232-240.

Add more citations

References found in this work

Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
Elementary Properties of Abelian Groups.W. Szmielew - 1959 - Journal of Symbolic Logic 24 (1):59-59.

Add more references