{"entities":{"Q1295398":{"pageid":1306148,"ns":120,"title":"Item:Q1295398","lastrevid":68393205,"modified":"2026-04-12T23:24:45Z","type":"item","id":"Q1295398","labels":{"en":{"language":"en","value":"Decidable Boolean algebras of low level"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308081"}},"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":"Q1295398$8A517336-B4AD-4D02-87C2-439FE82B6A1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0790f5d05cf5f65abc2a55ff18c569b4f070395c","datavalue":{"value":{"text":"Decidable Boolean algebras of low level","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295398$C23020FA-462C-427B-958C-AC750F564214","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21bf2d5ad305f39e055c44e067c7e65b468c1498","datavalue":{"value":"0938.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$BAE27526-426D-413C-B63F-8174770259BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8559c54b27bc8f6b903c0d15b86eafa6b5e30c7d","datavalue":{"value":"10.1016/S0168-0072(97)00068-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$13E055F3-F855-489A-9B4B-E4DAECB3BA3B","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":"Q1295398$C5FDAEA5-1FC5-4268-854A-BDC08623B8F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe66a28cad835273ea4119156e456cbd684380d","datavalue":{"value":{"time":"+2000-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295398$401E8784-DF5A-40C8-9188-4436E8A3F176","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43da80b4a58a1fa6ff005c58eda6c8ee2e67f675","datavalue":{"value":"In this paper the author studies the question on decidability for Boolean algebras of low level. The author notes that the decidability problem for classes of algorithmic problems on effectively prescribed systems is one of the main purposes of the theory of constructive models. Studying constructive models, it is important to investigate correlations between the decidability of different algorithmic problems in a constructive model as well as the study of these questions depending on the choice of constructivizations. The author studies interconnections between the decidability of all elementary properties of a constructive Boolean algebra and that of all atomic properties of enrichments of the Boolean algebra. The author notes that to answer the question whether a Boolean algebra is decidable, it is important to study the existence of constructivizations of enrichments of a Boolean algebra \\(\\mathcal B\\) to algebraic systems of the restricted signatures \\(\\sigma_n, n\\in\\omega\\). In the paper under review the author studies the question concerning the decidability of a Boolean algebra if its characterization is \\((1,1,0)\\). It is proved that if a Boolean algebra \\({\\mathcal U}\\) admits a constructivization with a recursive set of numbers of atoms and \\(\\text{ch}({\\mathcal U})= (1,1,0)\\), then \\(\\mathcal U\\) is decidable. Further, the author analyses a recursive Boolean algebra \\(\\mathcal U\\) with a recursive set of atoms and recursive Ershov-Tarski ideal \\(I({\\mathcal U})\\). Using this investigation, he proves that if a Boolean algebra \\(\\mathcal U\\) admits a constructivization in signature \\(\\sigma_{4n-1}\\) and \\(\\text{ch}({\\mathcal U}) = (n+1,1,0)\\), then \\(\\mathcal U\\) is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295398$B7743304-DE83-433C-9948-74589A0A459E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$EF21682A-6DA6-4D76-B294-804B05E29796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$6E7B91E8-175A-47B2-8529-161070416764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$18C84B2C-7805-4C35-A80E-E870917856CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$84F1A33D-94A5-47BE-B163-7117E65F9F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3714af114450ef566376f5362007873c7d5e67d1","datavalue":{"value":"1308081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$45CAE223-0FBF-43D2-8317-52976EC0EF21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f1b3edc6adc98c73d5f6466de617b2e372638a","datavalue":{"value":"constructive Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295398$D58D862C-4EAE-4237-9FE5-F71CA9FBBF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295398$B397135E-77F9-4ADE-8735-70C01F9DB1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3513ac961084dfa96e695402b9da579649c4e4ec","datavalue":{"value":"constructive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295398$8821D019-0B1F-48B8-950E-64CC69996454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295398$31B8A261-B3E1-410B-B625-71977A3BF7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa51c71ab0f2f2e359440137156f3488cb5847f5","datavalue":{"value":"recursive Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295398$5458ED80-DDD9-41EF-8B01-5AF632A9D503","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":"Q1295398$5FB98A91-2C73-4494-AD95-86F51B5D8F8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$1CB30D6F-3E6E-4A4E-829C-AF593B03814E","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":"Q1295398$E7436EC9-3E93-41A2-B30B-A79C8F0890E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$348F058E-6ACE-406E-A3C6-F6B271240C64","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":"Q1295398$8D1DC949-8FE8-402C-B17C-DF5DDD5A1F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91002ab7a59e5e5d928482238af9333753faeb68","datavalue":{"value":{"entity-type":"item","numeric-id":1210349,"id":"Q1210349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$AEDE9389-2351-4A3D-B33E-FB83A933C865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$F1152051-676B-49DE-B213-5E37DD11A7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61553a4cff6da810308940b89be0991181390ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4044564,"id":"Q4044564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$0D585F99-0CC1-4D1D-9D89-8F06DDFE1A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8531d6d5833750bd5060c93e4d7a3c91a520c392","datavalue":{"value":{"entity-type":"item","numeric-id":3994666,"id":"Q3994666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$6009AC12-3C41-47FF-86CC-B1571F4BD35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ab30786eeea0428ab77572fb16bf84c915dbf2","datavalue":{"value":{"entity-type":"item","numeric-id":4405152,"id":"Q4405152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$EA5BA3F4-E109-49EC-8E26-2C88BC8061B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de351fbcb712b29d39f7319e372dcbd71934f065","datavalue":{"value":{"entity-type":"item","numeric-id":4067090,"id":"Q4067090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$C42EAD4B-435D-4577-A1F1-583BC2A26E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1f134dd53e512a0b57c257eb926dd5883a2757","datavalue":{"value":{"entity-type":"item","numeric-id":4133973,"id":"Q4133973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$8AA81B0D-BB31-4C4A-ABC0-8A72DEF767C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccc044b303b77c3d48a48fd558ef36a08e6e233","datavalue":{"value":{"entity-type":"item","numeric-id":922530,"id":"Q922530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$5D36FA79-AB7B-424A-B48F-B1E5732B25DF","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":"Q1295398$C4EDE116-B43A-491A-A01B-FC9C24A9B319","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":"Q1295398$4564E692-5960-4A3F-B8DD-8A628FEBB67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504cd6cbe0b106c4e5ce0af5d58106850ba854c1","datavalue":{"value":{"entity-type":"item","numeric-id":1346920,"id":"Q1346920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295398$E60A8F69-0884-45C9-AAA7-070C976169F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67be118ed849ee7edb4aa38c1a94584b9814938e","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00068-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295398$19579E81-1BCA-4339-81D8-FFBD2EDC4CB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c4ba98d1d49298806bdfb2c820e49d34106bc23","datavalue":{"value":"W2058511598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295398$B6181592-22D2-4BD0-BC3E-89123572ECB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f4f93bfcac2207b60c3f428254a9422c66d61c","datavalue":{"value":{"entity-type":"item","numeric-id":2569574,"id":"Q2569574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d10e86aa03976dbdf0d7f171c53049d2c494d9","datavalue":{"value":{"amount":"+0.8807801604270935","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":"Q1295398$9F0765EA-5335-4220-B604-FFE08F135D6C","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":"66e465fbf7d36cf233ef75f07e426adbeb769fc9","datavalue":{"value":{"amount":"+0.8491989970207214","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":"Q1295398$86989F5B-BD7F-4039-8C39-36CD18BFBFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5d7f2271e38687fabd60ebc1bda396f1adc1d","datavalue":{"value":{"entity-type":"item","numeric-id":416985,"id":"Q416985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9eb06eb94c30fadbc98815bced48a208d5cd37","datavalue":{"value":{"amount":"+0.8379836082458496","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":"Q1295398$D43D5C0B-1779-4830-AE2B-DA5978FDBC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf634e86292f8ed5fedbe3c7aa4f0e4f7e84546","datavalue":{"value":{"entity-type":"item","numeric-id":5476784,"id":"Q5476784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d978e0c6973a1e6057b9357421673e93674bc75b","datavalue":{"value":{"amount":"+0.8296349048614502","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":"Q1295398$1AC51948-1B1A-471D-B95E-179AB1BBBAC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable Boolean algebras of low level","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_Boolean_algebras_of_low_level"}}}}}