{"entities":{"Q2869913":{"pageid":2880633,"ns":120,"title":"Item:Q2869913","lastrevid":58046274,"modified":"2026-04-03T14:24:58Z","type":"item","id":"Q2869913","labels":{"en":{"language":"en","value":"The theory of tracial von Neumann algebras does not have a model companion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243238"}},"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":"Q2869913$0FE9AA47-CF99-4D47-8A8A-2C85DBD2D5DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc604b92594c5af2b7e1aaf67d5145b631975f6e","datavalue":{"value":"1316.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869913$F0A6E059-CCD7-473E-8CF3-2E95298CAEEA","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":"Q2869913$3A9E07FC-8798-4136-97EB-67BD90E5B2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd8d2903264ba36c56b2453e30dfe1c0918e364","datavalue":{"value":{"entity-type":"item","numeric-id":466084,"id":"Q466084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$D9115F53-95A7-4C2E-820C-384740385858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22a10fbb26c957954ff8ba1a5a3cfa43b62c33f0","datavalue":{"value":{"entity-type":"item","numeric-id":295842,"id":"Q295842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$EFF4E49A-C675-415E-A57F-E9329617AF72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b62054087ecfdb4f075fe42226b4bf080bcbce33","datavalue":{"value":{"time":"+2014-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2869913$D52D1C41-D617-4514-8627-166312A1C12D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b36d1200eab0e0ed97537f976a3be3963c668da6","datavalue":{"value":"https://arxiv.org/abs/1207.0169","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869913$4CE0CC64-388D-4FB6-A4B2-DA8E2AF8D54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0367247fc506df4eec88f21093964a2052c193f7","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1389032287","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869913$47DBEE08-12E1-47F3-AB38-F76BDCB68B50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869913$CED98894-D3CF-4385-9B91-F448E8CDDB44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a123d0e1daf9d0700d15a4262e937f5e0f7bd4da","datavalue":{"value":"6243238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869913$21F5B311-796F-44CE-971B-D1C107C97777","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82add0459a03e5a5cdf225c7c2d24a6cd6ab1c7b","datavalue":{"value":"tracial von Neuman algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869913$7D35A5FF-59AB-48BA-8AF0-2F47007C4196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bad46574649d9c90b35c6c1ce8368375e5cf22d","datavalue":{"value":"\\(\\Pi\\)-factors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869913$DA885BAD-B3BE-4BE4-AB02-9F1714164834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869913$5EF3DF69-7986-4BD3-B4AD-A395253F4A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"851d6f860691ccf080d70fbaf2bca1f7ad1455af","datavalue":{"value":"model-complete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869913$0012684B-2D78-49A9-9C7F-E15C46680184","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":"Q2869913$E04C3345-2B6C-440B-A5CE-AFC091685309","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"802ba1059e12c66ec9a3500e5e0c0abe4960beb0","datavalue":{"value":"W2157412138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869913$94A3F1DC-F774-4503-9754-829A844FE690","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a29bab0d11f4c2c79d58c9c1dcedf5d09b025a6","datavalue":{"value":{"entity-type":"item","numeric-id":3525979,"id":"Q3525979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$94DA1500-012F-4A37-9AC8-CDF95D72F4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd8f5640098bdda167263f6066daa5d9e4e6f1a","datavalue":{"value":{"entity-type":"item","numeric-id":884701,"id":"Q884701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$F70CB0CE-F7A6-413C-85D4-AC54C7FCEF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b709f06bb9c09ee4f2934c6a20ef427cf32a1f60","datavalue":{"value":{"entity-type":"item","numeric-id":1918400,"id":"Q1918400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$7C90D05C-7388-4566-914C-396710C078DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0487db4ebe5ddb1e4d1c98152be23236f5480994","datavalue":{"value":{"entity-type":"item","numeric-id":3583036,"id":"Q3583036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$E7B1894E-2D83-4825-95C0-347D5A766669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1057c05a3b4b30155c880013641707552a77ce","datavalue":{"value":{"entity-type":"item","numeric-id":555603,"id":"Q555603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$484407C4-865F-4760-AF16-A06A2BC79520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7d34a5946ab02c06f95dd021a65a1e5964de9af","datavalue":{"value":"10.2178/JSL.7803170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869913$82AE08E9-77E3-4D20-A256-6AB8ED916ED9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54d2ab95085775dd61fd857ba9f686eeb41bf690","datavalue":{"value":{"text":"The theory of tracial von Neumann algebras does not have a model companion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2869913$8B283507-D3CD-431F-992E-9A34D349EC42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$2444C0AE-CBA3-4D9B-993F-7C5B3A6774D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4bd1ba8afca22a080fbf3addf119910c3a17528","datavalue":{"value":"This paper is a contribution to the model theory of operator algebras. The authors begin by noting that the theory \\(T_0\\) of tracial von Neumann algebras is universally axiomatizable.NEWLINENEWLINEUsing the crossed product construction for von Neumann algebras, the authors prove that \\(\\mathrm{Th}(\\mathcal {R})\\), where \\(\\mathcal{R}\\) is the hyperfinite \\(\\Pi_1\\) factor, does not have quantifier elimination. This leads to their main result: \\(T_0\\) does not have a model companion.NEWLINENEWLINEFinally, the authors consider the possibility that there is a model-complete theory of \\(\\Pi_1\\) factors. They show that if the CEP (Connes Embedding Problem) has a positive solution, then there is no model-complete theory of \\(\\Pi_1\\) factors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869913$117371CE-359B-426D-8DFC-9E0905DAF9D7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869913$8AC0CA21-0658-4203-B701-24DC52F90987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e744b02ed511f36865fd5cc75a769d15a6676ed","datavalue":{"value":{"entity-type":"item","numeric-id":466085,"id":"Q466085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5014ac510eb5ae3e24efa16b7492576d76f9b675","datavalue":{"value":{"amount":"+0.7443797588348389","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":"Q2869913$194FB9A1-B35E-4EB5-A2DD-6FADD3DC0D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7bb32fd0e7fdfb58fd21a5c8750a045f5bb81c","datavalue":{"value":{"entity-type":"item","numeric-id":2326499,"id":"Q2326499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644873ff3236fd7e19c5c64dd73a73b86b101b4d","datavalue":{"value":{"amount":"+0.7424498200416565","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":"Q2869913$BCCFCE56-3AE2-47BC-8FDB-85CC3B8B4670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b833c17ddd24bbcbfd6571192b1889375fa532","datavalue":{"value":{"entity-type":"item","numeric-id":5346695,"id":"Q5346695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a37a7312f880aabe9cb22b9f8c1bbe1ababb50d","datavalue":{"value":{"amount":"+0.7301697134971619","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":"Q2869913$FC8B0726-820D-43FF-985C-607A20B58210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2004701f8d020e314aab4fe66b6087cec8c388","datavalue":{"value":{"entity-type":"item","numeric-id":2152856,"id":"Q2152856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bace652e050c31be795e62d32120789a4fdcd20e","datavalue":{"value":{"amount":"+0.7083094120025635","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":"Q2869913$9DBE0874-0BE7-4075-A60A-384FC985DC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0873e886b8a019018d09899c5be20fcd260563ae","datavalue":{"value":{"entity-type":"item","numeric-id":5006213,"id":"Q5006213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990eeafc9c107279ba227eff560450c78500a8b1","datavalue":{"value":{"amount":"+0.7083004117012024","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":"Q2869913$6DB44C64-9F80-45E7-B6AB-C2D4543B9AE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2869913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2869913"}}}}}