{"entities":{"Q922530":{"pageid":924378,"ns":120,"title":"Item:Q922530","lastrevid":65434641,"modified":"2026-04-12T02:33:59Z","type":"item","id":"Q922530","labels":{"en":{"language":"en","value":"Arithmetic hierarchy and ideals of enumerated Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168665"}},"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":"Q922530$43BA1499-5A1F-43BB-9265-219C751413AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b44a353f5d02b9b23765a02fe77db5ec4ae860e0","datavalue":{"value":{"text":"Arithmetic hierarchy and ideals of enumerated Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922530$D894A266-6A4B-452D-AD40-CB7B84AB8B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45d9d3fed5053c59e87adf52a7efc1033aa7a37b","datavalue":{"value":"0711.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922530$E2EB11CD-CFBF-4A71-B8D2-0AA68A05F62C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d69ae4bc2c42796c57914805c05455ac21725426","datavalue":{"value":"10.1007/BF00970918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922530$362B37E4-66A3-4C59-9DA9-046D5BCCD1DD","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":"Q922530$A3FAE17F-FB67-4EBF-8BC0-85423E56A814","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q922530$B33E7E54-92D4-44AB-9923-F8BD202E0765","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d2cd6e59ee2007455f1b6b3f61e9244f92bec50","datavalue":{"value":"The paper is devoted to enumerable Boolean algebras of arithmetical complexity. It is proved that every \\(\\Pi_ 1\\) Boolean algebra is recursive and every \\(\\Pi_{n+2}\\) Boolean algebra is a \\(\\Sigma_{n+1}\\) Boolean algebra. The complexity of quotient Boolean algebras with respect to some natural ideals is also studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922530$6FBB6160-5A33-4838-BD4E-50318E0179DD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922530$2A2851C5-CB19-4642-A9DF-C8392985CA89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922530$6B5B47AF-F28C-4327-974B-E79797DDACA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922530$274793D4-2E03-48D0-AFE0-1F08AF6FF5AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25813f902869c0d6dd7c1ef2a4876acb5f87c8d1","datavalue":{"value":"4168665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922530$1EB2C174-EDD3-4E99-AFD0-C075649B775C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1baae1638ca291ecbfe0b2d27cf4e81224283c","datavalue":{"value":"enumerable Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q922530$389BAD5C-A1FF-4F7B-8DEB-0600307D6A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e104b74c7adc572dce26818cc0ea7191b77b50","datavalue":{"value":"arithmetical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q922530$45C3A18E-BDF8-4C55-9DA3-895D0F6805F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0385014dd6d6fdfe7f3a5a44dcc1ff3e368ee853","datavalue":{"value":"quotient Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q922530$9976E14D-333E-43A0-BC71-1406C494C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q922530$BD4903D2-7AD2-4E8E-90A6-336BFB4472A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922530$006D8BCE-EE5D-413D-8D9B-9548D7AD5D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6f4952b674055246aabc00ad86b88076a60bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949620,"id":"Q949620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922530$AD62E177-8FA5-49B9-98A0-AEC711873C73","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":"Q922530$F904D199-B10E-4272-B535-3917873C1B89","rank":"normal"}],"P223":[{"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":"Q922530$E8B7EE7B-7742-4BC1-A2F5-6811D76AC161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc9b3f543a41c988076ae748700dea2b62bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4767304,"id":"Q4767304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922530$E7E4F747-8FCC-4656-A897-D1ACBBE304CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e9af439637f227c9335a1e89a3f9cc87076eba","datavalue":{"value":{"entity-type":"item","numeric-id":3815291,"id":"Q3815291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922530$415A91E6-A622-468B-8E8F-15552B573100","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4980d461fa84606dc744367af6f7f70f249e52d1","datavalue":{"value":"https://doi.org/10.1007/bf00970918","type":"string"},"datatype":"url"},"type":"statement","id":"Q922530$88A5F833-07BC-429A-BC9A-8DC8AC803E30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7297fa85d5be21da2a2165f6d4962c8dc0345e86","datavalue":{"value":"W2014131004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922530$B30FC230-1C22-4E87-968A-2F00B168C052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fc3bab82033ded560e786a153bb4bd9f55681b","datavalue":{"value":{"entity-type":"item","numeric-id":4936685,"id":"Q4936685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ff970a65f0ee2835e5f6c6b1995b4f84ea099b","datavalue":{"value":{"amount":"+0.8196825981140137","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":"Q922530$F17FBF13-83E3-4E1B-BC8D-54FF641A59AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3b262e7d6eb11db5b5d2a622feabda2469122c","datavalue":{"value":{"entity-type":"item","numeric-id":915723,"id":"Q915723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34177591bc18bf8eaead29c180bf1a60dbfcd450","datavalue":{"value":{"amount":"+0.8152080178260803","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":"Q922530$F579E507-E73E-4030-8B69-A46229A74104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787175360db6356f78c5c0e6c83a1cfadb49bd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4664630,"id":"Q4664630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1588a6c58ff947cc585639065c2083578437f9","datavalue":{"value":{"amount":"+0.8125277757644653","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":"Q922530$BBDA992C-F660-47EB-ADE5-A054A46E778D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff6c3f968f0efbd10d9838b2f5ef5e74bf9e23a","datavalue":{"value":{"entity-type":"item","numeric-id":1284381,"id":"Q1284381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911e366e93bb77b314d03541e1408d5b98d9fb6c","datavalue":{"value":{"amount":"+0.7786926627159119","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":"Q922530$FB5B6BFB-4896-4E26-A9FD-10EC5640A0AD","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":"d598243f2d9b69cc3a0169aafe845d5c236ca674","datavalue":{"value":{"amount":"+0.7781816124916077","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":"Q922530$FF5B983A-D013-4157-B430-BD263D752A0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic hierarchy and ideals of enumerated Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_hierarchy_and_ideals_of_enumerated_Boolean_algebras"}}}}}