{"entities":{"Q1346920":{"pageid":1357659,"ns":120,"title":"Item:Q1346920","lastrevid":67669941,"modified":"2026-04-12T19:15:27Z","type":"item","id":"Q1346920","labels":{"en":{"language":"en","value":"Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738967"}},"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":"Q1346920$8EE1EC78-5A3F-4D1D-9236-1708230BAA75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55596680c54d2aeb5b355ef7ca4f67c85807a593","datavalue":{"value":{"text":"Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346920$6D555369-51E6-4F1B-8114-457C56243697","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eda61c17be8d657bd8e7262abdab1e09599a1f94","datavalue":{"value":"0824.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346920$28E65C6B-AF1F-4BCA-A0E9-3EF697A7DF38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e3bd8aa0a14e1b02ef6eb15c754c801ba849edd","datavalue":{"value":"10.1007/BF02263052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346920$C53BE3DA-EF8A-41A7-8300-D42A5689ED7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf985c616907c1e9955ba5f76e3614abf4737c0","datavalue":{"value":{"entity-type":"item","numeric-id":1346919,"id":"Q1346919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346920$F308E1DF-55D8-442D-BC1E-4A73C6D3B9F7","rank":"normal"},{"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":"Q1346920$9B3E61C3-958E-4383-8B58-C4CA911B1C99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346920$51D565D6-4A3A-48F1-B185-45B731BAE8E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346920$9A4446F2-3B4A-4BB2-8584-B3707B496DBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1494ed3a4ff792194fb233865958a09365ae677e","datavalue":{"value":"The paper contains a step in the solution of the problem formulated by \\textit{S. P. Odintsov} [``Restricted theories of constructive Boolean algebras in the lower layer'', Inst. Mat., Novosibirsk, Prepr. No. 12 (1986)]: does there exist a constructive but not strongly constructivizable Boolean algebra of the Ershov-Tarski characteristic (1,1,0) admitting a constructivization with a recursive set of atoms? The result is the following Theorem. If a constructive Boolean algebra \\(\\langle B, \\nu\\rangle\\) of the Ershov-Tarski characteristic (1,1,0) has a recursive set of atoms and is effectively presented as a direct sum of constructive Boolean algebras \\(\\langle B_ i, \\nu_ i\\rangle\\) with the first characteristic 0, then \\(B\\) is strongly constructivizable. To solve this problem completely, now it would be good to find some effective representation for any constructive Boolean algebra with recursive set of atoms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346920$A1B512D0-242F-4B15-BEAD-5C1862C1AF0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346920$B1709F6F-46B6-4482-BFBD-CED78E96B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346920$18ED971E-AFE9-4585-AE93-20C6FC0862AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ede7917ef5df57c34dfb1fabd776695fe8375d69","datavalue":{"value":"738967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346920$BAF18508-8C7A-4FDA-8CDF-9D76E77FF0F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d247931a35a8a53e4fee9c3ae644b6746211b7","datavalue":{"value":"constructivization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346920$EA5E26CE-9DDF-4C0B-89A0-35CA78AFC678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f1b3edc6adc98c73d5f6466de617b2e372638a","datavalue":{"value":"constructive Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346920$76EDC951-B335-483E-ACD1-4E437F4D1037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1afaf009f88bd8c7cab89448aa01726b37534c7","datavalue":{"value":"direct sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346920$2681CCA1-1565-4763-A027-248EE0070390","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346920$DCF81033-1DF5-4D6B-B03C-4DDF73DA4691","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":"Q1346920$484EC358-5833-4A23-AD99-4E322BBC80D5","rank":"normal"}],"P223":[{"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":"Q1346920$DFFF159D-41A7-4523-9E16-C49FB2A629BD","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":"Q1346920$9E1714D7-D0D6-465C-994D-EFDB12641413","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":"Q1346920$73F13AC0-539C-48CF-8FA9-86B8BB8A4828","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6647d143bb7ff2e9c372ce795b4edf196fc76ca4","datavalue":{"value":"https://doi.org/10.1007/bf02263052","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346920$E7ED25A7-D827-40F1-AFA6-FBD77C607090","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a79415e5c8770f706f00b96652a3839daec20e30","datavalue":{"value":"W2007816181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346920$7D621256-04E3-482D-93AF-37F75631203C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c78dc3998651f526503717de099f5a99adb8844","datavalue":{"value":{"entity-type":"item","numeric-id":4795517,"id":"Q4795517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e09584064e5c824a43b6b45f117955a95ecefc2","datavalue":{"value":{"amount":"+0.9056427478790284","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":"Q1346920$66AB125C-D981-454A-BF20-A0B8AEC7213B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9585e9945a82cd6e176dfacd92fc504b11d31f78","datavalue":{"value":{"entity-type":"item","numeric-id":2342305,"id":"Q2342305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405aa4c9b2f4f9d45cf008dddf941def62d9b3f6","datavalue":{"value":{"amount":"+0.9054044485092164","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":"Q1346920$FA4E72BC-2C3B-426C-8492-6791B82B442E","rank":"normal"},{"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":"3fd9ac17d05754d92b6335b636b422efbb905fa1","datavalue":{"value":{"amount":"+0.8789243102073669","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":"Q1346920$689671B2-B8E8-456F-BB53-C08F4610C9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de95d4895605514ac10fef26066d15750374174","datavalue":{"value":{"entity-type":"item","numeric-id":4936684,"id":"Q4936684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8357334e2f2fd41ba4b0e45dc9cb4556b340bd6","datavalue":{"value":{"amount":"+0.8723217844963074","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":"Q1346920$7E7FCD1C-5BCB-4B5F-84C3-3E97456A62FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d017b7feef295a80fa909ec9f5a0a2ba5f8a76a","datavalue":{"value":{"entity-type":"item","numeric-id":4436288,"id":"Q4436288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e33f0232a0803213bbca204cb27adbddf738c5f","datavalue":{"value":{"amount":"+0.844203770160675","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":"Q1346920$80E4899B-FF56-47BF-9D9E-C16D4CA169DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_constructibility_of_Boolean_algebras_of_elementary_characteristic_(1,1,0)"}}}}}