Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026550138> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2026550138 endingPage "283" @default.
- W2026550138 startingPage "265" @default.
- W2026550138 abstract "Let n be a positive integer and FAℓ(n) be the free abelian lattice-ordered 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≠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." @default.
- W2026550138 created "2016-06-24" @default.
- W2026550138 creator A5006299976 @default.
- W2026550138 creator A5044413957 @default.
- W2026550138 creator A5046795804 @default.
- W2026550138 date "2005-07-01" @default.
- W2026550138 modified "2023-09-26" @default.
- W2026550138 title "Free abelian lattice-ordered groups" @default.
- W2026550138 cites W1608435027 @default.
- W2026550138 cites W1980189255 @default.
- W2026550138 cites W1981155305 @default.
- W2026550138 cites W1998162399 @default.
- W2026550138 cites W2051516180 @default.
- W2026550138 cites W2105505307 @default.
- W2026550138 cites W2327165662 @default.
- W2026550138 cites W2578368338 @default.
- W2026550138 cites W2799061192 @default.
- W2026550138 cites W296038034 @default.
- W2026550138 cites W298021319 @default.
- W2026550138 cites W629265671 @default.
- W2026550138 doi "https://doi.org/10.1016/j.apal.2004.10.017" @default.
- W2026550138 hasPublicationYear "2005" @default.
- W2026550138 type Work @default.
- W2026550138 sameAs 2026550138 @default.
- W2026550138 citedByCount "8" @default.
- W2026550138 countsByYear W20265501382012 @default.
- W2026550138 countsByYear W20265501382016 @default.
- W2026550138 countsByYear W20265501382017 @default.
- W2026550138 countsByYear W20265501382018 @default.
- W2026550138 countsByYear W20265501382020 @default.
- W2026550138 crossrefType "journal-article" @default.
- W2026550138 hasAuthorship W2026550138A5006299976 @default.
- W2026550138 hasAuthorship W2026550138A5044413957 @default.
- W2026550138 hasAuthorship W2026550138A5046795804 @default.
- W2026550138 hasBestOaLocation W20265501382 @default.
- W2026550138 hasConcept C10138342 @default.
- W2026550138 hasConcept C114614502 @default.
- W2026550138 hasConcept C118615104 @default.
- W2026550138 hasConcept C121332964 @default.
- W2026550138 hasConcept C136170076 @default.
- W2026550138 hasConcept C153269930 @default.
- W2026550138 hasConcept C162324750 @default.
- W2026550138 hasConcept C162860070 @default.
- W2026550138 hasConcept C182306322 @default.
- W2026550138 hasConcept C197623797 @default.
- W2026550138 hasConcept C199360897 @default.
- W2026550138 hasConcept C200681373 @default.
- W2026550138 hasConcept C24890656 @default.
- W2026550138 hasConcept C2781204021 @default.
- W2026550138 hasConcept C33923547 @default.
- W2026550138 hasConcept C41008148 @default.
- W2026550138 hasConcept C81008192 @default.
- W2026550138 hasConcept C97137487 @default.
- W2026550138 hasConceptScore W2026550138C10138342 @default.
- W2026550138 hasConceptScore W2026550138C114614502 @default.
- W2026550138 hasConceptScore W2026550138C118615104 @default.
- W2026550138 hasConceptScore W2026550138C121332964 @default.
- W2026550138 hasConceptScore W2026550138C136170076 @default.
- W2026550138 hasConceptScore W2026550138C153269930 @default.
- W2026550138 hasConceptScore W2026550138C162324750 @default.
- W2026550138 hasConceptScore W2026550138C162860070 @default.
- W2026550138 hasConceptScore W2026550138C182306322 @default.
- W2026550138 hasConceptScore W2026550138C197623797 @default.
- W2026550138 hasConceptScore W2026550138C199360897 @default.
- W2026550138 hasConceptScore W2026550138C200681373 @default.
- W2026550138 hasConceptScore W2026550138C24890656 @default.
- W2026550138 hasConceptScore W2026550138C2781204021 @default.
- W2026550138 hasConceptScore W2026550138C33923547 @default.
- W2026550138 hasConceptScore W2026550138C41008148 @default.
- W2026550138 hasConceptScore W2026550138C81008192 @default.
- W2026550138 hasConceptScore W2026550138C97137487 @default.
- W2026550138 hasIssue "2-3" @default.
- W2026550138 hasLocation W20265501381 @default.
- W2026550138 hasLocation W20265501382 @default.
- W2026550138 hasOpenAccess W2026550138 @default.
- W2026550138 hasPrimaryLocation W20265501381 @default.
- W2026550138 hasRelatedWork W1979800650 @default.
- W2026550138 hasRelatedWork W1984995159 @default.
- W2026550138 hasRelatedWork W2026550138 @default.
- W2026550138 hasRelatedWork W2149347892 @default.
- W2026550138 hasRelatedWork W2267387940 @default.
- W2026550138 hasRelatedWork W2963643837 @default.
- W2026550138 hasRelatedWork W2972052448 @default.
- W2026550138 hasRelatedWork W3100282338 @default.
- W2026550138 hasRelatedWork W4235995259 @default.
- W2026550138 hasRelatedWork W4241980181 @default.
- W2026550138 hasVolume "134" @default.
- W2026550138 isParatext "false" @default.
- W2026550138 isRetracted "false" @default.
- W2026550138 magId "2026550138" @default.
- W2026550138 workType "article" @default.