{"entities":{"Q1210349":{"pageid":1221098,"ns":120,"title":"Item:Q1210349","lastrevid":69906780,"modified":"2026-04-13T11:08:30Z","type":"item","id":"Q1210349","labels":{"en":{"language":"en","value":"Every recursive Boolean algebra is isomorphic to one with incomplete atoms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 179073"}},"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":"Q1210349$A41024E9-B9A3-43AD-846B-D455D6F54B27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07bb9a44c0920daafa07eafff19bbc0a1d5b5085","datavalue":{"value":{"text":"Every recursive Boolean algebra is isomorphic to one with incomplete atoms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1210349$37DA01D2-00C0-4684-91EE-9061CDA3C03A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abd5aae87a62b216ec4734d00ddb00a29d7d1cd1","datavalue":{"value":"0796.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210349$73964506-5C1C-41B4-A852-A74EE78E9598","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33182d619633f865a03de78dda6bdb6e5c74ba2a","datavalue":{"value":"10.1016/0168-0072(93)90075-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210349$2DBC3B23-EA8D-4721-B478-EA35762892A2","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":"Q1210349$CC6F434F-E338-4C29-97C0-99F6278A276C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"848157ee0ff26f7de9c0eb171358dfa5aca686c1","datavalue":{"value":{"time":"+1993-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1210349$7B08279C-2558-4569-AB7B-CB0795C7DCA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23a39c33bfc385463b553fcc4e93d646f4432d85","datavalue":{"value":"It is shown that for any recursive Boolean algebra \\(B_ 0\\) there is a recursive Boolean algebra \\(B_ 1\\) isomorphic to \\(B_ 0\\) such that the atoms of \\(B_ 1\\) are Turing incomplete. The proof is a sophisticated blend of an algebraic technique of Remmel and Vaught with a tree of strategies argument. The result constitutes the solution to an old question of Remmel.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210349$B40565D9-C83C-4BB6-9477-C7E6BDE94BB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210349$A5A0B4AB-B83A-4EDB-A4FD-8CEC28074ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210349$C37A51DC-2147-4CCC-97D8-6C7B9DDDEC60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b8ca90cdb677e2dc819c69fe55c6f50bfff13e8","datavalue":{"value":"179073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210349$69A606C4-E8EB-4B0C-8D65-14BF42349CBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7c82c781c3ec37ffee5ea25c57dd7af139f6c5","datavalue":{"value":"degrees of undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210349$706AE6FD-2D25-42CD-879C-0BACC0065AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa51c71ab0f2f2e359440137156f3488cb5847f5","datavalue":{"value":"recursive Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210349$2740C6C6-8941-48CF-8F8E-44BF12DB534E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f94c2708b7cd9fd073d62a816fbff285a46e737c","datavalue":{"value":"Turing incomplete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210349$B790C4CB-8A3E-4A96-9D10-E869AD75C38E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$DCC27889-3A77-4D54-9BB4-8D9D6C48AC26","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$2BE8BE3F-2E2A-4BD1-BB48-70CE1F55A251","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":"Q1210349$3A784DF2-D2F4-4767-82C9-9A1B27056D8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b74f13816a6e3afc695f2afd3830e3fc4ee05fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919698,"id":"Q3919698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$3B2B8F27-8246-437A-AA0F-E03FFFD3F5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffd1457bcd607819418faf6ba609355398435e5","datavalue":{"value":{"entity-type":"item","numeric-id":4318310,"id":"Q4318310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$3FA34030-F936-4D29-BB59-09460B57ABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a60c57a66a4ec8ba7c646a97e76ea9ce9173ce","datavalue":{"value":{"entity-type":"item","numeric-id":3977226,"id":"Q3977226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$C0993DBB-1D22-46F1-B788-BE21B1205C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0218da70bdc53dcc1ef47aa802e2985d0e36b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":5626636,"id":"Q5626636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$707E3207-8D5C-4F15-8F5F-F52872067E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b8d1be935a732156163c12cb5b6c2c77bda0b4","datavalue":{"value":{"entity-type":"item","numeric-id":810503,"id":"Q810503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$59D78C25-DD2A-46F1-8524-B8722CC7C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7f575c9674a2b65b861d1e80df25dc27fad5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4323032,"id":"Q4323032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$B395C25E-F754-4918-9CB8-71F589F28E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$45E6DC37-6F65-4246-8D2C-1173F85BB21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dec416ead949ba55ab98d0194a607553c3113dd","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$F0AAD892-5837-4AB3-B349-8A452231BD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b397d740d5534b74eb0cd2636c9aa22c2ab9b60d","datavalue":{"value":{"entity-type":"item","numeric-id":3331215,"id":"Q3331215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$8B342FCF-E5C3-4288-A416-E377C6A90497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210349$C5FD5AB6-3F15-4D0E-839B-0DC9456DAAED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c63b41d591ce10b04f2b225b2dbf40c3d0f717b","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d3701a62d0a98516e585b121c4921fb407b336","datavalue":{"value":{"amount":"+0.8944026231765747","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":"Q1210349$184AC269-3DF9-4568-9E24-28782F5CDA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabbfab089a1aa78601ee6580394ef9559c60a77","datavalue":{"value":{"entity-type":"item","numeric-id":5202182,"id":"Q5202182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71f55e4e1ba5e3157e7b1dfb73c9eda777f9280","datavalue":{"value":{"amount":"+0.835145115852356","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":"Q1210349$2BB4BCB3-F9AE-4671-A3C9-EE008B4E5870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262e9c6e84d8c4ffd6b210999bb1c399c8275a70","datavalue":{"value":{"entity-type":"item","numeric-id":4722062,"id":"Q4722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feee9db6df071e0e936235268f670b3d7b090bb4","datavalue":{"value":{"amount":"+0.8326607346534729","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":"Q1210349$8E79480D-8E19-4312-9DBF-AC56B1EE0ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b0b66ad19d92ef589b5e8106465824141385bd","datavalue":{"value":{"entity-type":"item","numeric-id":4318310,"id":"Q4318310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a04074d2d8127d1c3835266db88b9eea11b549a","datavalue":{"value":{"amount":"+0.8314180970191956","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":"Q1210349$4449BAEE-1290-4F29-B0D6-E7B7EEB0745F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076a77b7b1485f028ace29eab26563b190335da6","datavalue":{"value":{"entity-type":"item","numeric-id":3331215,"id":"Q3331215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48204e526a307f313807893a938104c32c0b3811","datavalue":{"value":{"amount":"+0.8300621509552002","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":"Q1210349$179903DC-8FBB-4FA1-9D01-5A68DF4664FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every recursive Boolean algebra is isomorphic to one with incomplete atoms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_recursive_Boolean_algebra_is_isomorphic_to_one_with_incomplete_atoms"}}}}}