Matches in SemOpenAlex for { <https://semopenalex.org/work/W16450022> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W16450022 abstract "Publisher Summary This chapter examines the varieties generated by quasi-primal algebras have decidable theories. A finite algebra P that does only depend on u and not on the sheaf or its base space such that the sheaf started with can be embedded as a subsheaf in the constant sheaf with stalks P and the same base space. The sheaf-representations are considered provided the represented algebra is countable. Applying the techniques and using Comer's decidability result, the decidability of the theories of all varieties that are generated by a weakly independent set of quasi-primal algebras is established. The chapter presents some known examples of decidable theories that appear as special cases and some new decidable theories such as infinitely many varieties of cylindric algebras with decidable theories." @default.
- W16450022 created "2016-06-24" @default.
- W16450022 creator A5087224325 @default.
- W16450022 date "1977-01-01" @default.
- W16450022 modified "2023-09-25" @default.
- W16450022 title "VARIETIES GENERATED BY QUASI-PRIMAL ALGEBRAS HAVE DECIDABLE THEORIES" @default.
- W16450022 cites W190595227 @default.
- W16450022 cites W1992205482 @default.
- W16450022 cites W2008718740 @default.
- W16450022 cites W2060978209 @default.
- W16450022 cites W2071476325 @default.
- W16450022 cites W2120472539 @default.
- W16450022 cites W2162583406 @default.
- W16450022 cites W2315064349 @default.
- W16450022 cites W2315217431 @default.
- W16450022 cites W2531105734 @default.
- W16450022 cites W2614746526 @default.
- W16450022 doi "https://doi.org/10.1016/b978-0-7204-0725-9.50043-5" @default.
- W16450022 hasPublicationYear "1977" @default.
- W16450022 type Work @default.
- W16450022 sameAs 16450022 @default.
- W16450022 citedByCount "4" @default.
- W16450022 countsByYear W164500222018 @default.
- W16450022 crossrefType "book-chapter" @default.
- W16450022 hasAuthorship W16450022A5087224325 @default.
- W16450022 hasConcept C110729354 @default.
- W16450022 hasConcept C111919701 @default.
- W16450022 hasConcept C118615104 @default.
- W16450022 hasConcept C134306372 @default.
- W16450022 hasConcept C136119220 @default.
- W16450022 hasConcept C153269930 @default.
- W16450022 hasConcept C202444582 @default.
- W16450022 hasConcept C2778572836 @default.
- W16450022 hasConcept C33923547 @default.
- W16450022 hasConcept C4017995 @default.
- W16450022 hasConcept C41008148 @default.
- W16450022 hasConcept C42058472 @default.
- W16450022 hasConceptScore W16450022C110729354 @default.
- W16450022 hasConceptScore W16450022C111919701 @default.
- W16450022 hasConceptScore W16450022C118615104 @default.
- W16450022 hasConceptScore W16450022C134306372 @default.
- W16450022 hasConceptScore W16450022C136119220 @default.
- W16450022 hasConceptScore W16450022C153269930 @default.
- W16450022 hasConceptScore W16450022C202444582 @default.
- W16450022 hasConceptScore W16450022C2778572836 @default.
- W16450022 hasConceptScore W16450022C33923547 @default.
- W16450022 hasConceptScore W16450022C4017995 @default.
- W16450022 hasConceptScore W16450022C41008148 @default.
- W16450022 hasConceptScore W16450022C42058472 @default.
- W16450022 hasLocation W164500221 @default.
- W16450022 hasOpenAccess W16450022 @default.
- W16450022 hasPrimaryLocation W164500221 @default.
- W16450022 hasRelatedWork W104091527 @default.
- W16450022 hasRelatedWork W1512669024 @default.
- W16450022 hasRelatedWork W1556262405 @default.
- W16450022 hasRelatedWork W1593006801 @default.
- W16450022 hasRelatedWork W197179519 @default.
- W16450022 hasRelatedWork W1992702120 @default.
- W16450022 hasRelatedWork W1993804761 @default.
- W16450022 hasRelatedWork W2005916591 @default.
- W16450022 hasRelatedWork W2023793207 @default.
- W16450022 hasRelatedWork W2032829402 @default.
- W16450022 hasRelatedWork W2049482213 @default.
- W16450022 hasRelatedWork W2064143133 @default.
- W16450022 hasRelatedWork W2182354728 @default.
- W16450022 hasRelatedWork W2293454910 @default.
- W16450022 hasRelatedWork W2783611661 @default.
- W16450022 hasRelatedWork W2897526535 @default.
- W16450022 hasRelatedWork W3099647140 @default.
- W16450022 hasRelatedWork W3106192713 @default.
- W16450022 hasRelatedWork W3159119048 @default.
- W16450022 hasRelatedWork W2289946635 @default.
- W16450022 isParatext "false" @default.
- W16450022 isRetracted "false" @default.
- W16450022 magId "16450022" @default.
- W16450022 workType "book-chapter" @default.