منابع مشابه
Free abelian lattice-ordered groups
Let n be a positive integer and FA`(n) be the free abelian latticeordered group on n generators. We prove that FA`(m) and FA`(n) do not satisfy the same first-order sentences in the language L={+,−, 0,∧,∨} if m 6= n. We also show that Th(FA`(n)) is decidable iff n ∈ {1, 2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices. A. M. S. C...
متن کاملSpectra of Abelian Weakly Associative Lattice Groups
The notion of a weakly associative lattice group is a generalization of that of a lattice ordered group in which the identities of associativity of the lattice operations join and meet are replaced by the identities of weak associativity. In the paper, the spectral topologies on the sets of straightening ideals (and on some of their subsets) of abelian weakly associative lattice groups are intr...
متن کاملFinitely Presented Abelian Lattice-Ordered Groups
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of generators is at most 3, then elementary equivalence implies isomorphism. We deduce from our methods that the theory of the free MV -algebra on at least 2 generators is undecidable.
متن کاملExistentially Complete Abelian Lattice-ordered Groups
The theory of abelian totally ordered groups has a model completion. We show that the theory of abelian lattice-ordered groups has no model companion. Indeed, the Archimedean property can be captured by a first order V3V sentence for existentially complete abelian lattice-ordered groups, and distinguishes between finitely generic abelian lattice-ordered groups and infinitely generic ones. We th...
متن کاملThe logic of equilibrium and abelian lattice ordered groups
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. “Truth values” are interpreted as deviations From a state of equilibrium, so in this sense, the theorems of Bal are to be interpreted as balanced statements, for which reason there is only one distinguished truth value, namely the one that represents...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2000
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-00-05706-3