{"entities":{"Q1277172":{"pageid":1287922,"ns":120,"title":"Item:Q1277172","lastrevid":70057557,"modified":"2026-04-13T12:09:11Z","type":"item","id":"Q1277172","labels":{"en":{"language":"en","value":"On the groups with homogeneous theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247897"}},"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":"Q1277172$C35031A6-B051-4B73-8B3B-F1B6FC15F7A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80ae64e511a9754c0af105e23bfb7fccd3e025ab","datavalue":{"value":{"text":"On the groups with homogeneous theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277172$561917DD-428E-4617-B6F9-52DF054C757A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8a669305a68fe16b6397f22500ef225e6eb8ce7","datavalue":{"value":"0921.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277172$6604BE04-A2EF-4A3C-9CDA-039E6FDB52AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"052d14e9fe5835e92554ecc2bf1aa45629c88e98","datavalue":{"value":{"entity-type":"item","numeric-id":453181,"id":"Q453181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277172$06CEBAD3-FCD1-4875-A18F-18D430A61B64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277172$A4AFA3AC-521F-48F6-AE8B-3B0BF5C94DDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38ccb3b3f7dec313841d5b62a5a8af21e9eda377","datavalue":{"value":{"time":"+1999-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277172$677E7E18-331A-4763-8116-9A2B2896BEDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20bd80cd6950d8ce237f8f61c7164270c154e265","datavalue":{"value":"If \\(2\\leq m < n\\) then a structure \\(M\\) is \\((m,n)\\)-homogeneous if for any \\(\\bar{a},\\bar{b} \\in M^n\\), \\(\\bar{a}\\) and \\(\\bar{b}\\) have the same type if and only if corresponding \\(m\\)-subtuples have the same type. A complete theory is \\((m,n)\\)-homogeneous if all its subtuples are.    The author discusses the conjecture that if \\((M,\\cdot)\\) is a group (possibly with extra structure), then its theory is not \\((m,n)\\)-homogeneous for any \\(m,n\\) with \\(2\\leq m<n\\). Handa has shown that no infinite abelian \\(p\\)-group can be interpreted in a theory which (for some \\(m\\)) is \\((m,n)\\)-homogeneous for all \\(n>m\\), and the above conjecture would imply Handa's result without the `abelian \\(p\\)-group' assumption. The author proves the conjecture for \\(\\omega\\)-categorical theories, stable theories, o-minimal theories, and also shows that if \\((M,\\cdot)\\) has simple theory then its theory is not \\((2,3)\\)-homogeneous.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277172$D192E64D-E085-45EC-A262-E7BA6D6DADF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277172$82A130EE-544F-4272-84B3-14D5D87FC38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277172$98BA1A1F-406F-4443-80E0-885101035279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c6d4f9cd4a969b2aa36378f92a3b9284cf9e9f6","datavalue":{"value":"1247897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277172$19585407-B33A-449F-8F04-1FD85606CED5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53acaf089a89d13efd5c2d7d0120558fa63c50bd","datavalue":{"value":"homogeneous structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277172$2A40A1B4-6DBD-49E1-851F-06B4F85A71BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce864afa25858ba74ed78e3e7d5c79ea9b23dde5","datavalue":{"value":"interpretable group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277172$9EDA1D0A-09C8-484E-904F-2804FCD61277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e076c1c7e47b49b90eb805ef7c1b6280ffe9a4b1","datavalue":{"value":"\\(\\omega\\)-categorical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277172$66861051-26FB-4978-B6F7-A6781C3AB7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04bd9ee903d68fc10eee0c9608d7ff400b37b6c1","datavalue":{"value":"stable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277172$B6F49C2F-E37A-4AB9-8152-741A3D147294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b5f1e9cf9426bfcec801a15e155bf8f91614fcf","datavalue":{"value":"o-minimal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277172$8CFAFA62-489E-4434-B11A-E38D81B63EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7dba5f1d9ee31a3341aa5295e3c49a6ef983e7b","datavalue":{"value":"homogeneous theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277172$191B0C1D-08C8-4BDD-9040-26BE64941BE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4dfb2c42cefd1d94c0bb9fe27b91656bccaaafd","datavalue":{"value":{"entity-type":"item","numeric-id":1061216,"id":"Q1061216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277172$73DC8491-E370-47AA-8C00-F7ABB52E6CCF","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":"Q1277172$6AE53B12-7279-413F-9C73-96890EA55325","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b517736997e270148d08bd2676c5195e456ed89d","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496163601","type":"string"},"datatype":"url"},"type":"statement","id":"Q1277172$39BB707A-09FF-4F5A-8B2B-B3A41887FBCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ae8f54865e61554de942b08b5e8ea76a93b902f","datavalue":{"value":"W633844197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277172$BD282FA8-DD57-41D5-BBF8-4F07BA4A3037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceea6037e24e4ee9d10a1cb0377c887e415b9472","datavalue":{"value":"10.21099/TKBJM/1496163601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277172$5A8AAEF1-07F6-4BC9-A582-CA7DC2E7F6B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d6107c6fb759eb0f300fda19f2e16f0fd8a01e","datavalue":{"value":{"entity-type":"item","numeric-id":4487366,"id":"Q4487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff515a11c93a59dd0f2beffda687adc5a5ec845","datavalue":{"value":{"amount":"+0.8315799236297607","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":"Q1277172$F4D9025A-C135-403B-80FF-314D4D178B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a139dfeb6f6627b5ba8a4f5439f20c005d08d6f3","datavalue":{"value":{"entity-type":"item","numeric-id":1972653,"id":"Q1972653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8fe8434a171bf8840175b499566a4cc1f91ab9","datavalue":{"value":{"amount":"+0.7979925870895386","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":"Q1277172$8A2A8F30-2B6B-4500-8051-1B627F5054BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47293cc0932c02191c96dbd2457698db08d4ced","datavalue":{"value":{"entity-type":"item","numeric-id":5477355,"id":"Q5477355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d296890c1e1f17a7a47d85131fef4e7ee5de9963","datavalue":{"value":{"amount":"+0.7655929327011108","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":"Q1277172$CAEFC4F8-AFA1-49A9-A03F-DE0045F48982","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the groups with homogeneous theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_groups_with_homogeneous_theory"}}}}}