FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1921285307> ?p ?o ?g. }

• W1921285307 abstract "The only C*-algebras that admit elimination of quantifiers in continuous logic are $mathbb{C}, mathbb{C}^2$, $C($Cantor space$)$ and $M_2(mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(mathcal {O_{n+1}})$ is not $forallexists$-axiomatizable for any $ngeq 2$." @default.
• W1921285307 created "2016-06-24" @default.
• W1921285307 creator A5032121818 @default.
• W1921285307 creator A5071168027 @default.
• W1921285307 creator A5073593778 @default.
• W1921285307 creator A5077980650 @default.
• W1921285307 date "2015-02-02" @default.
• W1921285307 modified "2023-10-03" @default.
• W1921285307 title "Quantifier elimination in C*-algebras" @default.
• W1921285307 cites W1496860142 @default.
• W1921285307 cites W1499179478 @default.
• W1921285307 cites W1508572565 @default.
• W1921285307 cites W1542113445 @default.
• W1921285307 cites W1546322230 @default.
• W1921285307 cites W1968436506 @default.
• W1921285307 cites W1976554830 @default.
• W1921285307 cites W1985060913 @default.
• W1921285307 cites W1996955708 @default.
• W1921285307 cites W2001798259 @default.
• W1921285307 cites W2025402786 @default.
• W1921285307 cites W2035501532 @default.
• W1921285307 cites W2040471596 @default.
• W1921285307 cites W2042427789 @default.
• W1921285307 cites W2054169531 @default.
• W1921285307 cites W2062179063 @default.
• W1921285307 cites W2076664125 @default.
• W1921285307 cites W2078212057 @default.
• W1921285307 cites W2133649814 @default.
• W1921285307 cites W2157412138 @default.
• W1921285307 cites W2167217619 @default.
• W1921285307 cites W2171661581 @default.
• W1921285307 cites W2250061829 @default.
• W1921285307 cites W2282481122 @default.
• W1921285307 cites W2334450615 @default.
• W1921285307 cites W2576128646 @default.
• W1921285307 cites W2623067578 @default.
• W1921285307 cites W2799061192 @default.
• W1921285307 cites W2963768093 @default.
• W1921285307 cites W793165745 @default.
• W1921285307 hasPublicationYear "2015" @default.
• W1921285307 type Work @default.
• W1921285307 sameAs 1921285307 @default.
• W1921285307 citedByCount "5" @default.
• W1921285307 countsByYear W19212853072014 @default.
• W1921285307 countsByYear W19212853072015 @default.
• W1921285307 countsByYear W19212853072016 @default.
• W1921285307 countsByYear W19212853072019 @default.
• W1921285307 crossrefType "posted-content" @default.
• W1921285307 hasAuthorship W1921285307A5032121818 @default.
• W1921285307 hasAuthorship W1921285307A5071168027 @default.
• W1921285307 hasAuthorship W1921285307A5073593778 @default.
• W1921285307 hasAuthorship W1921285307A5077980650 @default.
• W1921285307 hasConcept C111472728 @default.
• W1921285307 hasConcept C114614502 @default.
• W1921285307 hasConcept C118615104 @default.
• W1921285307 hasConcept C136119220 @default.
• W1921285307 hasConcept C138885662 @default.
• W1921285307 hasConcept C202444582 @default.
• W1921285307 hasConcept C2778523021 @default.
• W1921285307 hasConcept C2778572836 @default.
• W1921285307 hasConcept C32278780 @default.
• W1921285307 hasConcept C33923547 @default.
• W1921285307 hasConcept C41895202 @default.
• W1921285307 hasConceptScore W1921285307C111472728 @default.
• W1921285307 hasConceptScore W1921285307C114614502 @default.
• W1921285307 hasConceptScore W1921285307C118615104 @default.
• W1921285307 hasConceptScore W1921285307C136119220 @default.
• W1921285307 hasConceptScore W1921285307C138885662 @default.
• W1921285307 hasConceptScore W1921285307C202444582 @default.
• W1921285307 hasConceptScore W1921285307C2778523021 @default.
• W1921285307 hasConceptScore W1921285307C2778572836 @default.
• W1921285307 hasConceptScore W1921285307C32278780 @default.
• W1921285307 hasConceptScore W1921285307C33923547 @default.
• W1921285307 hasConceptScore W1921285307C41895202 @default.
• W1921285307 hasLocation W19212853071 @default.
• W1921285307 hasOpenAccess W1921285307 @default.
• W1921285307 hasPrimaryLocation W19212853071 @default.
• W1921285307 hasRelatedWork W1530861922 @default.
• W1921285307 hasRelatedWork W1542113445 @default.
• W1921285307 hasRelatedWork W2025099804 @default.
• W1921285307 hasRelatedWork W2087421537 @default.
• W1921285307 hasRelatedWork W2120601675 @default.
• W1921285307 hasRelatedWork W2133649814 @default.
• W1921285307 hasRelatedWork W2136744537 @default.
• W1921285307 hasRelatedWork W2167217619 @default.
• W1921285307 hasRelatedWork W2171661581 @default.
• W1921285307 hasRelatedWork W2282481122 @default.
• W1921285307 hasRelatedWork W2511864352 @default.
• W1921285307 hasRelatedWork W2600737272 @default.
• W1921285307 hasRelatedWork W2810207539 @default.
• W1921285307 hasRelatedWork W2963768093 @default.
• W1921285307 hasRelatedWork W2991272560 @default.
• W1921285307 hasRelatedWork W3105334584 @default.
• W1921285307 hasRelatedWork W3127408556 @default.
• W1921285307 hasRelatedWork W3204868786 @default.
• W1921285307 hasRelatedWork W3209732136 @default.
• W1921285307 hasRelatedWork W963706512 @default.
• W1921285307 isParatext "false" @default.
• W1921285307 isRetracted "false" @default.
• W1921285307 magId "1921285307" @default.

• next