Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007040251> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2007040251 endingPage "224" @default.
- W2007040251 startingPage "207" @default.
- W2007040251 abstract "Abstract With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski's axioms for relation algebras and Lyndon algebras thus form an interesting connection between the fields of projective geometry and algebraic logic. In this paper we prove that if G is a class of projective geometries which contains an infinite projective geometry of dimension at least three, then the class L(G) of Lyndon algebras associated with projective geometries in G has an undecidable equational theory. In our proof we develop and use a connection between projective geometries and diagonal-free cylindric algebras." @default.
- W2007040251 created "2016-06-24" @default.
- W2007040251 creator A5002426135 @default.
- W2007040251 creator A5068240928 @default.
- W2007040251 date "2001-03-01" @default.
- W2007040251 modified "2023-09-25" @default.
- W2007040251 title "Undecidable theories of Lyndon algebras" @default.
- W2007040251 cites W1481249376 @default.
- W2007040251 cites W1988376188 @default.
- W2007040251 cites W1992205482 @default.
- W2007040251 cites W2033274602 @default.
- W2007040251 cites W2037264117 @default.
- W2007040251 cites W2059354551 @default.
- W2007040251 cites W2140357412 @default.
- W2007040251 doi "https://doi.org/10.2307/2694918" @default.
- W2007040251 hasPublicationYear "2001" @default.
- W2007040251 type Work @default.
- W2007040251 sameAs 2007040251 @default.
- W2007040251 citedByCount "1" @default.
- W2007040251 crossrefType "journal-article" @default.
- W2007040251 hasAuthorship W2007040251A5002426135 @default.
- W2007040251 hasAuthorship W2007040251A5068240928 @default.
- W2007040251 hasBestOaLocation W20070402512 @default.
- W2007040251 hasConcept C117220453 @default.
- W2007040251 hasConcept C118615104 @default.
- W2007040251 hasConcept C13355873 @default.
- W2007040251 hasConcept C136119220 @default.
- W2007040251 hasConcept C153269930 @default.
- W2007040251 hasConcept C154945302 @default.
- W2007040251 hasConcept C167729594 @default.
- W2007040251 hasConcept C185362025 @default.
- W2007040251 hasConcept C192034797 @default.
- W2007040251 hasConcept C202444582 @default.
- W2007040251 hasConcept C2524010 @default.
- W2007040251 hasConcept C2777212361 @default.
- W2007040251 hasConcept C33923547 @default.
- W2007040251 hasConcept C39290043 @default.
- W2007040251 hasConcept C41008148 @default.
- W2007040251 hasConcept C68363185 @default.
- W2007040251 hasConceptScore W2007040251C117220453 @default.
- W2007040251 hasConceptScore W2007040251C118615104 @default.
- W2007040251 hasConceptScore W2007040251C13355873 @default.
- W2007040251 hasConceptScore W2007040251C136119220 @default.
- W2007040251 hasConceptScore W2007040251C153269930 @default.
- W2007040251 hasConceptScore W2007040251C154945302 @default.
- W2007040251 hasConceptScore W2007040251C167729594 @default.
- W2007040251 hasConceptScore W2007040251C185362025 @default.
- W2007040251 hasConceptScore W2007040251C192034797 @default.
- W2007040251 hasConceptScore W2007040251C202444582 @default.
- W2007040251 hasConceptScore W2007040251C2524010 @default.
- W2007040251 hasConceptScore W2007040251C2777212361 @default.
- W2007040251 hasConceptScore W2007040251C33923547 @default.
- W2007040251 hasConceptScore W2007040251C39290043 @default.
- W2007040251 hasConceptScore W2007040251C41008148 @default.
- W2007040251 hasConceptScore W2007040251C68363185 @default.
- W2007040251 hasIssue "01" @default.
- W2007040251 hasLocation W20070402511 @default.
- W2007040251 hasLocation W20070402512 @default.
- W2007040251 hasOpenAccess W2007040251 @default.
- W2007040251 hasPrimaryLocation W20070402511 @default.
- W2007040251 hasRelatedWork W1572941424 @default.
- W2007040251 hasRelatedWork W2004553964 @default.
- W2007040251 hasRelatedWork W2007040251 @default.
- W2007040251 hasRelatedWork W2076508657 @default.
- W2007040251 hasRelatedWork W2399577811 @default.
- W2007040251 hasRelatedWork W2577847642 @default.
- W2007040251 hasRelatedWork W2912017050 @default.
- W2007040251 hasRelatedWork W3100042047 @default.
- W2007040251 hasRelatedWork W58614838 @default.
- W2007040251 hasRelatedWork W951059644 @default.
- W2007040251 hasVolume "66" @default.
- W2007040251 isParatext "false" @default.
- W2007040251 isRetracted "false" @default.
- W2007040251 magId "2007040251" @default.
- W2007040251 workType "article" @default.