{"entities":{"Q429920":{"pageid":431687,"ns":120,"title":"Item:Q429920","lastrevid":61774446,"modified":"2026-04-11T01:34:25Z","type":"item","id":"Q429920","labels":{"en":{"language":"en","value":"Three ultrafilters in a modular logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048501"}},"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":"Q429920$5EA83597-865C-4E78-B4AA-F2E2F38E444C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cc7cdbd2760c0f31e63e28a790cb55c7b967cb0","datavalue":{"value":{"text":"Three ultrafilters in a modular logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q429920$8B70DFC4-A4A4-433B-8E71-D0759F0B7571","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"891bc0b854976844dd568cdbda71f0c75674ed0a","datavalue":{"value":"1250.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429920$3834D7F2-06C5-432D-B97D-D8B0ED893C16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9702acfaceaa597e0a3909acae3fafbdd7405d8","datavalue":{"value":{"entity-type":"item","numeric-id":185695,"id":"Q185695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$2058AB83-332E-4ABD-A80E-A1F16B8FCFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc483e72969acb7c734c73c185088c4f5273de1","datavalue":{"value":{"entity-type":"item","numeric-id":429919,"id":"Q429919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$D64CB00A-6331-416F-B4C9-E30DBB25B121","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$AE979E46-3903-4344-99D3-3A3B3A79B5F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q429920$DD220052-69A6-486A-86BE-DCE06209B71C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e988bde6a8a1308beb02cbbdfa3123c43dfa656","datavalue":{"value":"The authors conjecture that the equational theory of the modular logics (i.e., modular ortholattices) is completely determined by that of the finite-dimensional modular logics. This strengthening of a conjecture of \\textit{G. Bruns} [Houston J. Math. 9, 1--7 (1983; Zbl 0518.06007)] is closely related to attempts to obtain a full description of the coarse structure of the lattice of varieties of modular logics. As the authors note, if an arbitrary modular logic were embedded into an atomistic one, then their conjecture almost certainly would be solved positively. A natural method of embedding for complemented modular lattices is given by \\textit{O. Frink} [Trans. Am. Math. Soc. 60, 452--467 (1946; Zbl 0060.05811)]. The main result of the paper under review is an example that shows that this approach fails: not all of the orthogonality structure of a modular logic can be carried through such an embedding. Namely, they present a modular logic \\(\\tilde L\\) such that the Frink lattice \\(\\mathrm{Fr}(\\tilde L)\\) in which \\(\\tilde L\\) is embedded by his method has an initial segment which is not orthomodular. (This is where the three ultrafilters mentioned in the title come in.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q429920$BB7B107F-6CEC-49D3-97D3-4839074A1192","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$6EEC112F-58C9-48E3-BE8C-8DE04C6E921C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429920$93EE0051-C06D-4563-8563-5011B9C77359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429920$6A79992E-4B56-49D6-A7CF-CB25BEDCC30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa4446080f6ef2ae4d17a75a38b31128fb212f09","datavalue":{"value":"06C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429920$F07CCFA9-B334-4B48-B6DD-92CE8FB669D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9acb68233c884540ac576b58716d112e659e0ed6","datavalue":{"value":"6048501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429920$FEAE8C21-3FB5-4CAF-BE40-4EF03485E4B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q429920$2A8CABA0-4A40-4C9C-96F5-89AA68DF0C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0b22a187d1c3df504222c366e677faccb0d81d","datavalue":{"value":"modular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q429920$1EF73D2C-04C8-4DFE-A9E8-779EFC6DBE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170e43ca6bcea59139a446b3848787558bcdcfc0","datavalue":{"value":"modular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q429920$1B8D3E73-9755-4A55-9B7E-3F7763F1AC67","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":"Q429920$3E9FCBB7-ABF2-4045-947A-8D3F06140AFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9abd37adb6199c165d4a85ef3ad54eb296237b0e","datavalue":{"value":"https://doi.org/10.1007/s10773-011-0902-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q429920$BF42C820-4B10-4349-BFEE-814982A3D1BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20d716ad320c4634c3d0743ba9f7d6a1551c40a4","datavalue":{"value":"W2118397695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429920$87F744D6-2035-4925-8FA3-B998257108D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f39ea0693539d74261c33bbeee919f1b969f11","datavalue":{"value":{"entity-type":"item","numeric-id":3666897,"id":"Q3666897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$E91BA8DD-E41D-44DC-ACA4-9C4351C30C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$FE35F2D2-5056-4614-9A99-24C3495C305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$A270A139-1BCB-409C-AE7D-5390CCAE80B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30385d6cd8da3c00585ed44029ed83e681841a4","datavalue":{"value":{"entity-type":"item","numeric-id":5834593,"id":"Q5834593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$FC5F83F8-F79C-4E2B-B1FF-F1603824F515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e629addb24359e80ce54629bef2c0ef0affea894","datavalue":{"value":{"entity-type":"item","numeric-id":4931110,"id":"Q4931110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$EBDFE6F8-168D-42EA-A527-F68DCFDB6D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a091476f295a0f91a5e566e52c68ffb22cd19b","datavalue":{"value":{"entity-type":"item","numeric-id":1866837,"id":"Q1866837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$181EB5B2-53FA-4CC5-99FE-D13D686DD4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f84407bcedd9ef6db9596e8a5e50750a85a60b","datavalue":{"value":{"entity-type":"item","numeric-id":2474101,"id":"Q2474101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$BF946554-27B8-45F1-8FD8-9EE7C534FC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13de170524202408f4a6ce5b721a1338e77c29","datavalue":{"value":{"entity-type":"item","numeric-id":5760775,"id":"Q5760775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$84D54B46-21C4-4D28-8CA3-FF448A157B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f99b0446b34174a4b605aafb9fcd926576910e","datavalue":{"value":{"entity-type":"item","numeric-id":1089016,"id":"Q1089016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429920$305DB9A8-1BA5-4368-AEA9-A87D39025660","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae3a150583ba4f42f79441da45f7f45b27aec8a8","datavalue":{"value":"10.1007/S10773-011-0902-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429920$7055876B-61A5-4095-9481-24374BDF412D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d3cdbf1b66ba1083064e3d88466e13118fb65e","datavalue":{"value":{"entity-type":"item","numeric-id":3781104,"id":"Q3781104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9958c8e42b3528e9c57e05e3c14ae9f1dcced715","datavalue":{"value":{"amount":"+0.7246273159980774","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":"Q429920$053F8A0B-FDA0-43D3-83F7-D2BC9B519429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b220d2727f97c02874dda1c5407d0fd29ff84daa","datavalue":{"value":{"entity-type":"item","numeric-id":2372685,"id":"Q2372685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3feb884142162ca5708179aae1c36570170f6b","datavalue":{"value":{"amount":"+0.7201365232467651","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":"Q429920$651FF7B2-F7EE-4441-B263-2C9152BEA9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdf4b0f31052ec72ebd7742ba1984ed3eaee972","datavalue":{"value":{"entity-type":"item","numeric-id":1866837,"id":"Q1866837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d916efb5788c758826ff73865929f4003a05f22","datavalue":{"value":{"amount":"+0.7189968824386597","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":"Q429920$92134CD4-030B-44F7-BB88-DD03C3B28C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7007fb99df70a1cae0384176d998b33bd170e3e5","datavalue":{"value":{"entity-type":"item","numeric-id":1200434,"id":"Q1200434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cff3117cbe15faf71115280072a85e99958fb0b","datavalue":{"value":{"amount":"+0.717264711856842","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":"Q429920$D82E8DDE-B4D5-439D-91F7-37F9C9E02AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167c4baa075be7b5fa33cb2144c2ee1946511ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1991589,"id":"Q1991589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c0903eb22a0d7137da1a6023fb9bfc9522a8ae","datavalue":{"value":{"amount":"+0.7156587243080139","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":"Q429920$5C38DCB0-6716-4A36-930A-D746C91160D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three ultrafilters in a modular logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_ultrafilters_in_a_modular_logic"}}}}}