{"entities":{"Q2888634":{"pageid":2899359,"ns":120,"title":"Item:Q2888634","lastrevid":83712137,"modified":"2026-05-07T10:03:26Z","type":"item","id":"Q2888634","labels":{"en":{"language":"en","value":"Imaginaries in Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040459"}},"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":"Q2888634$26951676-E87C-4D1E-8733-CA37B1D6C64D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b701ae797cba89904e970a193f282a775ddc5ab","datavalue":{"value":{"text":"Imaginaries in Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888634$F280215D-A582-46C9-891E-AFC1BE91F28B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc9ce13fe44bb6fea964655264d5bddcfbf043f3","datavalue":{"value":"1251.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888634$3133E62C-989D-4B70-B115-857312EE5257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b14293acdafc6971dc28d31948cbf2a98276450a","datavalue":{"value":{"entity-type":"item","numeric-id":932572,"id":"Q932572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$6172242D-103F-452B-A473-D267FD5A7E33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-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":"Q2888634$17DD54F2-89B8-4F6B-936F-4F100D45B64F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888634$37515AB5-2A48-46DA-96C8-9D6CB52EF470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888634$E5C60587-6556-4CE3-B397-1372214A62F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5ec004a451cdceee277ea80f12322c1260d9416","datavalue":{"value":"6040459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888634$2C4A90F7-86D5-4AB9-B8A4-F92DCF6F3742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888634$13C9D920-883A-4E21-8540-BE2EFD3EAB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183ca9ab965323f327ce51011f8c63c73032cdd9","datavalue":{"value":"elimination of imaginaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888634$08F486D5-ED74-4C36-A26C-5EF8E23674E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e82497c071bd1c79ea71fd08094b3569cc1d2cd","datavalue":{"value":"elementary invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888634$9925BD12-6869-4A53-B396-577C78414024","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":"Q2888634$1CD8FB32-B6ED-424F-94A5-4D7D0AFA3A3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c817849827c5db4edb19446d1f997864e90adee5","datavalue":{"value":"https://doi.org/10.1002/malq.201020082","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888634$F87662F6-4F31-495F-8C68-C058B4421A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c0bf969b2b33785cb55145840860707f470a0f8","datavalue":{"value":"W2025270001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888634$A5FC005B-A2A0-4C28-8789-3939F20705DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98354319c417a2450fe6e98dcd2154a36fcc766e","datavalue":{"value":{"entity-type":"item","numeric-id":3413792,"id":"Q3413792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$49E7ED08-B122-4046-B684-CB587999CAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b7b5dcaed6eb78122babc3f1287306e4d252b4","datavalue":{"value":{"entity-type":"item","numeric-id":4328837,"id":"Q4328837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$968BF23E-1E0F-4E0A-8374-36E84AC26AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc06b940bf88f9f4eae26bccca678abd1659d59","datavalue":{"value":{"entity-type":"item","numeric-id":3130253,"id":"Q3130253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$FDBBFF85-855E-4FDC-8F91-3ADCCD12FFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088c5be45b79774f04abb465850f4d48a485cef","datavalue":{"value":{"entity-type":"item","numeric-id":5937830,"id":"Q5937830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$09E581E8-9114-48A3-8DE2-E3CCA6DA7087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a4fa18cd5e62f70059183a7abc094e5bd69a27","datavalue":{"value":{"entity-type":"item","numeric-id":4451725,"id":"Q4451725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$D02F1297-D397-4D5B-A4BB-4E566141A828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af05795a2cef0830e7f4dd03b4636b0b7b9389","datavalue":{"value":{"entity-type":"item","numeric-id":4457725,"id":"Q4457725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$6EF30B59-5FB6-4823-A618-E89EDC9B499A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2e21aeeec547ab7aa74d3f5d6be930ffe19aa","datavalue":{"value":{"entity-type":"item","numeric-id":1765160,"id":"Q1765160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$DD42AD9D-4EBE-4EE9-AAE5-D11A39834349","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89aaea2b273a4ceb3b20534120d88cb73cbe979","datavalue":{"value":"10.1002/MALQ.201020082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888634$DC37861C-78A1-4CAE-94A9-6EDF57EAD5A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$18C12F5B-0AEF-4E31-B5A3-E108D0D74924","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c8112a4b2b43371c810ea2e2d3654527d192516e","datavalue":{"value":"Special kinds of equivalence relations on powers of a Boolean algebra are introduced, and elimination of imaginaries is proved for the associated multisorted structure. Two new ideas are involved: restricted elementary invariants, which are a simple modfication of the usual Tarski invariants, and the notion of largeness. \\(a\\) is large in \\(b\\) iff for every natural number \\(n\\), \\(a\\cdot b\\in I_n\\) iff \\(b\\in I_n\\), where \\(I_n\\) is the \\(n\\)-th invariant. The main theorem is a rather technical result concerning largeness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888634$2E604193-445F-4240-95F1-2CF331AA5EFA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888634$C2210A4E-B875-44AA-86F2-696DACD63066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be20108e199aec1522a0c13448f0b851a40d59f9","datavalue":{"value":{"entity-type":"item","numeric-id":4857861,"id":"Q4857861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5763ff58cd8af6788b9688bb1bfaa7e5577a7a4a","datavalue":{"value":{"amount":"+0.7359083890914917","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":"Q2888634$B768A304-6525-446C-9C8B-936405503B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaead3a89f08d052efe3030381b7d7a5d917924b","datavalue":{"value":{"entity-type":"item","numeric-id":3808079,"id":"Q3808079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdec455543c24cd0b2880cd88d5889a33b0cb05","datavalue":{"value":{"amount":"+0.7309869527816772","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":"Q2888634$68872B79-5BAA-4668-BE95-2F790EA45401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b247413e7ecc214afc4358f29bc6e34337e5ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3698796,"id":"Q3698796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1c6db510d74927493eceee9fe0a009eecd045b","datavalue":{"value":{"amount":"+0.7217812538146973","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":"Q2888634$A68EBD52-F90E-402B-A9A5-5C81EF85F8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b30d5c33738bcc8293f9f09fb02efa08fbe9c5","datavalue":{"value":{"entity-type":"item","numeric-id":2403654,"id":"Q2403654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a858e7ca886afa50e156f5ac195f471077d9e8","datavalue":{"value":{"amount":"+0.7108680605888367","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":"Q2888634$20C1A5AF-5168-472A-A490-F32E00F26B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ecc3d1a08d8f3d662790542fceeefb6ddbe467","datavalue":{"value":{"entity-type":"item","numeric-id":3116576,"id":"Q3116576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b1abaf6a6dc8c1c9520416eb7bcddd7332b7d6","datavalue":{"value":{"amount":"+0.7108214497566223","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":"Q2888634$D2ABE45F-2DD1-4472-BC04-62854EB5C864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Imaginaries in Boolean algebras","badges":[]}}}}}