Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009230039> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2009230039 abstract "Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even within the class of algebras with only unary operations. However, it is proven that a finitely generated subalgebra of an FA-presentable algebra with a single unary operation is itself FA-presentable. Furthermore, it is proven that the class of unary FA-presentable algebras is closed under forming finitely generated subalgebras, and that the membership problem for such subalgebras is decidable." @default.
- W2009230039 created "2016-06-24" @default.
- W2009230039 creator A5055005423 @default.
- W2009230039 creator A5076978470 @default.
- W2009230039 date "2014-06-21" @default.
- W2009230039 modified "2023-10-07" @default.
- W2009230039 title "Subalgebras of FA-presentable algebras" @default.
- W2009230039 cites W1501737527 @default.
- W2009230039 cites W1517606395 @default.
- W2009230039 cites W1523718026 @default.
- W2009230039 cites W1816620374 @default.
- W2009230039 cites W2025670714 @default.
- W2009230039 cites W2033186040 @default.
- W2009230039 cites W2041470989 @default.
- W2009230039 cites W2109496763 @default.
- W2009230039 cites W2147596124 @default.
- W2009230039 cites W2149138990 @default.
- W2009230039 cites W2166285859 @default.
- W2009230039 cites W4212972664 @default.
- W2009230039 doi "https://doi.org/10.1007/s00012-014-0293-0" @default.
- W2009230039 hasPublicationYear "2014" @default.
- W2009230039 type Work @default.
- W2009230039 sameAs 2009230039 @default.
- W2009230039 citedByCount "0" @default.
- W2009230039 crossrefType "journal-article" @default.
- W2009230039 hasAuthorship W2009230039A5055005423 @default.
- W2009230039 hasAuthorship W2009230039A5076978470 @default.
- W2009230039 hasBestOaLocation W20092300392 @default.
- W2009230039 hasConcept C118615104 @default.
- W2009230039 hasConcept C136119220 @default.
- W2009230039 hasConcept C153269930 @default.
- W2009230039 hasConcept C154945302 @default.
- W2009230039 hasConcept C162860070 @default.
- W2009230039 hasConcept C202444582 @default.
- W2009230039 hasConcept C2777212361 @default.
- W2009230039 hasConcept C33923547 @default.
- W2009230039 hasConcept C41008148 @default.
- W2009230039 hasConcept C67996461 @default.
- W2009230039 hasConcept C78023250 @default.
- W2009230039 hasConceptScore W2009230039C118615104 @default.
- W2009230039 hasConceptScore W2009230039C136119220 @default.
- W2009230039 hasConceptScore W2009230039C153269930 @default.
- W2009230039 hasConceptScore W2009230039C154945302 @default.
- W2009230039 hasConceptScore W2009230039C162860070 @default.
- W2009230039 hasConceptScore W2009230039C202444582 @default.
- W2009230039 hasConceptScore W2009230039C2777212361 @default.
- W2009230039 hasConceptScore W2009230039C33923547 @default.
- W2009230039 hasConceptScore W2009230039C41008148 @default.
- W2009230039 hasConceptScore W2009230039C67996461 @default.
- W2009230039 hasConceptScore W2009230039C78023250 @default.
- W2009230039 hasLocation W20092300391 @default.
- W2009230039 hasLocation W20092300392 @default.
- W2009230039 hasLocation W20092300393 @default.
- W2009230039 hasLocation W20092300394 @default.
- W2009230039 hasOpenAccess W2009230039 @default.
- W2009230039 hasPrimaryLocation W20092300391 @default.
- W2009230039 hasRelatedWork W1505964586 @default.
- W2009230039 hasRelatedWork W1525514552 @default.
- W2009230039 hasRelatedWork W1596120363 @default.
- W2009230039 hasRelatedWork W1970294481 @default.
- W2009230039 hasRelatedWork W197179519 @default.
- W2009230039 hasRelatedWork W1972183506 @default.
- W2009230039 hasRelatedWork W1992234386 @default.
- W2009230039 hasRelatedWork W2017531368 @default.
- W2009230039 hasRelatedWork W2022554132 @default.
- W2009230039 hasRelatedWork W2028822621 @default.
- W2009230039 hasRelatedWork W2032829402 @default.
- W2009230039 hasRelatedWork W2085135455 @default.
- W2009230039 hasRelatedWork W2093218799 @default.
- W2009230039 hasRelatedWork W2275240019 @default.
- W2009230039 hasRelatedWork W2394512717 @default.
- W2009230039 hasRelatedWork W2524826070 @default.
- W2009230039 hasRelatedWork W2528103913 @default.
- W2009230039 hasRelatedWork W2599480757 @default.
- W2009230039 hasRelatedWork W3099647140 @default.
- W2009230039 hasRelatedWork W3106192713 @default.
- W2009230039 isParatext "false" @default.
- W2009230039 isRetracted "false" @default.
- W2009230039 magId "2009230039" @default.
- W2009230039 workType "article" @default.