{"entities":{"Q1777896":{"pageid":1788638,"ns":120,"title":"Item:Q1777896","lastrevid":48491536,"modified":"2026-01-05T00:03:52Z","type":"item","id":"Q1777896","labels":{"en":{"language":"en","value":"Constructing Banaschewski compactification without Dedekind completeness axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2171820"}},"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":"Q1777896$CD3ABF61-802D-40BB-B63D-AABC5FE6C07B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcbac1a2140e1360edbf8be25f39101aa22e8257","datavalue":{"value":{"text":"Constructing Banaschewski compactification without Dedekind completeness axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777896$E08CA604-0103-4C69-84C9-1FAA0659ACDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edd0df3ec04a2f3cada4ac0d70981c5bb8dfad76","datavalue":{"value":"1079.54013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$7307CB26-2932-4877-B970-85FA8784A202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c217e3d334e0558c171a4489fd368e65e97f1a13","datavalue":{"value":"10.1155/S0161171204305168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$3553A982-5D7E-4AA1-9B15-1FA90F5BB35A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91655ebd146e27e9a80e6a009081c731795992e5","datavalue":{"value":{"entity-type":"item","numeric-id":1051300,"id":"Q1051300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777896$0903B546-698C-40C8-B498-811DF64426AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"902660a058467cc0ce6038caa6fb3a96586030d7","datavalue":{"value":{"entity-type":"item","numeric-id":471159,"id":"Q471159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777896$82E06FD0-0A61-4B98-8948-77D68F981F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88490b803f97db050921a1008aca04e3863ee7f5","datavalue":{"value":{"entity-type":"item","numeric-id":387192,"id":"Q387192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777896$16EEDFD0-A3C3-4F18-AE0A-E53B2734F474","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777896$6C0604C4-3131-498D-921B-F530C9E7EDF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10027d9b5c9465a35260c594b008f7f04309d2be","datavalue":{"value":{"time":"+2005-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777896$6928A1C8-AA21-4755-B4CE-D733EAB61F32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb4677b529d335b4071af1ec374437e309afba30","datavalue":{"value":"https://eudml.org/doc/52018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777896$FCA9028C-1A41-4BDA-B958-B25E506E1561","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e15ae921afa231ce31a4df0a8cb34c5fbcc59a4d","datavalue":{"value":"Let \\(F\\) be a linearly ordered field equipped with the order topology and let \\(X\\) be a topological space (in the classical case \\(F\\) is the field of real numbers). First, the authors survey and discuss the interplay between topological properties of \\(X\\) and properties of subrings of the ring \\(C(X,F)\\) of all continuous functions from \\(X\\) into \\(F\\). Second, complete regularity of \\(X\\) is generalized to complete \\(F\\)-regularity and a number of generalizations of the classical results are obtained. Third, properties of compactifications of \\(X\\) via structure spaces of rings of ordered \\(F\\)-valued continuous functions (sets of maximal ideals carrying the hull-kernel topology) are proved. Fourth, fine and interesting problems are formulated.  The main results are: a construction of the Banaschewski compactification (no completeness axiom for the ordered field is needed), generalizations of the Stone theorem, the Banach-Stone theorem, and the Gelfand-Kolmogoroff theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777896$4E1538F7-4BCD-495D-B775-FBE10A329D23","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce7354067e3e4f96b05bf145b3ce0810909d0c89","datavalue":{"value":{"entity-type":"item","numeric-id":169660,"id":"Q169660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777896$32D7F22D-3510-41C4-8623-A3B05B8B68B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"849bcac29a22658739860df4ed100017aba1a860","datavalue":{"value":"54D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$F092D615-53F2-4104-BBA9-A04EC8C17E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$99A5D217-5660-4FF4-A50D-924C729623EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$9121DB9D-61D7-4181-9414-AB4449692AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$5FC00835-62C8-4F70-BF94-8C43C4858C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$3310EEE8-3EA5-45AF-8D40-E333E2845D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$BFD261A5-F7C5-4728-B6DD-0070348E6E2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf3468db718eb431528b3f4ec3b0d9c452eb8be1","datavalue":{"value":"2171820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$E391F6EF-8195-41CF-8BB3-D6D33A90A30B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7ded427ad27b8244f2aa880b6f2039330bd9b","datavalue":{"value":"ring of ordered field-valued continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777896$C5E532C2-B9F8-4D81-B7E8-F7D26735EE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dea4264218615c067a0688c55162a96bdbd97cc","datavalue":{"value":"Banaschewski compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777896$BF301CCE-5533-4AB0-A14E-DF68B741038A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef8c8fb4a1eb2e80f710dae6b564d76c533058d6","datavalue":{"value":"complete \\(F\\)-regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777896$B2014C95-D3FC-4A9D-B88F-66C7A242BED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78ba4c0b19dd0e339b89a6bd9710b2ba008be08","datavalue":{"value":"structure space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777896$48F13B6A-19C9-4B63-BB4A-16B5A3B9695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c888d062ef911fdefd92a6b6c8bd8997b824d76","datavalue":{"value":"hull-kernel topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777896$AE82E3C7-149F-478A-ADA0-ED07E6427B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e6e810571dd500accd71721b567e207828cff84","datavalue":{"value":"Hausdorff compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777896$62E6D8F2-85D4-4791-A260-0655AA2047A6","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":"Q1777896$E54FC8D3-9997-48F9-BF0A-5E821C967E47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f88b90889d06111e2492999d867064a8d5111a3","datavalue":{"value":"Q114008421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777896$4FD562EF-3A41-4005-9CC9-3E5DC0E658A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5c638498e117504c6a23731e76b122d2dc461f","datavalue":{"value":{"entity-type":"item","numeric-id":2955945,"id":"Q2955945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4880044ee277c29180876e15de668a3adc0b2df","datavalue":{"value":{"amount":"+0.7896959781646729","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":"Q1777896$E182D3BE-1F93-4CA2-9C0B-8AC160EBCF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abc54329b3568757799c23a6c6c45bc16e9c94f","datavalue":{"value":{"entity-type":"item","numeric-id":5077332,"id":"Q5077332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d695b41420c18a2fcaf157fe18768eeca38d1b6","datavalue":{"value":{"amount":"+0.7888399362564087","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":"Q1777896$607C33EC-177D-4C11-BF1C-069BE27A70D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52dc77c4b4fa6ff8c1dc2eb3a164fbe58d3e8fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3341517,"id":"Q3341517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613ac8b93acc1b06f2c2b6aeb6ed62669fc87e23","datavalue":{"value":{"amount":"+0.7855020761489868","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":"Q1777896$6D580E29-A748-4C56-A656-2FDB21E0C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97eb88af838fa2fc6a7da33e5b722cd8fadf25e8","datavalue":{"value":{"entity-type":"item","numeric-id":5163021,"id":"Q5163021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d5bc72d4f6f8d392ed155dcd44205e21e76edb","datavalue":{"value":{"amount":"+0.780633807182312","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":"Q1777896$FEC85387-38ED-4549-B02B-EDE9DEEE36A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d970004681591f32132611a181bb5f7560ff743","datavalue":{"value":{"entity-type":"item","numeric-id":1430173,"id":"Q1430173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe122a546ccb9a79939fcf07a651c42082c3b3f","datavalue":{"value":{"amount":"+0.7629902958869934","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":"Q1777896$04AB9B5C-3307-4944-833B-7FE0A46F94F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1777896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1777896"}}}}}