{"entities":{"Q1766851":{"pageid":1777593,"ns":120,"title":"Item:Q1766851","lastrevid":69236259,"modified":"2026-04-13T05:40:07Z","type":"item","id":"Q1766851","labels":{"en":{"language":"en","value":"Imaginaries in beautiful pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2140247"}},"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":"Q1766851$34A1C229-B15E-4D9D-A48C-760805070FC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ac49718be0f1d21c0182eae48310128b5565ec5","datavalue":{"value":{"text":"Imaginaries in beautiful pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1766851$06CEEB43-2C57-40A7-9AB2-1872BBA13989","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"107b4f002ef8908cf3aa9c193b6d1f65f0b30322","datavalue":{"value":"1060.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766851$C5559697-80F2-4370-A4C1-4C88D65656A7","rank":"normal"}],"P16":[{"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":"Q1766851$067C6A9D-0BA3-4317-B84E-116A4701B0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a12a625bf580abed4f0da5d6409317826fb726b","datavalue":{"value":{"entity-type":"item","numeric-id":636328,"id":"Q636328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766851$F8609319-E395-4449-819B-5BB3E6615139","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":"Q1766851$D1D90698-B5D2-4102-AF30-743E7BB7E662","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98babedc0aaf742c2c52517bbf9b1598ad1f8c08","datavalue":{"value":{"time":"+2005-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1766851$B2971869-6BDE-43F3-BE67-ACDC2B0A2422","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60476b477593ed5596f7312c31976de8dbef6567","datavalue":{"value":"A beautiful pair (belle paire) is an \\({\\mathcal L}\\cup\\{P\\}\\)-structure \\((M,P)\\), where the unary predicate \\(P\\) is interpreted as an \\(\\mathcal L\\)-elementary \\(| T| ^+\\)-saturated proper substructure of \\(M\\) such that any \\(\\mathcal L\\)-type over \\(P(M)\\) together with a finite tuple from \\(M\\) is realized in \\(M\\) [\\textit{B. Poizat}, J. Symb. Log. 48, 239--249 (1983; Zbl 0525.03023)]. These were generalized by \\textit{E. Vassiliev} [Ann. Pure Appl. Logic 120, 103--149 (2003; Zbl 1010.03023)] and \\textit{I. Ben-Yaacov} and the authors [Ann. Pure Appl. Logic 122, 235--261 (2003; Zbl 1030.03026)] to lovely pairs: \\(P(M)\\) is \\(\\mathcal L\\)-elementary in \\(M\\), and for any \\(A\\) of cardinality \\(| T| \\) and every \\(\\mathcal L\\)-type \\(p\\) over \\(A\\) (i) \\(p\\) has a non-forking extension to \\(A\\cup P(M)\\) realized in \\(M\\), and (ii) if \\(p\\) does not fork over \\(A\\cap P(M)\\), then \\(p\\) is realized in \\(P(M)\\).  The authors use the characterisation of canonical bases given in the paper with Ben-Yaacov, together with standard binding group techniques, in order to show that the following are equivalent, provided the \\(\\mathcal L\\)-theory eliminates imaginaries: (i) The beautiful pairs theory \\(T_P\\) eliminates imaginaries. (ii) \\(T_P\\) eliminates imaginaries geometrically (any imaginary is interalgebraic with a real tuple). (iii) No infinite group is definable in \\(T\\).  However, no explicit description of new imaginaries arising in \\(T_P\\) is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766851$B920CFCA-1124-4E89-8BEA-34EB420D4550","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766851$AF993D7F-A5C5-4CE9-8669-483821A54EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acb57c39f1c25d0f39853bccb602cc05f020896a","datavalue":{"value":"2140247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766851$B2E33320-3A21-4587-AAF0-3BE9EA70D919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345f5497d54a1dd29d25be3988811ca588941b33","datavalue":{"value":"beautiful pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766851$6B9C6FDE-BD98-4B01-8829-F9F5FBFF9192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a61b634c919848fe5f2191235dc2d097afbe368","datavalue":{"value":"lovely pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766851$BCF93861-98ED-4B86-B7A2-510689B1CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183ca9ab965323f327ce51011f8c63c73032cdd9","datavalue":{"value":"elimination of imaginaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766851$F9FADD0F-0470-4982-B6A3-729B31A83339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbaf82674f5af8b4b10dede28f531ed1d967cc5b","datavalue":{"value":"finite cover property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766851$0C064B85-6624-4FB9-8548-33AA6A0F7B48","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":"Q1766851$D5620DAA-FD4C-4371-A615-932D43F65DD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d459045c4f83d0d3a4141c7e06c9e75587e247","datavalue":{"value":{"entity-type":"item","numeric-id":5206934,"id":"Q5206934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a0e03721818e2fd16741cb55d273a916413535","datavalue":{"value":{"amount":"+0.813603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1766851$E4F7F651-987D-4A59-9EE5-41A0C3B6996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d94bdc5e6c87ca35bbeea7e96d31c502d3eed48","datavalue":{"value":{"entity-type":"item","numeric-id":2949520,"id":"Q2949520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e266b3bed717f123adb0d9a566bfaad210204123","datavalue":{"value":{"amount":"+0.7857956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1766851$C4BE7818-227A-49B0-AD6E-676A26581323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5829093fef38556be9a9a761d74a6eaf182dd8a8","datavalue":{"value":{"entity-type":"item","numeric-id":636329,"id":"Q636329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7802c55973af09f304302fc48075bc849ede01ab","datavalue":{"value":{"amount":"+0.783433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1766851$6A105E51-9057-4C5F-9155-A2B747B6BF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3c777a9c4c8bc1efd4363eb955f37658a393e4","datavalue":{"value":{"entity-type":"item","numeric-id":2942531,"id":"Q2942531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfeaeffbf700af99d5475ff58b05af3ca4dc182a","datavalue":{"value":{"amount":"+0.78170544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1766851$68D00F66-0993-4AD4-A109-70FA3378B4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba4f4091e4f1a55c4ba1fe93e8c4b0db79ebf791","datavalue":{"value":{"entity-type":"item","numeric-id":1400605,"id":"Q1400605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac59825bf17f99695cf63e16ed90e86c1fd5f0b6","datavalue":{"value":{"amount":"+0.75770193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1766851$5D243D01-5203-4B13-B907-B34992CFB9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86aaeff75df3b9b9c4d75638827273687f974d68","datavalue":{"value":{"entity-type":"item","numeric-id":2146100,"id":"Q2146100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05591957af2743417669210a598ad933854800c7","datavalue":{"value":{"amount":"+0.75325483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1766851$D7F6876F-9541-4061-8112-F5171AA04085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Imaginaries in beautiful pairs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Imaginaries_in_beautiful_pairs"}}}}}