{"entities":{"Q2772967":{"pageid":2783705,"ns":120,"title":"Item:Q2772967","lastrevid":83199140,"modified":"2026-05-07T06:37:14Z","type":"item","id":"Q2772967","labels":{"en":{"language":"en","value":"Galois groups of first order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708594"}},"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":"Q2772967$18912D9E-E611-4DB7-A6D5-70DAC55CF8FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ede24bb8b6cd97051f9d2c2d00abc813964aeea8","datavalue":{"value":"0993.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772967$F0EA4C96-00EB-467A-985B-68CC2ED3070C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2b9e5d8ee53fbc3cf0f3c1e63588c251ee676d2","datavalue":{"value":"10.1142/S0219061301000119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772967$B32BE5E8-8EAC-4E6D-8D8A-934E6E05117A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c0f2b1fd84cbb85ff06875faec7209ad397b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":190311,"id":"Q190311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$256E9373-A71C-4DE4-AF13-090DCB4FE041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59b8ff0468a42b74e4c8128419f45353cd24810","datavalue":{"value":{"entity-type":"item","numeric-id":490677,"id":"Q490677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$9CC17E6F-5DA2-4DE1-AAC2-BD21F45BB25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74994d2852f728c533293c60b8c53940568b42e6","datavalue":{"value":{"entity-type":"item","numeric-id":1225614,"id":"Q1225614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$3159F774-7A5E-4B2E-877E-E2CF8F667A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$941B94AB-780D-4EDA-819C-71E2A7A0E965","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$0511C653-3F9C-4975-A289-F3F6198FD2FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"177f60f76db36577f8776ca332cf7268f5aa3337","datavalue":{"value":{"time":"+2002-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2772967$760F3E8B-0813-4242-A09D-904E98B297C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772967$543DAE55-27EB-4E58-94FB-971498AEB385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772967$AD611DDE-66BB-4B1A-890F-D9F0D3C530D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2320e19794da31095ffaefe0cc305c65c0fb0c4a","datavalue":{"value":"1708594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2772967$972B920B-B42D-4899-AD54-66C049AA0DEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772967$564DA27B-5CFC-4120-89F1-8FC9F97C81CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb14d6634766199e188906473aea2284c543045","datavalue":{"value":"biinterpretability class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772967$289C7E0E-F1FA-49CB-9B3C-8B13BCF00485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f72695761c67d39aa7b4b1fa5b3ad3bb78d6ab3c","datavalue":{"value":"Galois groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772967$A72C852C-F1EA-420F-82EC-CDAFC3C3ADA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772967$D9BC84E3-2085-43C1-8345-BB877B1990FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7cd887fd222d0ac0ae3786a56ccf2df196aa6b","datavalue":{"value":"circular order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772967$7179D802-F4D4-47C5-89A6-B96A0D832F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd13d0abdbc98304116a4dc29f2513c0215ea94e","datavalue":{"value":"quasicompact group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772967$0CD6171E-E067-4EF0-AECE-E4DAF916A84F","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":"Q2772967$8824A023-C1B1-49B5-AC26-40E5C2D6B3A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97549f7f3a685a92dae757d480d7a1974cfd5bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4517120,"id":"Q4517120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$D7CC035A-5705-4A4B-A5AC-138CAD4B570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4f298665a5cfe8c3e0c73232963d2acdc093c6","datavalue":{"value":{"entity-type":"item","numeric-id":4372923,"id":"Q4372923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$6D46C7D7-6D14-483A-A271-B1FC9C7A5CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7976f328829629e30855e51fcfc4671b8fd313fc","datavalue":{"value":{"entity-type":"item","numeric-id":4227874,"id":"Q4227874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$A39BBADA-3358-45EC-9042-D019805C656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabcb33c6d666b779eda8df6727aad36d59e3e70","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$4F3F387F-BF58-49BE-A9BD-518A2181F29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25002a311cfd0a74879325359d5d55ac42a9af4e","datavalue":{"value":{"entity-type":"item","numeric-id":3962974,"id":"Q3962974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$5F675B7F-51D9-4BE3-AB9E-EA0C7EE923A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae18dd25e2802b4babe673a9412a1c416a9cf72","datavalue":{"value":{"entity-type":"item","numeric-id":2732271,"id":"Q2732271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$BF358825-7AB3-451F-97EA-5735C0AE3254","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0262c182cb5ae2816f41ea7dff20105918e20755","datavalue":{"value":{"text":"Galois groups of first order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2772967$67206CBF-2CEA-43D1-A8B2-B6AF51ECC70D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28c2bf37d00db87acb64cd45c1a4962cf13bcd11","datavalue":{"value":"Let \\(T\\) be a complete (possibly multi-sorted) first-order theory. The paper is concerned with two groups \\(\\text{Gal}_L (T)\\) and \\(\\text{Gal}_{KP}(T)\\) associated with \\(T\\) as invariants of its biinterpretability class, and with two corresponding equivalence relations \\(E_L\\) and \\(E_{KP}\\). In more detail, if \\(\\overline M\\) denotes a big saturated model of \\(T\\), then \\(E_L\\) is the finest equivalence relation on \\(\\overline M\\), or on a sort \\(S\\), small (in the sense that its quotient set has a power less than \\(|\\overline M |\\)) and invariant under \\(\\text{Aut} (\\overline M)\\), while \\(E_{KP}\\) is the finest small type-definable (over \\(\\emptyset\\)) equivalence relation. The Galois groups \\(\\text{Gal}_L (T)\\) and \\(\\text{Gal}_{KP} (T)\\) arise quite naturally from the action of \\(\\text{Aut} (\\overline M)\\) on the quotient sets of \\(E_L\\), \\(E_{KP}\\), respectively; both of them can be equipped with some additional topological structure, making, for instance, \\(\\text{Gal}_L (T)\\) a quasi-compact group. When \\(T\\) is \\(G\\)-compact (essentially, when the two groups \\(\\text{Gal}_L(T)\\) and \\(\\text{Gal}_{KP}(T)\\) coincide), then \\(\\text{Gal}_L(T)\\) is made a compact group. NEWLINENEWLINENEWLINEIn many cases, for instance when \\(T\\) is stable, the two groups, and the corresponding equivalence relations, coincide. But here the authors provide an example where \\(E_L \\not = E_{KP}\\) (a non-\\(G\\)-compact theory \\(T\\)): \\(T\\) is essentially the theory of a product of circles with some further structure including a clockwise circular order and clockwise rotations by \\(2 \\pi /n\\) radians when \\(n\\) ranges over primitive integers. NEWLINENEWLINENEWLINEHowever the author show that, for every \\(T\\), \\(E_{KP}\\) is the composition of \\(E_L\\) and its closure \\(\\overline{E_L}\\) (in the Stone space of complete types); this is done by characterizing closure in the quasicompact group \\(\\text{Gal}_L (T)\\). The previous example, and some variations on its theme (proving in particular that \\(E_{KP}\\) is sometimes different even from \\(\\overline{E_L}\\)), imply that this result is the best possible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2772967$E74C8F5A-8814-4719-ABB3-1261AF8FCA87","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2772967$02374D32-3D2E-4539-9D2E-30C57795E2D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb0e8545035766c9d2ef2eaa76e0c999541d832","datavalue":{"value":{"entity-type":"item","numeric-id":4422560,"id":"Q4422560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7440a181b084245a08c89c590b442467f33936","datavalue":{"value":{"amount":"+0.7867151498794556","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":"Q2772967$369A1C87-66E9-40BD-BBB2-DD71C77AEBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7329c6b8a28d62c5ebdd9f57126473cac22d2b5","datavalue":{"value":{"entity-type":"item","numeric-id":4988828,"id":"Q4988828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a336fd351647dcf5884abb2cec0cd31b0b19ac98","datavalue":{"value":{"amount":"+0.7746009826660156","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":"Q2772967$412790FD-B06D-4772-81BE-6A7D9252644C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5161da95a856134243a1f0f658d5d2766a942c","datavalue":{"value":{"entity-type":"item","numeric-id":5285414,"id":"Q5285414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebd908e720b87a5d73326fcb61bd0bac8fa6c8b","datavalue":{"value":{"amount":"+0.7728205919265747","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":"Q2772967$15A9C028-D3B2-4701-AACD-56935F456072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fbe597d7f7c102359725e286b3ecfa1e8cbc6f","datavalue":{"value":{"entity-type":"item","numeric-id":938242,"id":"Q938242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b3eee73b3f77a7464ebb959561dd73f885c64a","datavalue":{"value":{"amount":"+0.7677714824676514","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":"Q2772967$A5A81557-CDBA-408F-B311-C4209CBB4EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d145024be5c8ed82cbeb31e7d95863a5e62300","datavalue":{"value":{"entity-type":"item","numeric-id":1618143,"id":"Q1618143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca86b72bcbcb33e50a9b0c7d0911d8f4d712bbab","datavalue":{"value":{"amount":"+0.7380077242851257","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":"Q2772967$66CBA4CC-7873-44BE-A790-DA655D4811B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Galois groups of first order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Galois_groups_of_first_order_theories"}}}}}