{"entities":{"Q2390507":{"pageid":2401250,"ns":120,"title":"Item:Q2390507","lastrevid":74000874,"modified":"2026-04-14T18:00:41Z","type":"item","id":"Q2390507","labels":{"en":{"language":"en","value":"A new aspect of the cozero lattice in pointfree topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5585275"}},"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":"Q2390507$EA51FF49-411C-48E6-BD8D-E88B04BBA64C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d0e4799b9765db198acd054016c313fa35d9aae","datavalue":{"value":{"text":"A new aspect of the cozero lattice in pointfree topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390507$3D9C069B-3210-4B5F-B06A-B2FA1FA3E486","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87b5508775feb49de92b03887f79d269b358e32e","datavalue":{"value":"1175.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390507$A01A7334-67EB-40D7-9EE6-A19B0B442038","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$ABD8FD9A-D93D-4BA6-92CF-D07758AF021D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa5175cfbf455de09775e77fbc8884c835bf57d4","datavalue":{"value":{"time":"+2009-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2390507$AEC825EA-3BA0-4D1C-99A0-A82EBF24208B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6681abf16b6cc198ea6c230c4482272af2404ca","datavalue":{"value":"The lattice \\(\\operatorname{Coz} L\\), the cozero part of a completely regular frame \\(L\\), has hitherto been studied from the point of view of it being a sub-\\(\\sigma\\)-frame of \\(L\\) -- a result proved by invoking the Axiom of Countable Choice (ACC). Numerous properties of realcompact and \\({\\mathcal R}\\)-complete frames have been been established by the author and his collaborator in the paper [\\textit{B. Banaschewski} and \\textit{C. Gilmour}, ``Realcompactness and the cozero part of a frame'', Appl. Categ. Struct. 9, No. 4, 395--417 (2001; Zbl 0978.54019)] under ACC. In the present paper, the author shows that, for certain purposes, ACC is actually not required. An earlier instance where a major result (namely, \\(\\operatorname{Coz} L\\) is a completely normal lattice) was obtained without invocation to ACC, is in the author's paper [``The Stone-\u010cech compactification and the cozero lattice in pointfree topology'', Appl. Categ. Struct. 15, No. 5--6, 473--479; erratum ibid. 481--482 (2007; Zbl 1151.54021)].  The present paper commences with the introduction of what the author calls Archimedean ideals of \\(\\operatorname{Coz} L\\). These are lattice ideals \\(J\\) of \\(\\operatorname{Coz} L\\) such that \\(\\text{coz}(\\alpha)\\in J\\) whenever \\(\\alpha\\) is positive in the \\(f\\)-ring \\({\\mathcal R}L\\) and \\(\\text{coz}((n\\alpha-\\beta)^{+})\\in J\\) for all \\(n\\) with some suitable positive \\(\\beta\\). The choice of terminology, as the author explains, is based on the fact that an ideal \\(J\\) of \\(\\operatorname{Coz} L\\) is an Archimedean ideal precisely when the \\(\\ell\\)-ideal   \\[ \\text{coz}^{-1}[J]=\\{\\varphi\\in{\\mathcal R}L\\mid\\text{coz}(\\varphi)\\in J\\} \\]   of \\({\\mathcal R}L\\) is an Archimedean kernel, in the usual sense. By establishing, among other things, that the lattice \\({\\mathfrak A}\\operatorname{Coz} L\\) of all Archimedean ideals of \\(\\operatorname{Coz} L\\) is a completely regular frame such that the correspondence \\(L\\mapsto{\\mathfrak A}\\operatorname{Coz} L\\) is functorial, the author proves the following very delectable result:  Proposition. For any completely regular frame \\(L\\), the join map \\({\\mathfrak A}\\operatorname{Coz} L\\to L\\) is the coreflection map from \\({\\mathcal R}\\)-complete frames as well as the only \\({\\mathcal R}\\)-isomorphism to \\(L\\), up to isomorphism, with \\({\\mathcal R}\\)-complete domain.   A bounded lattice homomorphism \\(\\tau:\\operatorname{Coz} L\\to M\\) to any frame \\(M\\) is here called an Archimedean homomorphism of \\(\\operatorname{Coz} L\\) in case   \\[ \\tau(\\text{coz}(\\alpha))=\\bigvee \\big\\{\\tau(\\text{coz}(n\\alpha-\\beta)^{+})\\mid n= 1, 2, \\dots\\big\\}. \\]   It turns out that the map \\(\\operatorname{Coz} L\\to{\\mathfrak A}\\operatorname{Coz} L\\) taking \\(\\text{coz}(\\alpha)\\) to \\({\\downarrow}\\text{coz}(\\alpha)\\) is the universal Archimede\\-an homomorphism of \\(\\operatorname{Coz} L\\). That established, \\({\\mathcal R}\\)-complete frames are characterized as those \\(L\\) for which any Archimedean homomorphism \\(\\operatorname{Coz} L\\to M\\) extends to a frame homomorphism \\(L\\to M\\), and the realcompact ones as those for which any Archimedean homomorphism \\(\\operatorname{Coz} L\\to \\mathbf{2}\\) extends to a frame homomorphism \\(L\\to\\mathbf{2}\\). These characterizations are, in essence, choice-free forms of earlier criteria given in the first of the papers mentioned above. Replacing the lattice \\(\\operatorname{Coz} L\\) with \\(BL\\), the Boolean part of \\(L\\), and the \\(f\\)-ring \\({\\mathcal R}L\\) with \\({\\mathcal Z}L\\), the \\(\\ell\\)-ring of integer-valued continuous functions on \\(L\\), delivers ``discrete'' counterparts of these results.  The paper closes by investigating the effects of accepting ACC into the plain of discourse. In that case, any Archimedean ideal of \\(\\operatorname{Coz} L\\) is a \\(\\sigma\\)-ideal, and any Archimedean homomorphism of \\(\\operatorname{Coz} L\\) is a \\(\\sigma\\)-frame homomorphism. It is precisely because of this that the aforementioned characterizations of \\({\\mathcal R}\\)-completeness and realcompactness are choice-free versions of their earlier counterparts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390507$CA19CEA9-0299-4BA8-AC4E-A9EE0FBCD89E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4460b849e764629d83cdb4b306b4a5cc07c8af5c","datavalue":{"value":{"entity-type":"item","numeric-id":248778,"id":"Q248778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$B62F9BD8-1217-4352-8349-03A8AFF741FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390507$A385D6C4-310A-4F48-A876-2648ECDE21E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d96b93cd49457b779ea668da6b1190ba16972e5","datavalue":{"value":"54D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390507$1E82B157-FA7F-4902-9E5B-480EEA7557B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbf99762aa94f8082bd1629470e6aec1a1a00283","datavalue":{"value":"5585275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390507$4E03B8D0-5AE6-4B08-BC37-15D26A15062D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ead19ace8356f71aedec1dc6db172c4a90b58ae","datavalue":{"value":"completely regular frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390507$5912770B-E1B4-4836-8378-5E212F974C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010765696e7e7197c3733f35e38eb6c56db38e6e","datavalue":{"value":"cozero part of frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390507$0B410F77-F891-4243-8A02-B2B90C5B3DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6f748e78029eacf7b7d6a8597b93806218d72b","datavalue":{"value":"axiom of countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390507$E85BF083-C016-4E3E-8471-8FF4125803BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1573a1c0d8947a1cee82ea2b70365eb706e8dbf2","datavalue":{"value":"\\({\\mathcal R}\\)-completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390507$C47337FC-D5AC-4E29-AB95-9E3B2926D0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77a68973bbb085d1b3ea6205b7d3a95634422878","datavalue":{"value":"real compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390507$CE69102E-B8F0-4368-A10D-7EC53AE72E06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$5CEB5C5A-8AA4-4EB1-854B-3E2B10A12B23","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":"Q2390507$A47464F2-A225-4463-BB15-80F557D4D232","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5b858d794c13cc3c0616a780ef7e4a971f5053b","datavalue":{"value":"https://doi.org/10.1016/j.topol.2009.03.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390507$01CAF85E-C983-4E96-A537-9DC71610D8EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caa0c998b488f9bf61fe050f890ad0cb43855642","datavalue":{"value":"W2042514164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390507$06194B5A-3346-4725-91B5-BABAFAD4813A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9391ef1a3c1b3e8110e40ae8bd97ee6a9f9c75f","datavalue":{"value":{"entity-type":"item","numeric-id":3819682,"id":"Q3819682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$841240D3-4AA3-4587-8867-8F1A49CC5670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7ba911b2b6edb23394401175ffc755090fa7fe","datavalue":{"value":{"entity-type":"item","numeric-id":4396195,"id":"Q4396195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$9C79E860-B3DF-4553-8645-B4C8C38C9778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274e39d4764b1516f6e781e278af607dad150cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5938998,"id":"Q5938998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$BC4A30C6-3E1C-43F7-9839-633CB95CFE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5e2cf7868335061b0058178ffbd87b68abe8d1","datavalue":{"value":{"entity-type":"item","numeric-id":816653,"id":"Q816653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$C536BB2A-18E4-48C2-BD09-59FE79087A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c135e2a06ea395e411bbbf598eb4681b66fef","datavalue":{"value":{"entity-type":"item","numeric-id":5947276,"id":"Q5947276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$C9ADE888-CB7E-4AE0-B1E4-27083871D79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f2c1b47c977d00edf7dff9ef8bfb26a5ed3e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5799614,"id":"Q5799614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$E3FCB92F-4D78-45CA-A9CF-392BBB4F0F35","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":"Q2390507$47C59BC1-A2CB-42D9-8FE4-D682C08480B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6b16e1f33eb6a50beac6e1d5dfa8b33416925f","datavalue":{"value":{"entity-type":"item","numeric-id":3739857,"id":"Q3739857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$0CDD182E-1E3D-4D6F-8E5C-443997673861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bda4a8227418c4e3b143476c00b3d05ba908a55","datavalue":{"value":{"entity-type":"item","numeric-id":4668868,"id":"Q4668868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390507$E1182DC5-FB31-4866-8B48-173E491F7AB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc27255feec94a1f79cd375c98c0fcd0689a193b","datavalue":{"value":"10.1016/J.TOPOL.2009.03.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390507$99DE2C5C-E156-4026-ABBD-36648AEB5EBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0f5f6b7357aebcb4654f82a6679d64dba8295c","datavalue":{"value":{"entity-type":"item","numeric-id":2471011,"id":"Q2471011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7302d09712e3edbb814480cbe096a33b45fd2e5","datavalue":{"value":{"amount":"+0.789245069026947","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":"Q2390507$47239C96-1D47-47A6-99C7-3C98DBB218D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"219549ed6da14f8e3684e65096311b9774cde585","datavalue":{"value":{"entity-type":"item","numeric-id":5928470,"id":"Q5928470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac74feefa854c184be1315fea4e9a7ab2886862e","datavalue":{"value":{"amount":"+0.7681981325149536","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":"Q2390507$02FD5A8E-98E0-430A-B5A9-0E26A7C8C2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a373886d62bfa27afba29fd0a6af0c55fd52f6","datavalue":{"value":{"entity-type":"item","numeric-id":4374682,"id":"Q4374682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534bab4701da080ffc7c615e31826a431e91de70","datavalue":{"value":{"amount":"+0.7681052684783936","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":"Q2390507$5A0C73B9-07FC-41FF-99F9-DAB5E116E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbea3b5ffe86dcc32c33b91e683d0f5fc64a20f","datavalue":{"value":{"entity-type":"item","numeric-id":3169355,"id":"Q3169355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9dc5bfc1b11fe296036b8a9f5f962d9ee68b59","datavalue":{"value":{"amount":"+0.7660017013549805","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":"Q2390507$6A73E671-63B3-4140-9D07-3CF60DC33CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3320293dfe097627d9913fd713702ba49db33bd","datavalue":{"value":{"entity-type":"item","numeric-id":3568664,"id":"Q3568664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a087a461901809cd4ba0aaf0b45c5b6c2ba1bf54","datavalue":{"value":{"amount":"+0.7643025517463684","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":"Q2390507$79B1D685-E61B-4B50-BEE1-53C618FC9B75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new aspect of the cozero lattice in pointfree topology","badges":[]}}}}}