{"entities":{"Q793713":{"pageid":795561,"ns":120,"title":"Item:Q793713","lastrevid":48707638,"modified":"2026-01-05T16:31:09Z","type":"item","id":"Q793713","labels":{"en":{"language":"en","value":"Countable homogeneous Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857071"}},"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":"Q793713$F867465E-B1F8-4C16-B823-AA53DC9D671C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31dd87fcebba1d6f8c38ae60abfb79040f22865a","datavalue":{"value":{"text":"Countable homogeneous Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793713$BE2EB68A-CFA0-49DA-813F-2B152F3AA9CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f314d3ee3827cf4787610777948523edfe92c19","datavalue":{"value":"0539.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$DDC6BC85-8648-4BB7-B1EA-80D4D6D31FEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3b7fd7c13d836c9bc1274b962f7b5c9e4b8116a","datavalue":{"value":"10.1007/BF01980628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$EDACFE07-EC68-4590-B6F0-19D4311C1AFC","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":"Q793713$ACFC06E6-A9B7-4EB4-AD14-629E5B233DB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793713$8C5FB297-1761-48AD-826D-DC6883FD159B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65edcf189dca97e229e427ffddac44eda0dc03a0","datavalue":{"value":"https://eudml.org/doc/187180","type":"string"},"datatype":"url"},"type":"statement","id":"Q793713$F6C140C2-823F-43B1-8294-F83541B0442F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a67ebc6d81773ebf45fc0884e0849d586ec689b9","datavalue":{"value":"The author determines the countable homogeneous Boolean algebras, where homogeneous is taken in its model-theoretic sense [e.g. {\\S} 3.2 of \\textit{C. C. Chang} and \\textit{H. J. Keisler}, Model theory (1973; Zbl 0276.02032)]. The determination uses the three elementary invariants of a Boolean algebra ({\\S} 5.5 of Chang-Keisler), and some further ones of a related character. It allows to characterize those homogeneous Boolean algebras that are strongly constructible in the sense of \\textit{Yu. L. Ershov} [Decision problems and constructivizable models (Russian) (1980; Zbl 0495.03009)]. Finally, the author shows that certain cancellation laws such as: if \\(A\\times A\\cong B\\times B\\) then \\(A\\cong B\\), hold for countable homogeneous Boolean algebras, though they fail for arbitrary countable Boolean algebras as shown by \\textit{J. Ketonen} [Ann. Math. (2) 108, 41--89 (1978; Zbl 0418.06006)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q793713$A79F4BCB-508E-4F96-97BA-DB41F9A47D39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6c2741082f36ad9233d530f7f28232950cc4bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":793712,"id":"Q793712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793713$FA760F42-F5F9-4540-8B4C-57988A25964F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$CF282F6B-DC4C-4393-B3DA-281F8CE5EBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$E7CA9980-BF3C-4D9A-A3CE-67596AC6A359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$E275A4AA-4E6C-446E-857C-3D39AFBD62A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$10D52476-9944-4F69-ABC2-ADA6476EC708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$A271E9E4-8789-403D-8954-D21FBD54FB15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bfd0ce56a2a64c04e018b8f2e3a31b983d16d4b","datavalue":{"value":"3857071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$D65BDF42-2522-4CE5-94C8-13BC74009C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39f3fd6b2648e0dfab5e344690eacdfddb8aa8c","datavalue":{"value":"countable homogeneous Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q793713$F5269C08-FD98-4082-9041-BF49F93E304B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e82497c071bd1c79ea71fd08094b3569cc1d2cd","datavalue":{"value":"elementary invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q793713$C7577E76-3A06-4F7E-BC06-7E813410E249","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793713$76F313DD-5B19-42D9-B5BE-1E98DB8811FE","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":"Q793713$F065F9FB-0681-4B4D-975C-AA61D9FB2468","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f393be7e7693fa81a63ecee493915bc3f615c","datavalue":{"value":{"entity-type":"item","numeric-id":5596792,"id":"Q5596792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793713$D3145433-5FA2-481E-8314-843F285F79C5","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":"Q793713$2E4548EA-39CA-4D64-A94F-81CDE61FA7B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"625cf7c8bb98c1c16865a7e76425cc28eab965bb","datavalue":{"value":"W1989190253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793713$7D4A9D71-9265-41CF-B5B3-5AA002BCDAA8","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":"0efbcc7c9be8a263ad829db827574ee7b522e516","datavalue":{"value":{"amount":"+0.8049407005310059","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":"Q793713$709BE370-31C7-4576-9F08-1FD1CA67BDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef617d4046929a1270f2202bdd6bc12f6b1afd6","datavalue":{"value":{"entity-type":"item","numeric-id":3794232,"id":"Q3794232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efbcc7c9be8a263ad829db827574ee7b522e516","datavalue":{"value":{"amount":"+0.8049407005310059","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":"Q793713$1158D9D7-C323-4E5D-8156-BFD8DCFF109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f283ddf12621df8e70d766f4436b91bd07cdb5d","datavalue":{"value":{"entity-type":"item","numeric-id":1408727,"id":"Q1408727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52a4a3e8d03424f0159cc716baf9b0aa11f3782","datavalue":{"value":{"amount":"+0.7976974248886108","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":"Q793713$8690DE90-6EC6-48AE-B529-08B2285EFA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c106ef379bdd2529ed247de37f6ec4ceaaeb4c","datavalue":{"value":{"entity-type":"item","numeric-id":2834269,"id":"Q2834269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52a4a3e8d03424f0159cc716baf9b0aa11f3782","datavalue":{"value":{"amount":"+0.7976974248886108","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":"Q793713$89133C6C-6037-4BB6-B9B4-A9006434D01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfeef3f2f20497219d9196eeeb3c631423d2882","datavalue":{"value":{"entity-type":"item","numeric-id":4664633,"id":"Q4664633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652efce53e047902721e38fecab3a77fd36a15d4","datavalue":{"value":{"amount":"+0.7965033054351807","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":"Q793713$80717F0A-EC25-4128-BE7A-132C56673F40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:793713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:793713"}}}}}