{"entities":{"Q1046887":{"pageid":1048735,"ns":120,"title":"Item:Q1046887","lastrevid":66030012,"modified":"2026-04-12T07:03:24Z","type":"item","id":"Q1046887","labels":{"en":{"language":"en","value":"Remote points and the like in pointfree topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652014"}},"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":"Q1046887$3C78BC80-AA63-42A9-85D0-DF7C8231031A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a7de4a1eb2c9f6cada5d11fb3c95840d2090151","datavalue":{"value":{"text":"Remote points and the like in pointfree topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1046887$7D1C5918-69A0-4814-B6BD-82BBED9AC893","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8ec6ab15f42935c4b286db294790f137f1edfe0","datavalue":{"value":"1199.06035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046887$66A1B228-8C16-46B4-9B28-210636B84D52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c2d4777f2744b402998b7945adfbeb22c23961","datavalue":{"value":{"entity-type":"item","numeric-id":1026046,"id":"Q1026046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$8E810B51-38A1-46D7-8A8B-FAAEA17FF5EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$E5A21294-BF61-4000-8247-BD72F6FF0DB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"687c75732839f2c72eaef9f265e249aec96677a2","datavalue":{"value":{"time":"+2009-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1046887$4584F5D9-7563-4BD8-BED6-8B8B6377D718","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f40af90f8ec26f4bd6903163d2801b000ca7eee4","datavalue":{"value":"A point \\(p\\) of \\(\\beta X\\), where \\(X\\) is a Tychonoff space, is called a remote point if for any nowhere dense \\(D\\subseteq X,\\;p\\notin cl_{\\beta X}D\\). A subset \\(S\\) of \\(X\\) is called round if whenever the closure in \\(\\beta X\\) of a zero-set of \\(X\\) contains \\(S\\), then it is a neighborhood of \\(S\\). The purpose of this paper is to study these notions in the pointfree context. In the process, the author introduces N-homomorphisms and shows how the Stone extension of an N-homomorphism transfers remote points back and forth.  The pointfree topology is in terms of frames. A frame is a complete lattice \\(L\\) satisfying \\(a\\wedge\\bigvee S=\\bigvee\\{a\\wedge x\\mid x\\in S\\}\\). For \\(a,b\\in L,\\;a\\prec\\prec b\\) means the existence of a sequence \\((x_r)\\) indexed by \\(r\\in{\\mathbb Q}\\cap[0,1]\\) such that \\(x_0=a,x_1=b\\) and for every \\(r,s\\) with \\(r<s\\) there is an element \\(T_{rs}\\) such that \\(a\\wedge t_{rs}=0\\) and \\(b\\vee t_{rs}=1\\). A frame \\(L\\) is called completely regular if \\(a=\\bigvee\\{x\\in L\\mid x\\prec\\prec a\\}\\) for all \\(a\\in L\\). An ideal \\(J\\) of \\(L\\) is said to be completely regular if \\(\\forall\\,x\\in J\\,\\exists\\,y\\in J\\,x\\prec\\prec y\\). The frame of all completely regular ideals of a completely regular frame \\(L\\) is denoted by \\(\\beta L\\).  A quotient \\(h:L\\longrightarrow M\\) is called nowhere dense if \\(\\forall\\,x\\neq0\\,\\exists\\,y\\neq0\\,(y\\leq x\\, \\&\\, h(y)=0)\\). A point \\(I\\in\\beta L\\) is called remote if for every nowhere dense quotient \\(h\\),  \\[ I\\vee\\{x\\in L\\mid x\\prec\\prec\\bigvee h^{-1}(0)\\}=\\top. \\]  An N-homomorphism is a frame homomorphism \\(h:L\\longrightarrow M\\) such that \\(y\\prec\\prec h(x)\\) implies \\(y\\prec\\prec h(s)\\) for some \\(s\\prec\\prec x\\).  The notation \\(\\beta X\\) is not explained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046887$1968F023-F9D8-48B2-8088-ABFEEBDC5597","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$72D71923-A0D3-4308-9A00-019A99D170F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046887$C0A437B4-BD5A-4B2E-AA3A-0934E9F79CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046887$3B3472F3-408B-4069-8C30-A7BC6734E222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67d0698cc5d55c1074ec450d2d843ebf0c828d0b","datavalue":{"value":"5652014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046887$C2924A18-D4FD-4873-AB41-C02B5424A7CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771de2f6118e08f17a01405fe2293f523f4c572f","datavalue":{"value":"pointfree topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046887$13DD849B-45BC-4FA0-8592-C0FC2DF9399E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046887$AD2A4DBB-99C2-4682-95BB-BCBBC1A1D000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0d9d1fb2462ec2e412f98efcce9b5f9252826b","datavalue":{"value":"frame homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046887$ACEED86F-EFDE-42B3-B059-C5D99A5014C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7a3308f31499d459fd3dce0d2af679a45bf5d9a","datavalue":{"value":"remote point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046887$ADCFEB54-0CC5-44D8-B350-5A9AD12991F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6f7e7db442211bc6fba03e4740af4ae9a8e78f","datavalue":{"value":"round quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046887$31EF48AC-144F-48A9-B0DF-6C40FC705D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf2083910a79801fe345f90593e65eb69bd7b1b9","datavalue":{"value":"nowhere dense quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046887$F058C2CA-2305-463F-9D64-D899596DE19A","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":"Q1046887$7265CB19-FB44-47D7-A334-2270C24772FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c42465afbcec03e38311ffb8868ae242ec2604de","datavalue":{"value":"https://doi.org/10.1007/s10474-009-8083-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1046887$98C69EC5-82E3-4218-BD0F-F9A0C841E617","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2751f7f7462f05178b77ebf5091237a5d35ea508","datavalue":{"value":"W2013600934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046887$564599C0-2226-437C-987F-89736FE3B874","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9889398289f197a760adaa520dca91707235f1c6","datavalue":{"value":{"entity-type":"item","numeric-id":756188,"id":"Q756188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$FB5920BF-3DB7-42B3-9627-27292389EBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0ec7a0b7da3036a787d9badf6eb480134dda32","datavalue":{"value":{"entity-type":"item","numeric-id":4374682,"id":"Q4374682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$6739F712-6B4D-42EA-85A5-E670CE33C09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5803c887da3eb078a376a1041cffaf8ab146eb2a","datavalue":{"value":{"entity-type":"item","numeric-id":5928470,"id":"Q5928470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$38F98BD4-61BB-4FC5-8B48-C93B61124018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3329b20a3661fa121e3a07113dce3a506fdfdc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3038176,"id":"Q3038176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$6A35B5A9-BFEC-46D4-B278-C5AFE21D9F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de02d9868d5691916ed418e68f04714d11f66cd","datavalue":{"value":{"entity-type":"item","numeric-id":3024636,"id":"Q3024636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$671D3D47-2D24-44CD-8D4D-BBB35DD3F2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae305da7d3577ffbe27b13f3fb34cfbc1851036","datavalue":{"value":{"entity-type":"item","numeric-id":1047082,"id":"Q1047082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$D1FE29F0-632F-4405-AB20-CD1502D50E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efac9da59dcb6a0175211024b5923d7511ebce3","datavalue":{"value":{"entity-type":"item","numeric-id":2642567,"id":"Q2642567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$BB751523-3197-4BCD-8400-090209A85877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3a16f9837c23786cf6e7b5a8b23d5b83e78919","datavalue":{"value":{"entity-type":"item","numeric-id":5728948,"id":"Q5728948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$9E6E1A58-420E-41B9-B804-D263A48F1855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$5A996C66-3069-4975-97D2-A3AF0920E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826ae02c347b80a27e6867b337bdf919bd5c1d54","datavalue":{"value":{"entity-type":"item","numeric-id":5610902,"id":"Q5610902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$35F99802-C54C-49BD-B9AE-F29F525AA3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb502f3951d6fdd2306563f82e6d5f385fa0d6d","datavalue":{"value":{"entity-type":"item","numeric-id":5559891,"id":"Q5559891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$9C7A3C81-14E5-4A78-8257-DE313C4C42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3ac72b7b26c393ecfb0512f1d4cd31e232221a","datavalue":{"value":{"entity-type":"item","numeric-id":2532564,"id":"Q2532564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$A682B006-02D7-4E92-ABAA-F686717EB424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7104d7b80d6ff11294ebc9bfce839618a0c195","datavalue":{"value":{"entity-type":"item","numeric-id":5572910,"id":"Q5572910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$D40F73E3-21FE-433F-9BF2-41757FDE25D3","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":"Q1046887$82FCFA36-C816-4805-975D-D7134881D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8dfff0e628eb170a5eb45a6e3aa3ebdff8141f3","datavalue":{"value":{"entity-type":"item","numeric-id":3215985,"id":"Q3215985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046887$9CC15747-06A9-4982-85DB-33A69CE79A41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16ed3ec52bc47219920fa735501f9edbdee7a4ba","datavalue":{"value":"10.1007/S10474-009-8083-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046887$C87F89E1-8851-457A-8A5D-FD06CD00477B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6cfd256205c3010fc7bf6bea157e2a47e7d8c4c","datavalue":{"value":{"entity-type":"item","numeric-id":5278536,"id":"Q5278536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8320b6ce48631be8f23ca32442ac8d43f6b3ba3","datavalue":{"value":{"amount":"+0.8171994686126709","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":"Q1046887$11D8352A-26E5-427F-B2D0-0DDABFEF705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f389a488994536a8dcc9778cad2b9b04b149b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3024400,"id":"Q3024400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3feb011529dce38519e21aa1252e2654fb63f62d","datavalue":{"value":{"amount":"+0.7541695237159729","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":"Q1046887$C8160073-5A7E-4C2E-BE1C-C564FF1448E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82fb76d601d4b8058a2fa18b0cb449719f97ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2834593,"id":"Q2834593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77bcfe1fc8a2ecd09d35ebbdd43155ee2426ad6","datavalue":{"value":{"amount":"+0.7451013326644897","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":"Q1046887$1487F49F-55D0-4EA0-8FE1-C1E99FB4DE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99e80bd1262330ed3aa6c4904fbac8d2cdc8bee","datavalue":{"value":{"entity-type":"item","numeric-id":3349589,"id":"Q3349589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e15cc81e1755bc724e4cf7da93fc7f10815969","datavalue":{"value":{"amount":"+0.7384325265884399","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":"Q1046887$4F7B485E-C5EF-43F6-9F00-82683FF651E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d163eb3ac71d1d263c3400f4171ab7447b5c3","datavalue":{"value":{"entity-type":"item","numeric-id":1110130,"id":"Q1110130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcef60447eb07f5c20157a1728a7b1545b0507b","datavalue":{"value":{"amount":"+0.7323247194290161","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":"Q1046887$66465A30-1CB7-4C96-9621-63C6D58A77E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remote points and the like in pointfree topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remote_points_and_the_like_in_pointfree_topology"}}}}}