{"entities":{"Q1914757":{"pageid":1925499,"ns":120,"title":"Item:Q1914757","lastrevid":43418641,"modified":"2025-07-25T15:57:00Z","type":"item","id":"Q1914757","labels":{"en":{"language":"en","value":"Prime and countably saturated models of the theory of Boolean algebras with distinguished ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 894002"}},"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":"Q1914757$9DFAD660-C21E-4620-90AC-EE5B9D20FB54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a714c4063ccede3fb82ff76b71f79efd6fa82ab","datavalue":{"value":{"text":"Prime and countably saturated models of the theory of Boolean algebras with distinguished ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1914757$311CF696-6DF5-4549-B3AD-B52D4798B687","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83ea0d77814bc09222bb55d63b4594ddf3adea7b","datavalue":{"value":"0854.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914757$A90E68F8-724C-4B75-A33A-2D181AD99ABA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abdd6a9bf7fafb6ff5c95d47719527cf7017edd6","datavalue":{"value":{"entity-type":"item","numeric-id":498300,"id":"Q498300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914757$9B4986CB-71BA-4E8D-B68D-537415F183FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914757$37E2B177-B39D-469D-A511-8BDDFB9ABA55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"167527d4079e99e37f5c235f2e89025c3ea4d0bd","datavalue":{"value":{"time":"+1996-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1914757$EA601A05-7B66-42EF-8B20-541D28B9737B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"796d89b610b33d8b90811fc82dbd829f896ee714","datavalue":{"value":"Elementary theories of Boolean algebras \\((A; I_1, \\dots)\\) with distinguished ideals \\(I_1, \\dots\\) are studied. Such algebras are called \\(I\\)-algebras. The author finds a wide class \\(K\\) of \\(I\\)-algebras such that for every \\(B \\in K\\), \\(\\text{Th} B\\) has a prime model. It is proved that every countable nonsuperatomic Boolean algebra has continuum many \\(I\\)-enrichments \\(C\\) with distinct \\(\\text{Th} C\\) that have prime models but not countably saturated models. Sufficient conditions are found for an \\(I\\)-algebra to be a prime model. In particular it is proved that if a Boolean algebra \\(A\\) is superatomic, then \\((A;I)\\) has a prime model for any ideal \\(I\\). A sufficient condition is found for an \\(I\\)-algebra to have no countably saturated models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914757$48B9F7BD-BFA5-4B62-95A9-4E5ACCF06566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914757$C77A9C0F-4622-4721-8E60-A682FF603ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914757$63C8AE3B-7508-43F0-8F3A-9F7D0AE00CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914757$D3E74682-957A-4C07-BFA8-5EE36CE711DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914757$178D10C1-8564-47D3-B650-7EF259B072BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ca231876216b01496fc723ab97ed62e632f1c2c","datavalue":{"value":"894002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914757$42638270-1F5B-4220-9831-420B756C56D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914757$55AF205D-8560-4249-8821-F719EFD1C75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914757$67DC902D-F239-441C-88A6-13E028DCA22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914757$DBCADBDA-2AB7-4D9A-AE45-DDEB56AACB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa0c1dc1823a99df0d127614079ee5dd647fbe7","datavalue":{"value":"countably saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914757$464533DA-E58A-4B2F-B76B-D9A81411C2C2","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":"Q1914757$3A6BFEDF-F6A1-4DEB-82F7-F11A07DA452C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a3df32ba036fe9a011e4ada38f7872cdfffbd","datavalue":{"value":{"entity-type":"item","numeric-id":1914758,"id":"Q1914758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6cc1654dd9db758bb80517cb098bb568a7b36f5","datavalue":{"value":{"amount":"+0.9334811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$7ACF39E7-BB9C-42DA-A390-250F733114BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d472e12b3b18c1c00c78ea15023e72939eed94e","datavalue":{"value":{"entity-type":"item","numeric-id":4249222,"id":"Q4249222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c7af1d043e65a8c9be89d87168f76f0d65df9a","datavalue":{"value":{"amount":"+0.8869852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$5573F63B-6E40-4B3C-912A-5DB3653B807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af511eee763a01d1def7361a10e59eb9a350d9d7","datavalue":{"value":{"entity-type":"item","numeric-id":1104315,"id":"Q1104315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572fa21ec3545a78cbc535e0a941a8c7993c06d6","datavalue":{"value":{"amount":"+0.88343555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$04B4BDEF-B7E1-4036-ADCA-1CCB16C6BB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e854b4a4abdec7a22f737be7ee242f95085abed5","datavalue":{"value":{"entity-type":"item","numeric-id":1312171,"id":"Q1312171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc5143d60c73a65fec424fc65c6c4edcc78c976","datavalue":{"value":{"amount":"+0.8798189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$9D8CDCB6-55E9-4970-AEE6-7C3200AB8C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aa6276f0628461e2f20731efbe728c53c484b9","datavalue":{"value":{"entity-type":"item","numeric-id":1112807,"id":"Q1112807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c955163cd5f31609913da37f7baf2e7e472ad0b","datavalue":{"value":{"amount":"+0.8736806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$573BEDE7-0EAC-4066-B252-09B843F9BDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cb6a992fba693e52ecc8e32d1de3e7f8fa5d22","datavalue":{"value":{"entity-type":"item","numeric-id":3791130,"id":"Q3791130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c955163cd5f31609913da37f7baf2e7e472ad0b","datavalue":{"value":{"amount":"+0.8736806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$D999DBBA-D71A-4B94-9185-AEEB399921A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37ece3ccc46ebe2956e1ee54f2c4c122453d51f","datavalue":{"value":{"entity-type":"item","numeric-id":3115370,"id":"Q3115370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f926ecc1d2ae4c3eb8be574196acfb48b41921c6","datavalue":{"value":{"amount":"+0.8724381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$3FFE6A60-F1FA-4A55-B0C6-D9A2E4637676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dce2dd4e40506848fa0be3a80c41e0c99994de9","datavalue":{"value":{"entity-type":"item","numeric-id":5396221,"id":"Q5396221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b117c8eedcddbcbeea2660b34400b269157b2915","datavalue":{"value":{"amount":"+0.87205416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$0CA9145E-14FA-4682-99F0-9C42B49B8A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e78b75476dd7e5f6a8a2ed9fc766318837f30c","datavalue":{"value":{"entity-type":"item","numeric-id":548771,"id":"Q548771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a868160de4c1dc03bf7ba0c7c0ee1dfeafb53bd","datavalue":{"value":{"amount":"+0.87018335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$FE9E48F7-83D2-4D4C-8A47-2A58B43103A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042e3efc2aad9b6e7e1eef6db906845b681bb7c8","datavalue":{"value":{"entity-type":"item","numeric-id":5430060,"id":"Q5430060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1341a4a8408909e33ff8d5043aace878275c3ea","datavalue":{"value":{"amount":"+0.86758447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914757$911FE06E-8590-4CF3-84DE-5A850805C8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1914757","badges":[]}}}}}