{"entities":{"Q1185236":{"pageid":1195985,"ns":120,"title":"Item:Q1185236","lastrevid":70762023,"modified":"2026-04-13T16:39:23Z","type":"item","id":"Q1185236","labels":{"en":{"language":"en","value":"Alternative characterizations of finitary and well-founded Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37909"}},"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":"Q1185236$35B5A1DD-9AD4-42EC-B5A9-EF9C45DF878D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45e08bb5332dc3ce84704621aa39604b8e1fadcf","datavalue":{"value":{"text":"Alternative characterizations of finitary and well-founded Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185236$BC4A3422-A255-412D-B454-832CBCA755C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33e3ad1985c13e7a44e0fc34586a079d20344e4","datavalue":{"value":"0753.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185236$D64CBF37-9005-4538-844D-CBD706322890","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96c3ab2ac716655eafa1127f107e300550e8c22b","datavalue":{"value":"10.1007/BF01190759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185236$E81D63FF-BB94-451D-8346-C8A978495558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d77036adeab8664572cb1ddfc734431dbcbdf52","datavalue":{"value":{"entity-type":"item","numeric-id":690116,"id":"Q690116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$13642E5D-1C7D-4C0E-A6CB-C69023E83E02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$6CC8E9BF-B762-471D-A786-F41799954D6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185236$89D6037F-3BEB-49A3-AA0D-A2E8611726E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7030deae21ed7d2546622bcb5c7c21f0bf7a2372","datavalue":{"value":"This paper is, roughly speaking, concerned with logical descriptions of countable Boolean algebras. The first main theorem shows that two particular descriptions are equivalent: a countable Boolean algebra is finitary iff it is in Palyutin's class \\(\\mathcal K\\). Here ``finitary'' precisely captures the notion ``there is a finite description so that any countable Boolean algebra which satisfies the description is isomorphic to the given algebra''; \\(\\mathcal K\\) is the class of countable Boolean algebras that have a countably categorical weak second-order theory. The second main theorem characterizes finitary Boolean algebras by their Ketonen invariants: a countable Boolean algebra \\(B\\) is finitary iff it has finite depth and \\(\\mu_ B(1)\\) is finite, where both depth and \\(\\mu_ B(1)\\) being finite are statements about the relation between the algebra and its ideal of superatomic elements (an element \\(b\\) is superatomic iff the factor algebra \\(B| b\\) is superatomic). The relevant definitions (not given in this review) and machinery have varied sources and are quite complicated; the author is to be commended for avoiding the temptation to simply appeal to earlier work, and for making this paper self-contained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185236$02CD9F38-599C-49A7-84FA-AA5C2790E13E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185236$92D1BA27-4E11-4A07-A22E-E437F1939FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185236$BA9100DE-5A5E-4077-90C8-B7CE4FC01AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185236$E484B142-4963-42E0-8DB2-54FA97C34DCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"055d62b5caeb950893144abd06b2872a9b47cb19","datavalue":{"value":"37909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185236$9656DCCE-E263-46A8-9719-BD54402B59E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce6b1621826c5119a6da6677ce10934b545fd09","datavalue":{"value":"logical descriptions of countable Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185236$6423CCD0-A4B4-4B5B-8EE6-D209EBD06777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb30dbb61e3c61b395f3da136160b89d3c12edf","datavalue":{"value":"Palyutin's class \\(\\mathcal K\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185236$1735C96B-0F4C-4E1B-8513-3B2F160CC2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1b22427e8201aa74e1bf1ae5473b73d0284074","datavalue":{"value":"countably categorical weak second-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185236$DF3AE064-8BDC-448D-8C53-1EBBC8F409C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a9a1526cf904f562d08f523ab72d64a35ac363c","datavalue":{"value":"finitary Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185236$D6962A57-7A22-4871-BCBA-E04280863BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c44db792d8816c85e5eb0e283d122a0ccd0998","datavalue":{"value":"Ketonen invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185236$524FB3C4-31B4-4EB0-8C0E-D0F504DEEBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370124d2be686c7cbee3b0b511e725e52f048a9b","datavalue":{"value":"ideal of superatomic elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185236$3DBE3F80-AB23-474B-A1FB-354B54D0998A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b883d357593be4500a752315c01f382d8c2baf4","datavalue":{"value":{"entity-type":"item","numeric-id":587961,"id":"Q587961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$BBEDE0B7-152C-4569-9FAA-782491E548A6","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":"Q1185236$2D2157FF-7218-4C55-B7D0-6A5B132713C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"818b02fc32b069f211c853797d4f8a56a125bee2","datavalue":{"value":{"entity-type":"item","numeric-id":4111555,"id":"Q4111555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$6345ACC5-B44F-4439-B226-148F609FA8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6932d4f809ef99b30965a9dc4c8e3df00993da","datavalue":{"value":{"entity-type":"item","numeric-id":2266034,"id":"Q2266034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$131A52C2-908D-4986-B221-3AECFDD156E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94bda2ba3a93468eb543fef3317f280e0af87cf","datavalue":{"value":{"entity-type":"item","numeric-id":3313850,"id":"Q3313850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$B4286215-C67E-4B89-8F68-A50E5C11307C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4391a685b133fad54005be4d8e7ae19f387b74","datavalue":{"value":{"entity-type":"item","numeric-id":755600,"id":"Q755600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$795EF3FA-2F2C-4157-B781-66FCF93219AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f067426f1a6a3b3bc6aad987813b4105a8b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":5667240,"id":"Q5667240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185236$AAA7EA05-51F6-4E79-913C-284A7786574E","rank":"normal"}],"P1643":[{"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":"1b16676de7c3c4106692188fb997bb7113c81add","datavalue":{"value":{"amount":"+0.7713332176208496","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":"Q1185236$3BBCA21C-2189-48DD-8E40-6B48BE1CADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2816d8850833afc20ed81c64aec0dda4cbb2f4cf","datavalue":{"value":{"entity-type":"item","numeric-id":3130249,"id":"Q3130249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff58ff960a1a8e5585ec2d2fc2e8ee87d89216c0","datavalue":{"value":{"amount":"+0.7561132311820984","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":"Q1185236$7F0BB30F-FB68-44BB-A4DF-5643321FFC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce835146e93884188e68a4b840d2143cddac6611","datavalue":{"value":{"entity-type":"item","numeric-id":515496,"id":"Q515496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed709672a462bdaa7c0ad3ac70f3e8111b5eee0","datavalue":{"value":{"amount":"+0.7546067237854004","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":"Q1185236$E912D3DD-4FBB-4001-A91F-88EA972CB6E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternative characterizations of finitary and well-founded Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternative_characterizations_of_finitary_and_well-founded_Boolean_algebras"}}}}}