{"entities":{"Q800916":{"pageid":802764,"ns":120,"title":"Item:Q800916","lastrevid":64472307,"modified":"2026-04-11T20:06:35Z","type":"item","id":"Q800916","labels":{"en":{"language":"en","value":"Universal recursively enumerable Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878910"}},"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":"Q800916$A59597BF-992C-4331-B49E-F1153552A540","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8d9ca62141bde6cc595f466271c23db26691643","datavalue":{"value":{"text":"Universal recursively enumerable Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800916$E0478DF8-E275-4CEA-B5EE-7B2379B68298","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"150de6a4e8f28b4df813e94d71ef44e0c7e46963","datavalue":{"value":"0552.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800916$E3776977-E672-4692-B5E7-4D199DFA1A01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e13d84bf3ab4db03be639cbe34773fc2006f055","datavalue":{"value":"10.1007/BF00970310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800916$C942FDFF-9E5E-4280-A61C-FF589213FB2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800916$BF050A53-65DD-4E23-953D-02E6135E211C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800916$E04698AE-6179-437C-A1DA-EF3CB6C82C41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04fbcff559cca6e90156fc2f41ec7b56cacb0f06","datavalue":{"value":"Let \\({\\mathfrak K}\\) be a class of r.e. Boolean algebras. A r.e. Boolean algebra \\({\\mathfrak A}_{\\nu}\\) is called universal in the class \\({\\mathfrak K}\\), if \\({\\mathfrak A}_{\\nu}\\in {\\mathfrak K}\\) and for each r.e. Boolean algebra \\({\\mathfrak B}_{\\mu}\\in {\\mathfrak K}\\) there exists a r.e. Boolean algebra \\({\\mathfrak C}_{\\pi}\\) such that \\({\\mathfrak B}_{\\mu}\\times {\\mathfrak C}_{\\pi}\\) and \\({\\mathfrak A}_{\\nu}\\) are recursively isomorphic. Let B denote the class of atomless r.e. Boolean algebras, A be the class of atomic r.e. Boolean algebras and \\(A_ r\\) be the class of atomic recursive Boolean algebras. The author studies the question of existence of universal r.e. Boolean algebras for the classes B, A, \\(A_ r\\) and proves the following theorems: Theorem 1. There is no universal r.e. Boolean algebra in the class B of atomless r.e. Boolean algebras. Theorem 2. For each atomic r.e. Boolean algebra (\\({\\mathfrak A},\\mu)\\) there exists a recursive atomic Boolean algebra which is not a direct summand in (\\({\\mathfrak A},\\mu)\\). Corollary 1. The class \\(A_ r\\) has no universal recursive Boolean algebra. Corollary 2. The class A has no universal r.e. Boolean algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800916$B8E664FD-7338-4B02-BCAB-01F7023E444E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800916$7A0C6032-C225-4497-B28B-387EE377402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800916$436720F2-8D5E-4598-B108-3ABA37F875AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"817cd222019921510af1799f284acea2647098eb","datavalue":{"value":"3878910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800916$3EF32F2B-2F78-4680-A26E-DD26F289ECF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79d2c3e6f78dc24ebd8ee614f54711a6b7f9a556","datavalue":{"value":"r.e. Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q800916$BB183181-F2DA-42A7-A9D8-4524C0927FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa51c71ab0f2f2e359440137156f3488cb5847f5","datavalue":{"value":"recursive Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q800916$0E85415A-FB20-42EF-B54E-441B6BD3FEFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800916$96C591D4-428D-4D88-936E-A219DCCC44DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800916$A27AEA3E-EFC4-45DD-85B7-6B678CDC57CB","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":"Q800916$6163077A-0106-4A25-9EE9-B14FCA58C779","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b19c1e1a8afea07318de7ba14fbe8a252812b0a6","datavalue":{"value":"https://doi.org/10.1007/bf00970310","type":"string"},"datatype":"url"},"type":"statement","id":"Q800916$5BC2262E-7987-48F8-A1A2-BE925F5F38FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c623c6e29db30f768b97dbd7cd4cd502daddcf88","datavalue":{"value":"W2058885005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800916$7FD70713-3321-4948-8BE1-D255038A88B4","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":"1730e59a9095cb9a6ba166dfcb06fd5189272c4f","datavalue":{"value":{"amount":"+0.8100445866584778","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":"Q800916$8C768013-91E3-4E9A-A591-D519BFD348CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e80d8da2384e4267a1395654d34868d924cc3c","datavalue":{"value":{"entity-type":"item","numeric-id":1079562,"id":"Q1079562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694e6784d8bfb049022b0962556fe83f4a2dd945","datavalue":{"value":{"amount":"+0.808862030506134","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":"Q800916$AC56D779-41C1-40BA-9643-4D385FC5922D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0a2e7c46e2ef9558889ffb2f5c6f486740d67b","datavalue":{"value":{"entity-type":"item","numeric-id":1210349,"id":"Q1210349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425c3b4865fe7a66560c7722cebb13d7552324eb","datavalue":{"value":{"amount":"+0.8036513924598694","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":"Q800916$1F994274-4DBA-4504-99A6-778F57350246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2864201a40010838708522736cc800019650d697","datavalue":{"value":{"entity-type":"item","numeric-id":4517365,"id":"Q4517365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37231af0f22be49745320ce90bc9659222f3e79f","datavalue":{"value":{"amount":"+0.8017387390136719","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":"Q800916$E25B3834-BCA2-4C95-845B-2115DFBC456E","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":"59e9da319e097ea5c267c1f45d6ea92ee3c415bb","datavalue":{"value":{"amount":"+0.7975280284881592","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":"Q800916$2D65C96C-01D8-4DEE-9B9F-A222DF97109B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal recursively enumerable Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_recursively_enumerable_Boolean_algebras"}}}}}