{"entities":{"Q685061":{"pageid":686910,"ns":120,"title":"Item:Q685061","lastrevid":47187994,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685061","labels":{"en":{"language":"en","value":"A construction of Boolean algebras from first-order structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416876"}},"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":"Q685061$48DA0523-508F-4987-9D85-0F8BCA9331E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b56dec6fe3e34929f5bd5d5c35430cb8e3af99a3","datavalue":{"value":{"text":"A construction of Boolean algebras from first-order structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685061$B532EE8E-9C10-459E-A46D-9021DDC4192E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58d793153a711241327c472806fa5e7b185c825d","datavalue":{"value":"0780.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685061$D14E9729-B707-4BA1-A9C6-126D74BEB0D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42a6caf026f441006bc523b6331a8ba9fff9ebbb","datavalue":{"value":"10.1016/0168-0072(93)90095-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685061$B789536D-2792-45DC-B8F2-59F417C418B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"445cd81d0a82888271d4d380b3b32894ae2321a3","datavalue":{"value":{"entity-type":"item","numeric-id":175057,"id":"Q175057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$35B99108-10BA-4928-B497-4CB7CFE9F08D","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":"Q685061$16CE0727-F9B9-465D-8D4D-FD8FA107BB92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685061$157D89E1-B2E1-43F6-A8D4-58E13462CC92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b600728e40cd0b1631e40503edd9717dc7c24fa","datavalue":{"value":"Let \\(\\mathcal A\\) be an \\(\\mathcal L\\)-structure with underlying set \\(A\\), and \\(\\Sigma\\) a theory in the language \\(\\mathcal L\\) enlarged by a unary predicate. A subset \\(U\\) of \\(A\\) is called a \\(\\Sigma\\)-set, if \\(({\\mathcal A},U)\\) is a model of \\(\\Sigma\\). If the sentences in \\(\\Sigma\\) are of a special form (called universal over \\({\\mathcal L}\\)), then the family of all \\(\\Sigma\\)-sets is a closed subspace of \\({\\mathcal P}(A)\\) (where \\({\\mathcal P}(A)\\) is identified with \\(^ A 2\\) with the product topology) and thus a Boolean space.   The author investigates the corresponding classes of Boolean algebras which can arise for a given set \\(\\Sigma\\). She shows that several classes of Boolean algebras previously considered in the literature can thus be obtained. Among them are the classes of all Boolean algebras, free algebras, finite-cofinite algebras, pseudo-tree algebras and interval algebras.   It is shown that the class of semigroup algebras is Horn definable. Further on the author gives some results how model-theoretic properties are reflected in the corresponding class of Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685061$2959BA24-740D-46CD-9A80-1EFD9A7A5FA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$F59060D9-A3EF-44AE-850F-BDD300922471","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685061$3E2BF88B-921C-4563-99A0-2BA90C30C04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685061$DE79F33C-81D6-4184-89A2-2D3A210B2808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b91111adde34b2bc69357b29e12fd3bdd56beb2d","datavalue":{"value":"416876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685061$C85D7517-2C6A-4018-8558-FEAA89A2AADE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q685061$C8C179C1-7B7A-4A2C-8BA4-7EC07A092C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q685061$4CFA8A9E-4F43-4E4D-BC3A-CE97C2ED01FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e606f8898b4abf969275a2d99c90cb05169fa2f5","datavalue":{"value":"semigroup algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q685061$54AC4BF4-1000-45F0-B85D-8A6BC1AE4C9E","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":"Q685061$5E0D76C3-E69D-4D26-A45F-F51D5DC4E5E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47dc37863769cc7f18eb05252d9b9020a9a9b078","datavalue":{"value":{"entity-type":"item","numeric-id":4744957,"id":"Q4744957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$B382CEEF-9E23-45AC-9381-FFB936ED4A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83fc7674b26f6d992af560a1b806d8c7b303c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3753093,"id":"Q3753093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$6918F099-E74D-4F9C-88A6-8FE6F7495881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48aa736fe76e80c222ca6f2e8dab0fa25f867e2c","datavalue":{"value":{"entity-type":"item","numeric-id":3037507,"id":"Q3037507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$7FC7C6D0-AFD3-4122-AFDB-5C84161F27FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750edd445cc14b3f363c1cdb5e77478e53dbb4a0","datavalue":{"value":{"entity-type":"item","numeric-id":3043202,"id":"Q3043202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$384B628E-5234-4ECE-BAF2-B9D33BEDCEE7","rank":"normal"},{"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":"Q685061$A5F1BED6-2F6A-445E-8632-A558A038A385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f9a1b2f1cc5ddf5e06d45bbfac9833b56e463c","datavalue":{"value":{"entity-type":"item","numeric-id":4074992,"id":"Q4074992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$A67D1FB7-F903-4B65-968E-4019C7E02836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae4f1815a19e4e444ae3fd8045e4aa7cdffb372","datavalue":{"value":{"entity-type":"item","numeric-id":4145754,"id":"Q4145754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$D00E122B-6E0F-431E-8B74-1048290E96CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488574e409f5aa64b53f1abcfeb21c4edb4b0f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3203688,"id":"Q3203688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$F395223F-FFDB-4C74-80B1-9E05398359E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31340da24dd0a0138fc4ed53d82e07c8afdbe6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3480104,"id":"Q3480104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$FF409039-B912-4C91-8090-A5363CA8DAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d62fca6fed1b699740e7f101ad4e41281175d33","datavalue":{"value":{"entity-type":"item","numeric-id":1843579,"id":"Q1843579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$1215A27C-49C3-447D-9ADB-16E02D745BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$FDBF3B74-487E-4AE4-9DFB-6262B2947D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78119ee0a43d8a3d3cad9413cdde5c819ece3f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1198482,"id":"Q1198482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$50EFD5FD-97C6-43E4-B750-556DC98A24CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd50d6f8b592d9361f5716715251eb5a473fb61","datavalue":{"value":{"entity-type":"item","numeric-id":4194081,"id":"Q4194081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$4A54BE09-5543-4A02-B568-B3AB4E9A54B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef407998fb8e0ad5e496b69623f8818fd9f6c95","datavalue":{"value":{"entity-type":"item","numeric-id":3041166,"id":"Q3041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$D2A896CB-B9F1-4167-B982-1493F12C5740","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":"Q685061$20BF95D8-4D30-47D4-A13A-D1EEE70C30D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b50e237c6bef8e68eab2006506f700ab51d6cb0","datavalue":{"value":{"entity-type":"item","numeric-id":4129437,"id":"Q4129437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685061$BCD559F4-C2BC-4D20-88FC-2843A4D8834F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1c2c1b2ed0c794467ea265c5769b648cbe0e3f3","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90095-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q685061$8AFEF347-78F7-4E99-8D57-63EB775D2B9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbaec66f4cdd920b41b724e98a36828865fa5fc9","datavalue":{"value":"W1983722008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685061$17E138FE-7530-4FE4-AC81-D06A2651CF7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716b9e7ccea5d4242933cf088aa5795b93f94c23","datavalue":{"value":{"entity-type":"item","numeric-id":3689231,"id":"Q3689231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f391cbc1f0f75d4c4f1660dafb5ebd021a736cf","datavalue":{"value":{"amount":"+0.7663534283638","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":"Q685061$76A61674-7FF8-4987-9103-40957CCA9FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095907e84d9357f22e4dcde96cc20f693e3a57e8","datavalue":{"value":{"entity-type":"item","numeric-id":4283064,"id":"Q4283064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3917d4a52ff6b41c75ce9cc6814cb2d0ea7b6173","datavalue":{"value":{"amount":"+0.7466205954551697","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":"Q685061$5A8F6AB7-063D-41F3-8EE8-F244FDADD4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85316754d0341fd04ed497a9d8778923267a8f87","datavalue":{"value":{"entity-type":"item","numeric-id":4723707,"id":"Q4723707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af4a59635190ac1aff255f506d56e5d97746faf","datavalue":{"value":{"amount":"+0.7455427646636963","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":"Q685061$123FB7D8-FD00-42F7-8C0C-9CD16ABBBEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c8aa13d6a4e4bab80156e0538c4b1346a8fad9","datavalue":{"value":{"entity-type":"item","numeric-id":3137694,"id":"Q3137694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5ef16acf64d21c92a5a3502285d1382826f047","datavalue":{"value":{"amount":"+0.7443147897720337","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":"Q685061$1377D919-3234-4581-9363-469BA0E311F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff6756674bf4cb2e42b2797a4971a27ab8536d7","datavalue":{"value":{"entity-type":"item","numeric-id":4347708,"id":"Q4347708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a89306a69c9a01de40c49447140782b6de5ba5","datavalue":{"value":{"amount":"+0.7424357533454895","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":"Q685061$C5C27DFE-B594-4560-BEB7-1EB0B77EF966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685061"}}}}}