{"entities":{"Q987177":{"pageid":989025,"ns":120,"title":"Item:Q987177","lastrevid":65919072,"modified":"2026-04-12T06:15:46Z","type":"item","id":"Q987177","labels":{"en":{"language":"en","value":"Free meets and atomic assemblies of frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770083"}},"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":"Q987177$39553DB4-6E43-42A5-B770-2CD47FA53554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e3d76cd01d78e6bdd7f6d58a3e653cbf4a898ab","datavalue":{"value":{"text":"Free meets and atomic assemblies of frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987177$9975AAB3-A6F9-4A12-9CF3-E1625BC3C6E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4052689addfdfcd07300eaab5291d9ae6e806435","datavalue":{"value":"1209.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987177$255F910C-4CF7-41B8-B291-ECA4DBF77396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db38f322e003950bb8bfe768011455a68be2e7a0","datavalue":{"value":{"entity-type":"item","numeric-id":189528,"id":"Q189528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$A2866D9B-34E1-4A44-A092-D8980CD0FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f8e02f85daf65a16c07aabba469f960ed1616b0","datavalue":{"value":{"entity-type":"item","numeric-id":214919,"id":"Q214919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$BDAF5899-07C5-4D7F-B744-6BAF5751B9CB","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":"Q987177$38D1EBA9-BBF6-4A95-BCF6-3D7FA5B02BB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987177$FF547431-47AC-42DB-A8D6-7C64C851B1EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c5ee512723f69566727cf119cb788f707800296","datavalue":{"value":"In his PhD Thesis [The assembly tower and some categorical and algebraic aspects of frame theory. Carnegie Mellon University (1994)], \\textit{J. T. Wilson} defined a subset \\(S\\) of a frame \\(L\\) to \\textit{have free meets} if for each frame homomorphism \\(h:L\\rightarrow M\\), \\(h(\\bigwedge S)=\\bigwedge h(S)\\). He then proved that a frame \\(L\\) has free meets (that is, every \\(S\\subseteq L\\) has free meets) if and only if \\(L\\) is a co-frame (that is, it satisfies the dual distributive frame law) and the assembly \\(\\mathbb{N}L\\) of \\(L\\) (that is, the frame of nuclei defined on \\(L\\), ordered pointwise) is Boolean.  In the paper under review, the authors say that \\(S\\subseteq L\\) has \\({\\mathcal H}\\)-free meets (for a given class \\(\\mathcal H\\) of frame homomorphisms whose domain is \\(L\\)) if \\(h(\\bigwedge S)=\\bigwedge h(S)\\) for each \\(h\\in{\\mathcal H}\\). Then, using Conrad's Theorem on complete lattices that are freely generated by their meet-irreducible elements, they show that the following are equivalent for a frame \\(L\\):  {\\parindent=6mm  \\begin{itemize}\\item[(1)] \\(L\\) has free meets and \\(\\mathbb{N}L\\) is atomic.  \\item[(2)] \\(L\\) has \\({\\mathcal H}\\)-free meets for \\({\\mathcal H}=\\{\\)surjective frame homomorphisms\\(\\}\\), and is spatial.  \\item[(3)] \\(L\\) is freely generated by the subset of meet-irreducible elements, which satisfies the descending chain condition.  \\item[(4)] \\(L\\) is a co-frame and \\(\\mathbb{N}L\\) is an atomic Boolean frame.   \\end{itemize}}  Further, the frames with free meets and atomic assembly, for which the canonical embedding into the assembly is coherent, are characterized: they are precisely the algebraic frames that can be coherently and completely embedded in an atomic Boolean frame.","type":"string"},"datatype":"string"},"type":"statement","id":"Q987177$59409713-44A0-4CAC-B55E-C2C021D4DA60","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$DF405D87-1DEE-4078-AD51-C6066D29BABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987177$19D5AD7F-D7F9-446C-A794-075F5EC838BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987177$37C97DB8-DEB8-41FE-8A94-2B3444B16E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987177$786C09A7-69AC-46CF-9C33-EB5B4D8BE016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d526a0d7e5359313b4146a3db6479bed89c846b6","datavalue":{"value":"5770083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987177$0FE680BB-5642-4AB9-9CD5-57D5F9E5D236","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":"Q987177$EF97B6EC-BBA5-4A93-AB79-C5BC02804D16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8444d1171a0abd32587c6e11b91153a18e484c18","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0048-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q987177$9ABC6385-9EF5-4C4D-997E-0892037263CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc4dd0cdc011e0131cf4060571f660efcfd63d97","datavalue":{"value":"W1981265610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987177$ADB42DD9-AB14-4859-ABD3-590FFD81BC49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b531059db91c345d4988fb54138296500ebbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":3875987,"id":"Q3875987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$1C243E0C-804F-45BB-B81E-7628A4899047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481e3900575b24a6f9fc146b5b6cf61e076b78c3","datavalue":{"value":{"entity-type":"item","numeric-id":5507659,"id":"Q5507659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$A6CA6620-EC1B-416B-8ADE-CA4DE496A018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d80ec95e85610e6e8f0705dc36c540fed75d332","datavalue":{"value":{"entity-type":"item","numeric-id":4317872,"id":"Q4317872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$8A87F070-E2C4-4742-9EC4-BB8B0F66AB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6494344f6cfc3f84da58f07415d8d8f5a7b2c29c","datavalue":{"value":{"entity-type":"item","numeric-id":2642573,"id":"Q2642573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$99B591EE-C578-4FE2-BE39-6C2DE15785E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$4AD94199-397F-421A-B401-EB2CA203DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372697e99b1a50ef3668f86411a297448cf5f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5650425,"id":"Q5650425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$647AD669-79EA-4547-B1ED-AB807C31A152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddafba25bce5ec92dc8107e44f5f41c4d3ead159","datavalue":{"value":{"entity-type":"item","numeric-id":759049,"id":"Q759049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$12C4F032-93FF-45B6-8C0E-1E77D3159D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9c55a3de0571e91a362e22f5f64a82bded54f5","datavalue":{"value":{"entity-type":"item","numeric-id":3568664,"id":"Q3568664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$B9397600-F7A8-408D-9686-02E3410BF0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$5F64A460-6548-44E3-B42D-4A5179B69326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cce7c93a48b86137625d2d7c6cb794438b6f42","datavalue":{"value":{"entity-type":"item","numeric-id":4459228,"id":"Q4459228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$A3CA8F62-B469-401A-8C16-B837EC431BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fbf81a59054b3baf206c698bd81c8a245163d4","datavalue":{"value":{"entity-type":"item","numeric-id":2504392,"id":"Q2504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$5F9DA3D0-3BCE-47D1-87B3-0FBA5C9B2018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7840669b9b5e5a772f29a8c8a1105e0370146fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2502183,"id":"Q2502183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$5DCA46D1-4A28-4D6A-BFF7-60A2455E2B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"592dcee6c7473c0f21a3493068c98085ee681558","datavalue":{"value":{"entity-type":"item","numeric-id":690095,"id":"Q690095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987177$E49DD25B-72C2-4BBC-BC94-EA6867351981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d31e94df72b86cfd682c988f1c4d5865119d1fe","datavalue":{"value":"10.1007/S00012-010-0048-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987177$E53EFCE2-FB17-43E8-91DB-5010CC8E98FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc63e1560817fa2d6375228d79d2e35090422020","datavalue":{"value":{"entity-type":"item","numeric-id":2014013,"id":"Q2014013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d36449823123b15d0fb5ae1ee9c1110030a3081","datavalue":{"value":{"amount":"+0.6993499994277954","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":"Q987177$0367B54D-8C68-4815-8D93-885F0EC71A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969410fce07f00ed16dfdd7557d818b95d7c9805","datavalue":{"value":{"entity-type":"item","numeric-id":2254577,"id":"Q2254577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520c848410c6cfbe01691c0142d35c194876c534","datavalue":{"value":{"amount":"+0.6970762014389038","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":"Q987177$B580E6B8-E74F-41AA-8851-B47AD16A1BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcae8b0bfdf6ca30b8bea95aa312e6ed3aefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4580210,"id":"Q4580210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bc5faee6875ec3599638800538f9d8a26b9165","datavalue":{"value":{"amount":"+0.6969370245933533","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":"Q987177$8FA2C90A-FF88-40C1-8753-277BF5D47F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81dd779a00855e3459a34eec6b3771091c614d48","datavalue":{"value":{"entity-type":"item","numeric-id":5254072,"id":"Q5254072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fb9618b9a52b50ff6926fb82c971bf7ae86e9f","datavalue":{"value":{"amount":"+0.6931477785110474","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":"Q987177$48E8197E-7A86-4869-99A6-621C2DFEEE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecc37517985a94d4c89b5b9f465ef84d9707ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1794278,"id":"Q1794278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb33c49d2f8e46897860434a0e191791a7954a43","datavalue":{"value":{"amount":"+0.6815369725227356","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":"Q987177$654EEC28-CF75-465D-939D-5F44D89C7DD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free meets and atomic assemblies of frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_meets_and_atomic_assemblies_of_frames"}}}}}