{"entities":{"Q523147":{"pageid":524914,"ns":120,"title":"Item:Q523147","lastrevid":57059745,"modified":"2026-03-26T11:15:03Z","type":"item","id":"Q523147","labels":{"en":{"language":"en","value":"On the strong Freese-Nation property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6706485"}},"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":"Q523147$2F8EFB2B-13CB-4BEA-B752-6E0545F73F5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e73419bdb7521d05dd34271e3438c7ba3c936c4","datavalue":{"value":{"text":"On the strong Freese-Nation property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q523147$676E8EEA-C2C4-40F6-9896-F76D548F4AD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da56125b9a93e9b3ee6566ac6a0b87ab5bfceb84","datavalue":{"value":"1373.06016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$65FF7A75-D34F-4CDE-A9FB-7FE0C59FA056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"254fefd9b023573398d268d799643eb26c72cf18","datavalue":{"value":{"entity-type":"item","numeric-id":438811,"id":"Q438811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$D8E5B466-C425-4C2F-94F3-402E4C2B0EDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$FDCF1160-3140-4D5C-B769-AEC7548C356E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4362aaeafabc18b4ad2758d34cea4d65885260b0","datavalue":{"value":{"time":"+2017-04-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":"Q523147$124E00B1-7C40-4F81-8C1B-DF703153AB00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da9db1ad7042e8baecf48727d9bbc02d8c6bfed7","datavalue":{"value":"https://arxiv.org/abs/1412.7443","type":"string"},"datatype":"url"},"type":"statement","id":"Q523147$7E3F3E8A-D62A-4094-82DC-7E70FB027BC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8560b5f270a689c2e69bc9bdb49a359233fc9958","datavalue":{"value":"A Boolean algebra \\(A\\) has the Freese-Nation property if there is a function \\(f:A\\rightarrow[A]^{<\\omega}\\) such that for all \\(a\\leq b\\) in \\(A\\) there is a \\(c\\in[x,y]\\cap f(x)\\cap f(y)\\). Subalgebras \\(B\\), \\(C\\) of \\(A\\) commute if for all \\(b\\in B\\) and \\(c\\in C\\), if \\(b\\leq c\\) (resp. \\(c\\leq b\\)) then \\([x,y]\\cap A\\cap B\\not=\\emptyset\\) (resp. \\([y,x]\\cap A\\cap B\\not=\\emptyset\\)). \\(A\\) has the strong Freese-Nation property if there is a directed family \\(C\\) of pairwise commuting finite subalgebras of \\(A\\) such that \\(\\bigcup C=A\\).  The author shows that there is a Boolean algebra which has the Freese-Nation property but not the strong Freese-Nation property. To do the construction he introduces equivalent formulations of both properties involving sequences of elementary submodels.","type":"string"},"datatype":"string"},"type":"statement","id":"Q523147$6EBEBAB5-31A2-4D4C-B6B3-B4A9F4298711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$5173911D-EBD2-4A7F-8F45-4C99DF32808E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$6A29B625-3750-451B-9330-938320029747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$58B393FC-5986-487A-9018-CB93E58D67AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$E3A494FC-9616-488C-9066-DD664E154BFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0624279f439a593faf2eb4d811f3028f1f5a25a","datavalue":{"value":"6706485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$4DBA399C-EF02-4072-8001-808C3E1A4710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e41cb98092c7823432f9b8d788955ac95823be","datavalue":{"value":"Freese-Nation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q523147$5C2CD8B6-8530-4721-BA07-E074BD45F495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q523147$104BD0D0-9A8F-4D26-9054-970E9B1035B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33368d504ab8192330317d6e6011d7839f32dd6d","datavalue":{"value":"long \\(\\omega_{1}\\)-approximation sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q523147$987045C4-61B2-48EB-A492-054928C5530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1e2e56548d400d62ffe5e9b3f1e021155ec883","datavalue":{"value":"strong Freese-Nation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q523147$BB26A096-33EB-42AA-90C1-FF66925A8C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c643c2102847638eaa84e997e634a707f7c56a6a","datavalue":{"value":"sequences of elementary submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q523147$172F7AF0-2215-4757-9190-8F5DF7FD1B2C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$D88A2AF4-38BF-49C6-9CD9-832ABD1F1F8D","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":"Q523147$E8F2426E-948D-4AE1-BAE3-5DE65EB009A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c11cf6fd96e969932eb8d67e6bc9a17acce47266","datavalue":{"value":"W3100913861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$2190ABB2-7359-4DBE-93EA-FE2A7DD2228F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3dda885d8f8eba56a1a2e6585ed535ca918b01","datavalue":{"value":{"entity-type":"item","numeric-id":5728943,"id":"Q5728943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$C7D3ABDA-39DB-4E1B-A72C-E52D8B8E93CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953f844594c394bec3e16118f007388b5d2665c3","datavalue":{"value":{"entity-type":"item","numeric-id":1247988,"id":"Q1247988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$7CE0BB67-D164-45A5-B20F-ED3A4887A574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0de401551a018442f34881e704c94c4052a3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1919552,"id":"Q1919552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$DC12D225-99BA-4056-B3C9-55E214F0AB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6768ead9c449c079c9f881f16dbf7ad03ffd4f36","datavalue":{"value":{"entity-type":"item","numeric-id":3948295,"id":"Q3948295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$BB06D702-56C8-4350-B041-E5AFDB4D3AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e3ab9d8485cdb5393b5699277f6be197de3c38","datavalue":{"value":{"entity-type":"item","numeric-id":4544949,"id":"Q4544949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$7EAB2639-4887-4E7C-9628-7B4C60A844CA","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":"Q523147$21FE1AC0-F3DA-43F5-BD3E-D73E2AA0AAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615e63a08f987a7e47333bf6dc0a0d5e17c40ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2378310,"id":"Q2378310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$E0C6BE2C-49D5-4758-A86C-62D5C0583EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee5a452d27c791516cdbc84ac33e627f023e18e","datavalue":{"value":{"entity-type":"item","numeric-id":438812,"id":"Q438812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$3BD11F2F-6634-4393-BB1F-92BE92D85EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ca6310d2a11efc5624e0d0e851bfe045d4de4b","datavalue":{"value":{"entity-type":"item","numeric-id":4110321,"id":"Q4110321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$A6DB883F-7358-4EF8-8E22-94B5DD85C781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c427f19098664bd01890a44fe1cf74893d29cc","datavalue":{"value":{"entity-type":"item","numeric-id":3876679,"id":"Q3876679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$A8175DC1-70AB-41FE-A945-2A96AAB8BA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57276c06ebf6eedd42021d730b5ffaefe769291c","datavalue":{"value":{"entity-type":"item","numeric-id":5576208,"id":"Q5576208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523147$CE49C699-E850-4CD1-BAEB-57F0D541EC71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68050361748963388dbd4fa202908c7c7c8f94ff","datavalue":{"value":"10.1007/S11083-016-9389-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523147$541F9299-6B23-4908-A0F9-E30AB06B28D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af879664bcfa3a80a9df352af1bb5ea7835662c5","datavalue":{"value":{"entity-type":"item","numeric-id":5946047,"id":"Q5946047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31472c9008049737ce740eb9454ed93cf9bd2ab","datavalue":{"value":{"amount":"+0.8150323629379272","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":"Q523147$B44BCC67-858E-4348-9EF6-0F3AA6A10ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c59bcfb6c85e04e70f7421a1f0ad26da0cec482","datavalue":{"value":{"entity-type":"item","numeric-id":2665204,"id":"Q2665204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31472c9008049737ce740eb9454ed93cf9bd2ab","datavalue":{"value":{"amount":"+0.8150323629379272","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":"Q523147$6DA01EA5-F658-48B2-A937-B172E9FE8B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da707a642bab620df4906eab867c35d046385111","datavalue":{"value":{"entity-type":"item","numeric-id":438812,"id":"Q438812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ea0332332e54d9259f7fe6a770b3919aac68b7","datavalue":{"value":{"amount":"+0.8090233206748962","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":"Q523147$0253B86C-9A00-42B2-B9CB-A439A379AE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de295f165467b6dc368afeb786f7525502c2898","datavalue":{"value":{"entity-type":"item","numeric-id":4365475,"id":"Q4365475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa5a26928cb39ff62025b714610827c7d7885f6","datavalue":{"value":{"amount":"+0.8043931126594543","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":"Q523147$80E79406-B5D4-4995-AC83-F9668D5D7812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21a8fa9fbac1044f96f76ad80ba129aa646dc1c","datavalue":{"value":{"entity-type":"item","numeric-id":1919552,"id":"Q1919552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5d5f343997844c4ef0cf3f45595d69afa4c8c5","datavalue":{"value":{"amount":"+0.8034104108810425","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":"Q523147$72F111BB-BB80-4098-99C7-1A87BAE64A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:523147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:523147"}}}}}