{"entities":{"Q1104315":{"pageid":1115064,"ns":120,"title":"Item:Q1104315","lastrevid":66724014,"modified":"2026-04-12T12:25:20Z","type":"item","id":"Q1104315","labels":{"en":{"language":"en","value":"Countably-categorical Boolean algebras with distinguished ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055585"}},"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":"Q1104315$27CB5A61-9664-4036-B893-918BEEA75ED4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dabd5461440b6b76f00a86168de9f19126c97f16","datavalue":{"value":{"text":"Countably-categorical Boolean algebras with distinguished ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104315$AF30F131-F7DD-49AE-86ED-60CA2BD415F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d8279924447ec746b05728e18f46b3f15048a17","datavalue":{"value":"0647.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104315$848C19CD-D05A-404B-A016-2A4A0656AD0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1492424b20313978da67fdf8fe912c945b6d5d70","datavalue":{"value":"10.1007/BF00370375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104315$5FA828FE-8B82-447A-B11F-4A03E402714C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abdd6a9bf7fafb6ff5c95d47719527cf7017edd6","datavalue":{"value":{"entity-type":"item","numeric-id":498300,"id":"Q498300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104315$D04173AF-49D9-4B4A-AA9B-0EED5950FE6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104315$2DF9A84D-C411-450B-86B8-E6A22A5B4D77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1104315$9F0D0F95-2B3A-4BBF-AD10-A939B557C8F8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e28551cd2877201c8e22e005cc4fa2b3eb95dd6e","datavalue":{"value":"The Boolean algebras B with distinguished ideals are the algebraic systems \\(<A,\\cap,\\cup,-,0,1,J_ 0,...,J_ m>\\) where \\(J_{\\ell}\\) \\((\\ell \\leq m<\\infty)\\) are unary predicates defining ideals of (the Boolean algebras) \\(<A,\\cap,\\cup,-,0,1>.\\) From \\textit{Yu. L. Ershov}'s paper [Algebra Logika, Sem. 3, No.3, 17-38 (1964; Zbl 0199.031)] it follows that for \\(m=0\\) Th(B) is decidable in, at least, the two following cases: 1) \\(B|_{J_ 0}\\) is finite, 2) there exists \\(\\sup \\{x| \\quad B\\vDash J_ 0(x)\\}\\) and B is atomic. As is known for \\(m=0\\) there exists B such that Th(B) is undecidable. In the reviewed paper all countable Boolean algebras with distinguished ideals having countably-categorical elementary theory are described. From this description it follows that all countably-categorical elementary theories of Boolean algebras with distinguished ideals are finitely axiomatizable, decidable and, consequently, their countable models are strongly constructivizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104315$7809999D-D21C-42D8-A5F8-A2080931227E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104315$EAC9A7F2-C0B5-4640-AE6F-FCC28FD08DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104315$5B8E119A-C339-4A3C-BD69-AA3CD24756D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc7a6bd3d373a516df3069078ef314872ee0cfff","datavalue":{"value":"4055585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104315$D0ED8F19-6EAF-4E9E-9A0A-C5DD1F129006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb391d8717fbf061a6cd78e12a3d70bfc170bb61","datavalue":{"value":"countable categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104315$4B64538D-7915-4C96-9625-54464BDF722E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104315$D1E793D0-97DF-4C28-9F76-D3D7196220AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104315$DF00233F-3D69-49FB-826B-7B0F94FCDCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14499ed02fb7b03a98106f5525c553cdf09305a","datavalue":{"value":"strong constructivizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104315$B29FC096-ACA5-422A-A562-3721CD14B19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a896020772d10f60f23f01374a9b202415740f","datavalue":{"value":"Boolean algebras with distinguished ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104315$3FC79A43-9593-4AC5-A6C3-05152C70F7C2","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":"Q1104315$17B83BE2-CD4A-466B-9E59-74543695E5C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6e50920a8aec21dc096d49a9df1ef4d8338969","datavalue":{"value":{"entity-type":"item","numeric-id":755643,"id":"Q755643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104315$29A52F49-8A4A-4CCA-B8F4-DC6FCC82AD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e263dd893e39eab3ed0cefbe3898f1b0f0d18d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1077151,"id":"Q1077151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104315$8C083089-78A6-424E-9E64-F10EDCF838DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104315$E556C1C2-BEE7-436C-8974-F0982D55E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0571e61d3fdbfa339f93f6a12100bea4a5f60de1","datavalue":{"value":{"entity-type":"item","numeric-id":5612472,"id":"Q5612472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104315$05F8C8A1-E16F-4378-9D77-FD1BD54A994E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0bbc056c87f3e2fd9e6e6ce06d2f16a30c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5802110,"id":"Q5802110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104315$00FA5A6F-8739-4674-AF65-85C09DABD044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37ece3ccc46ebe2956e1ee54f2c4c122453d51f","datavalue":{"value":{"entity-type":"item","numeric-id":3115370,"id":"Q3115370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d2c7dfc29d373a377fd137b83258a23e19b823","datavalue":{"value":{"amount":"+0.8892915844917297","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":"Q1104315$566D25DF-E022-4EDD-97C3-2AF333D5D52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cb6a992fba693e52ecc8e32d1de3e7f8fa5d22","datavalue":{"value":{"entity-type":"item","numeric-id":3791130,"id":"Q3791130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd43822c402b1e40d213fac055e617c667e35fe","datavalue":{"value":{"amount":"+0.8626815676689148","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":"Q1104315$E1B179DD-198A-42E8-A7DE-B50BA1C4AFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e562d828a50b9bf66e73245c748eaa908425b88","datavalue":{"value":{"entity-type":"item","numeric-id":4808467,"id":"Q4808467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b7d2d2e08a65f803644d8e86a2d28783d97ff5","datavalue":{"value":{"amount":"+0.8601276874542236","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":"Q1104315$A9C1C67E-D263-44D7-9A0A-DF03D69FDD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c775b49cd24cb09f48349f971241d2b9ccec99e9","datavalue":{"value":{"entity-type":"item","numeric-id":1317627,"id":"Q1317627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b7d2d2e08a65f803644d8e86a2d28783d97ff5","datavalue":{"value":{"amount":"+0.8601276874542236","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":"Q1104315$896BAAA9-F914-4C1F-A95F-36045FCC299E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871e377ac73fe581824fddd89bc123b372598fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4895321,"id":"Q4895321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9082d142a7f7f955ffab90da58b3b3d9b817126a","datavalue":{"value":{"amount":"+0.8316531777381897","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":"Q1104315$6EF4E4A5-0E52-4EA8-A57A-5D1F2B470D1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Countably-categorical Boolean algebras with distinguished ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Countably-categorical_Boolean_algebras_with_distinguished_ideals"}}}}}