{"entities":{"Q327414":{"pageid":329181,"ns":120,"title":"Item:Q327414","lastrevid":60988962,"modified":"2026-04-10T20:26:43Z","type":"item","id":"Q327414","labels":{"en":{"language":"en","value":"Model theory and the QWEP conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6640770"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$AD03B098-C2A9-4DD2-817D-26C8A1B104D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd028693cb8b6e7a9ca61921af367fb1f591f550","datavalue":{"value":{"text":"Model theory and the QWEP conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q327414$F66A1ADF-6CD0-4D40-9D8B-EB86345CE5C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe09d284355f37d952a6595d9d52ea4138f8c718","datavalue":{"value":"1358.46052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327414$E00A65C4-CD8A-4019-8F3F-943C62B1FA45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e66a1daa50c9d0cd6d768e1f85fecfbf74f4b4","datavalue":{"value":{"entity-type":"item","numeric-id":246268,"id":"Q246268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$48BAFA02-E80C-4DB5-8828-B506D50819B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$D79934DF-1AE0-45A2-8F23-3EBCDD35437B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q327414$73E07881-D36B-4D0E-8E7B-74657BA62E7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c3e89970cb5b9ac6b6318d3154afadee6ed7a5a","datavalue":{"value":"https://arxiv.org/abs/1511.00525","type":"string"},"datatype":"url"},"type":"statement","id":"Q327414$05191050-77A3-4A0D-A5BE-1F8DA599FD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dae713fbf82b9159e621d1eb117e4de847583f62","datavalue":{"value":"https://projecteuclid.org/euclid.ijm/1475266408","type":"string"},"datatype":"url"},"type":"statement","id":"Q327414$0215D952-CC3D-4856-B277-281E6A864DBE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a58fb05f4fe37717980c5b04a4209c80ab391ae8","datavalue":{"value":{"entity-type":"item","numeric-id":284595,"id":"Q284595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$069B666A-F572-410F-8F35-606C0C1993D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f37ba5f9d5f460f19960b050f9bcd03ad96f36e","datavalue":{"value":"46L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327414$10A21AE1-C5BC-48B8-B097-2CDA5C049EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327414$C38CEB18-9DD0-475C-B237-1E726F0873B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27b540aa20d39243896837fe77f90bc66b673569","datavalue":{"value":"46L07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327414$CBA8D879-5334-49AA-B071-3B64CBAC87B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f845201e83d5dab318ee535a8450d46b872fddb8","datavalue":{"value":"6640770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q327414$A389CE9E-610C-440D-8C3F-64EA816DF1A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162853d244d906c8fe257a2f492fa7d7d9a7b0bc","datavalue":{"value":"\\(C^*\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q327414$3A647E90-A8BC-424B-943D-79F68DA8FD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb7379df6c69faef22ac7f7b65a3e4a68fb73ea","datavalue":{"value":"weak extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q327414$6EB84ACE-2FA3-449A-A8AD-B0EDC0D4D247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090007ad3e5a7ccfa4ace3ddab75b65020015969","datavalue":{"value":"continuous model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q327414$FD6779E2-2FEE-4B84-BE90-8E2A16F0F189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q327414$AEEAA08D-781C-48CC-92E9-1B59453EF4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q327414$1B2A05F0-3687-410C-BE6F-096724F6A7F6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$12C87EAF-31E4-43E3-A77B-419E5B9278DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9ce06585d530f4db215e35404449729384cbd8","datavalue":{"value":{"entity-type":"item","numeric-id":2436615,"id":"Q2436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$E1A1397A-2B03-4259-90F0-40CBFB82DFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e63f8cd180df006343a4bf0d13ced47bc88523","datavalue":{"value":{"entity-type":"item","numeric-id":2344853,"id":"Q2344853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$EC30C069-3BFE-4140-A570-EF8B8C65800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af85c73537620cdc6338cc224688776fba937bf6","datavalue":{"value":{"entity-type":"item","numeric-id":2496969,"id":"Q2496969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$75FF3972-B018-440F-A642-22B808B1FC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba591cce0da3a25b8dfb524d3ff8c6a4bb106d3","datavalue":{"value":{"entity-type":"item","numeric-id":1902000,"id":"Q1902000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$D0762DDA-B6E1-45B6-BCC9-70ECEC1E87B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fb7aeb9b2a5cc7ac46f6b7df56817c18c02359","datavalue":{"value":{"entity-type":"item","numeric-id":1319240,"id":"Q1319240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$8C43CB57-1367-43EF-8698-58F368BDEEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59625de458805ddda356f75bf45c0519d2a99226","datavalue":{"value":{"entity-type":"item","numeric-id":4820973,"id":"Q4820973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q327414$F5A75796-F86C-4F53-97C5-2D77E1AF4F0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa619f515d332873c0224fb0f95a5e9d286b05a4","datavalue":{"value":"The author rephrases Kirchberg's QWEP conjecture for \\(C^*\\)-algebras, which is known to be equivalent to Connes' embedding problem fo \\(II_1\\)-factors, in terms of continuous model theory.NEWLINENEWLINEA unital \\(C^*\\)-algebra \\(A\\) is WEP if the inclusion into its double dual factors through \\(B(H)\\) via completely positive and contractive maps which, when composed, are the identity on \\(A\\), and a \\(C^*\\)-algebra is said QWEP if it is the quotient of a WEP algebra. Kirchberg's QWEP conjecture asserts that every \\(C^*\\)-algebra has the QWEP, and this is known to be equivalent to the fact that \\(C^*(\\mathbb F_{\\infty})\\), the full \\(C^*\\)-algebra of the free group on countably many generators, does so.NEWLINENEWLINEThe author, working in the ambience of continuous model theory, shows that the class of algebras with QWEP is axiomatizable (in fact, \\(\\forall\\exists\\)-axiomatizable), and deduces that, to get a positive answer to the QWEP conjecture, it is sufficient to show that \\(C^*(\\mathbb F_{\\infty})\\) is elementary equivalent to a QWEP \\(C^*\\)-algebra. He also shows that, even though limits of WEP algebras are WEP, being WEP is not axiomatizable, and at the end of the paper he offers a second, shorter proof of the fact that the theory of unital \\(C^*\\)-algebras does not have a model companion, which was a result of \\textit{C. Eagle} et al. [``Quantifier elimination in \\(C^\\ast\\) algebras'', Preprint, \\url{arXiv:1502.00573}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q327414$CBA6897F-8B9E-4E22-B14A-B2669026A687","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287f745ae7824466140d7eb26f802e71bbcfa546","datavalue":{"value":{"entity-type":"item","numeric-id":2344853,"id":"Q2344853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0171842160a53ba24017b60b0f72a3d2fc0136a","datavalue":{"value":{"amount":"+0.7964231371879578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q327414$D08F543B-1DB5-4DFE-B870-EDCE46F440A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32ffb709119eaeb2ee52c62c7b3b8de31d52ca7","datavalue":{"value":{"entity-type":"item","numeric-id":294269,"id":"Q294269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8fb3c7397ed7247c08b19907e44107f3cc2e3d0","datavalue":{"value":{"amount":"+0.7760735750198364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q327414$20D9E30F-D693-4476-8DF2-B1DE0187967B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94884623fbd465a942d6862b9acaeabaaa61dc05","datavalue":{"value":{"entity-type":"item","numeric-id":351724,"id":"Q351724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33284e12cbebec3fb826643a2c02ff7f7da733a","datavalue":{"value":{"amount":"+0.758382260799408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q327414$09D23319-96A2-41A0-B213-7B483AA65291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e21c18b257632726f3d1c31306e81db203f301a","datavalue":{"value":{"entity-type":"item","numeric-id":5213087,"id":"Q5213087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ee22a2ba71909f4ed719cfb88b389f7e561aa6","datavalue":{"value":{"amount":"+0.752289891242981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q327414$124898DD-3962-4F40-8456-3C24373759F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f0e34eab4a0e9a2f411c65f8ca8b971b52ba03","datavalue":{"value":{"entity-type":"item","numeric-id":5693296,"id":"Q5693296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610dba5c020ee00a9ccace14722f43730300289f","datavalue":{"value":{"amount":"+0.7480788826942444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q327414$84E68025-0259-4FA3-9506-1A4B0F3ED3C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model theory and the QWEP conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_theory_and_the_QWEP_conjecture"}}}}}