Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023847822> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2023847822 endingPage "828" @default.
- W2023847822 startingPage "811" @default.
- W2023847822 abstract "Abstract A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable. This is equivalent to saying that the full complex algebra of the atom structure is a representable cylindric algebra. We show that for any finite n ≥ 3, the class of all strongly representable n -dimensional cylindric algebra atom structures is not closed under ultraproducts and is therefore not elementary. Our proof is based on the following construction. From an arbitrary undirected, loop-free graph Γ, we construct an n -dimensional atom structure , and prove, for infinite Γ, that is a strongly representable cylindric algebra atom structure if and only if the chromatic number of Γ is infinite. A construction of Erdős shows that there are graphs Γ k ( k < ω ) with infinite chromatic number, but having a non-principal ultraproduct Π D Γ k whose chromatic number is just two. It follows that is strongly representable (each k < ω ) but is not." @default.
- W2023847822 created "2016-06-24" @default.
- W2023847822 creator A5009832059 @default.
- W2023847822 creator A5076274772 @default.
- W2023847822 date "2009-09-01" @default.
- W2023847822 modified "2023-10-14" @default.
- W2023847822 title "Strongly representable atom structures of cylindric algebras" @default.
- W2023847822 cites W1544936696 @default.
- W2023847822 cites W16761111 @default.
- W2023847822 cites W1968888224 @default.
- W2023847822 cites W1991748341 @default.
- W2023847822 cites W2013191336 @default.
- W2023847822 cites W2032543872 @default.
- W2023847822 cites W2033831844 @default.
- W2023847822 cites W2095689360 @default.
- W2023847822 cites W2115916694 @default.
- W2023847822 cites W2120627125 @default.
- W2023847822 cites W2142326607 @default.
- W2023847822 cites W2165661406 @default.
- W2023847822 cites W2315064349 @default.
- W2023847822 cites W4229970255 @default.
- W2023847822 doi "https://doi.org/10.2178/jsl/1245158086" @default.
- W2023847822 hasPublicationYear "2009" @default.
- W2023847822 type Work @default.
- W2023847822 sameAs 2023847822 @default.
- W2023847822 citedByCount "20" @default.
- W2023847822 countsByYear W20238478222012 @default.
- W2023847822 countsByYear W20238478222013 @default.
- W2023847822 countsByYear W20238478222014 @default.
- W2023847822 countsByYear W20238478222015 @default.
- W2023847822 countsByYear W20238478222018 @default.
- W2023847822 countsByYear W20238478222020 @default.
- W2023847822 crossrefType "journal-article" @default.
- W2023847822 hasAuthorship W2023847822A5009832059 @default.
- W2023847822 hasAuthorship W2023847822A5076274772 @default.
- W2023847822 hasBestOaLocation W20238478222 @default.
- W2023847822 hasConcept C114614502 @default.
- W2023847822 hasConcept C118615104 @default.
- W2023847822 hasConcept C149635348 @default.
- W2023847822 hasConcept C167930466 @default.
- W2023847822 hasConcept C202444582 @default.
- W2023847822 hasConcept C33923547 @default.
- W2023847822 hasConcept C41008148 @default.
- W2023847822 hasConcept C58312451 @default.
- W2023847822 hasConceptScore W2023847822C114614502 @default.
- W2023847822 hasConceptScore W2023847822C118615104 @default.
- W2023847822 hasConceptScore W2023847822C149635348 @default.
- W2023847822 hasConceptScore W2023847822C167930466 @default.
- W2023847822 hasConceptScore W2023847822C202444582 @default.
- W2023847822 hasConceptScore W2023847822C33923547 @default.
- W2023847822 hasConceptScore W2023847822C41008148 @default.
- W2023847822 hasConceptScore W2023847822C58312451 @default.
- W2023847822 hasIssue "3" @default.
- W2023847822 hasLocation W20238478221 @default.
- W2023847822 hasLocation W20238478222 @default.
- W2023847822 hasLocation W20238478223 @default.
- W2023847822 hasLocation W20238478224 @default.
- W2023847822 hasLocation W20238478225 @default.
- W2023847822 hasOpenAccess W2023847822 @default.
- W2023847822 hasPrimaryLocation W20238478221 @default.
- W2023847822 hasRelatedWork W1557945163 @default.
- W2023847822 hasRelatedWork W1978042415 @default.
- W2023847822 hasRelatedWork W1985218657 @default.
- W2023847822 hasRelatedWork W2017331178 @default.
- W2023847822 hasRelatedWork W2096753949 @default.
- W2023847822 hasRelatedWork W2976797620 @default.
- W2023847822 hasRelatedWork W3081460590 @default.
- W2023847822 hasRelatedWork W3086542228 @default.
- W2023847822 hasRelatedWork W3106133691 @default.
- W2023847822 hasRelatedWork W4249580765 @default.
- W2023847822 hasVolume "74" @default.
- W2023847822 isParatext "false" @default.
- W2023847822 isRetracted "false" @default.
- W2023847822 magId "2023847822" @default.
- W2023847822 workType "article" @default.