{"entities":{"Q1591375":{"pageid":1602115,"ns":120,"title":"Item:Q1591375","lastrevid":57395481,"modified":"2026-03-30T19:13:46Z","type":"item","id":"Q1591375","labels":{"en":{"language":"en","value":"Elementary equivalence of infinite-dimensional classical groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546876"}},"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":"Q1591375$50F0AA7C-EA4B-4154-97E6-FE16AA2E0EE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b907c8a7e9988b5d70293d23727bd7f3f8e1b9ac","datavalue":{"value":{"text":"Elementary equivalence of infinite-dimensional classical groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591375$6D03DDC5-06F9-4693-AA8F-C44A319B986D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbd610a84530adacc25a849c32ab45c1ebb8fb72","datavalue":{"value":"0978.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$B7DBAC15-BF46-4652-A5DB-F63FC00933BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90de8cac0c14252b19b6067afd88ef24fa492692","datavalue":{"value":"10.1016/S0168-0072(99)00050-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$2C69A962-7BF9-4C45-AC27-B1BB18333639","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f21775c7176e9b9dc2be3a60c551b9f35583ef","datavalue":{"value":{"entity-type":"item","numeric-id":538051,"id":"Q538051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$589F1412-005C-4A30-84E1-8D4332B3258E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$8F917C39-B311-47A8-9442-45EF02FF47AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e204a4d23e0af36d5fce5daa28f0962661f55a","datavalue":{"value":{"time":"+2002-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591375$0A02E191-71A2-465A-8F3D-A8C186E2F265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d8574a0ce22d54fa0c695eb05cc6b54e3164e74","datavalue":{"value":"https://arxiv.org/abs/1112.2652","type":"string"},"datatype":"url"},"type":"statement","id":"Q1591375$4E51C6F4-D7D1-4DA4-8B14-C6B3BE106083","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6942940bde07fc7ffda4aeafa975b93f1a13a7ff","datavalue":{"value":"In this paper the following question posed by Felgner is considered. Given vector spaces \\(V_1,V_2\\) of dimension \\(\\kappa_1,\\kappa_2\\) over infinite-dimensional skew field \\(D_1,D_2\\), respectively, and \\(H(V)\\) one of the groups \\(GL(V)\\) or \\(PGL(V)\\), under what conditions is \\(H(V_1)\\equiv H(V_2)\\)? For the finite-dimensional case this is known to be the case exactly if the dimensions are the same and \\(D_1\\equiv D_2\\) or \\(D_1\\equiv D_2^{\\text{op}}\\).    The main results obtained here are the following: For a vector space \\(V\\) over \\(D\\) of dimension \\(\\kappa\\geq \\aleph_0\\) the theories of the corresponding projective space, of \\(\\text{End}(V)\\) and of \\(PGL(V)\\) and \\(GL(V)\\) are all mutually syntactically interpretable. Furthermore, also the theory of two-sorted structures \\(\\langle \\kappa,D\\rangle\\) in second-order logic allowing quantification over sets of size less than \\(\\kappa ^+\\) and the theory of \\(\\langle V,D\\rangle\\) in the monadic fragment \\(\\text{Mon}(\\kappa^+)\\) are mutually syntactically interpretable. A certain analogue of these results is proved for the groups \\(\\Gamma L(V)\\) and \\(P\\Gamma L(V)\\).    Thus, the problem is answered in Theorem 11.4 in the following way: \\(GL(\\kappa_1,D_1)\\equiv GL(\\kappa_2,D_2)\\) if and only if \\(PGL(\\kappa_1,D_1)\\equiv PGL(\\kappa_2,D_2)\\) if and only if the corresponding second-order theories of the two sorted structures \\(\\langle \\kappa_1,D_1\\rangle\\) and \\(\\langle \\kappa_2,D_2\\rangle\\) are the same.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591375$747A31BD-8F37-4B8D-A69F-F0D9A4D1A63E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0094fe63c663f4828b1a4b98b27182cdbf2e113b","datavalue":{"value":{"entity-type":"item","numeric-id":170879,"id":"Q170879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$4A50E25E-2EEF-4270-8628-E6A631D1333A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$40EBE15F-43F2-4D93-8794-56F3AB4AF385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$ADDCB2EF-E4A0-4DC8-AFF3-A8D169C34999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747f926814bec7d06f4808d64ba00d7542217963","datavalue":{"value":"20G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$0E129AA3-595C-4A29-B374-24707AE0A1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$B8C8AD25-DF8B-45A3-9ACE-06B6A8B35EFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ed552a0784d5d4d028f9891c1a9ee67527c2941","datavalue":{"value":"1546876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$52812E60-C271-4260-9AA9-C1BCF5E90683","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8731cfe85b27b75d2f7fe7cf9430d937675368c0","datavalue":{"value":"linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591375$636A3320-7DB8-4757-A47F-90798D473E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619bc538ea17447b7300fda6b38cadbddd0fb46d","datavalue":{"value":"elementary types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591375$77843BC4-070D-494D-B27C-8C4EA970608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591375$29D4CA9E-CF00-4A65-A193-C90411F36C51","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":"Q1591375$CA7EE518-1C25-4C4E-AE1B-4D08CBC0B9BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a5c4e166943e63a6ceea5b952d48af9c85a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":3241211,"id":"Q3241211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$C38DACEE-F495-4F28-A262-C26AB5DA178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df8d5144cb37e2315b21cb9ce4e0b51917f629f","datavalue":{"value":{"entity-type":"item","numeric-id":5817043,"id":"Q5817043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$DDC4F646-661B-4BA1-BD24-5570F39E8507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$6C494F84-36CA-4562-915B-CF8C11F96814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b207935a07e49604a84265bfc39096c542b3f6","datavalue":{"value":{"entity-type":"item","numeric-id":4004799,"id":"Q4004799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$4A8F0B3E-4E73-4BF5-9AA6-82BB9BB4FA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e750a38448b3eb1f69c7825943f7fdcad7674953","datavalue":{"value":{"entity-type":"item","numeric-id":5804217,"id":"Q5804217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$7391E05A-5227-430B-BFFC-2B92F8C77F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7c44a648f708de6a6f44eacf8df98df0596cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3228640,"id":"Q3228640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$B70CCC5D-1CC6-45C0-BA5E-2F4086EFC609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c7120efbd4f1018fc8ca6eadaa2c2effb807e9","datavalue":{"value":{"entity-type":"item","numeric-id":3993275,"id":"Q3993275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$329E3527-00BD-4799-93A5-2D2BFA019F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$AC4352B9-63EF-4B0A-A65A-F9A1B8897131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c36593e8c9370563608f7551a1a3dcfe10595d","datavalue":{"value":{"entity-type":"item","numeric-id":5635586,"id":"Q5635586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$1C5B034C-D8A9-4875-8C00-B0AD85106E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc967249c15cffaf4da6f525b9de3657a2e0a49a","datavalue":{"value":{"entity-type":"item","numeric-id":2550807,"id":"Q2550807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$ED5604C2-C9A4-4256-A5D2-EE46F0BC702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32816ef0f9f43b2ec92e85fbb41907e5e23af0b4","datavalue":{"value":{"entity-type":"item","numeric-id":2653044,"id":"Q2653044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$EB4629F2-6887-4E71-9EAB-A1EF637AF777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b798066a4c4de26cb7a9858680ca32fcfb2bfa2","datavalue":{"value":{"entity-type":"item","numeric-id":584255,"id":"Q584255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$D54482FF-31B8-401A-96AB-4D3A39F5BCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cffd3f2f71491596207fb08f9483012070eb81","datavalue":{"value":{"entity-type":"item","numeric-id":4043214,"id":"Q4043214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$6E693780-CBA0-4487-9397-68CA0F14841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd9784dce91a66db1241e22f003fcd0c34e2fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1237813,"id":"Q1237813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$22AB6CDB-E168-4B54-AF93-DA9C11CCEDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d36829eee746c31d86c725a130c455fbfcbac50","datavalue":{"value":{"entity-type":"item","numeric-id":5795662,"id":"Q5795662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$1DF65100-002E-4937-95CC-9A966DB5A08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6120aa6df87be2667537e978f707e2cf754d78cb","datavalue":{"value":{"entity-type":"item","numeric-id":5804218,"id":"Q5804218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$ED2A4EBC-45BF-42FC-A7AA-E48FB583E10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6f25f706f252995589f48703ce522f5ba9e910","datavalue":{"value":{"entity-type":"item","numeric-id":5806857,"id":"Q5806857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$EAAA9EE2-A938-4DC0-99FF-4306A8A0035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8baee2c87fc4a4060c91277ea6386c69eb55f1","datavalue":{"value":{"entity-type":"item","numeric-id":3889028,"id":"Q3889028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$8BAFF485-BE6B-4F5D-B3DD-35BC065A244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc563df52191a342d2ed0e7597e2347bb7b025f9","datavalue":{"value":{"entity-type":"item","numeric-id":1845064,"id":"Q1845064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$0A90374E-79AA-409C-8BB7-780B0DC12777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7854d236d9129a3ab1bd73342c18a82f9e34b3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1844917,"id":"Q1844917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$81E1F336-177B-4A21-B3BD-5E450AB216F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955bd5404ed51b03abcc353b16cb93ed2674c0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4149752,"id":"Q4149752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591375$3F4FA5A4-410F-4E89-9497-E904F51C9608","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a2cffa9f8344b10aaadfb6ed9704cd1dbbd4cbd5","datavalue":{"value":"Q126788327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591375$7F88EE52-22B9-4FF8-96A7-B000F3F2B068","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749a281d92caa0fa7036732d3f176351495173b8","datavalue":{"value":{"entity-type":"item","numeric-id":4013618,"id":"Q4013618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1dcc1d248de353bc91048ad6669367d5dac30a0","datavalue":{"value":{"amount":"+0.8547703623771667","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":"Q1591375$871B08B0-5CCC-4A8C-BB42-F6CFF3DDD1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fde72e85b016aaad947aca19a538013a6245ba","datavalue":{"value":{"entity-type":"item","numeric-id":950878,"id":"Q950878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a5fcfc6ee6a73f8620e064cb322a5004ce74a0","datavalue":{"value":{"amount":"+0.8535968661308289","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":"Q1591375$B8B561E3-1564-42F5-9CD5-C36142870C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3670ea22217eb12edf6f16a7fce50005cb1d413","datavalue":{"value":{"entity-type":"item","numeric-id":1902722,"id":"Q1902722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926d05d8536ca0917284d05ce820575715cb1e7e","datavalue":{"value":{"amount":"+0.8490319848060608","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":"Q1591375$2BA2E91A-6C83-4098-9BAB-AFD6663C5351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd8de8acbc75c59d040cf882144a0aa5050ba1b","datavalue":{"value":{"entity-type":"item","numeric-id":4004799,"id":"Q4004799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab41e638c7d12ab4eee011745e64a746cf214b8","datavalue":{"value":{"amount":"+0.8006376624107361","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":"Q1591375$F5DB94B3-3BD0-4EB8-B893-66ABC0FA801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bae65a17ba596134612f4f3c55695910ec643c","datavalue":{"value":{"entity-type":"item","numeric-id":4244590,"id":"Q4244590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cbccac03875a3389ba48c5843fa030b1fe7116","datavalue":{"value":{"amount":"+0.7985869646072388","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":"Q1591375$A30344BE-9EEB-491B-8044-882BC9196241","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1591375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1591375"}}}}}