G. Bezhanishvili, F. Dashiell Jr, A. Moshier, J. Walters-Wayland
{"title":"戴德金-麦克尼尔和相关补全:次拟合、正则性和布尔性","authors":"G. Bezhanishvili, F. Dashiell Jr, A. Moshier, J. Walters-Wayland","doi":"arxiv-2405.19171","DOIUrl":null,"url":null,"abstract":"Completions play an important r\\^ole for studying structure by supplying\nelements that in some sense ``ought to be.\" Among these, the Dedekind-MacNeille\ncompletion is of particular importance. In 1968 Janowitz provided necessary and\nsufficient conditions for it to be subfit or Boolean. Another natural\nseparation axiom situated between the two is regularity. We explore similar\ncharacterizations of when closely related completions are subfit, regular, or\nBoolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical\ncompletions, which are useful in pointfree topology since (unlike the\nDedekind-MacNeille completion) they satisfy stronger forms of distributivity.","PeriodicalId":501314,"journal":{"name":"arXiv - MATH - General Topology","volume":"53 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness\",\"authors\":\"G. Bezhanishvili, F. Dashiell Jr, A. Moshier, J. Walters-Wayland\",\"doi\":\"arxiv-2405.19171\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Completions play an important r\\\\^ole for studying structure by supplying\\nelements that in some sense ``ought to be.\\\" Among these, the Dedekind-MacNeille\\ncompletion is of particular importance. In 1968 Janowitz provided necessary and\\nsufficient conditions for it to be subfit or Boolean. Another natural\\nseparation axiom situated between the two is regularity. We explore similar\\ncharacterizations of when closely related completions are subfit, regular, or\\nBoolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical\\ncompletions, which are useful in pointfree topology since (unlike the\\nDedekind-MacNeille completion) they satisfy stronger forms of distributivity.\",\"PeriodicalId\":501314,\"journal\":{\"name\":\"arXiv - MATH - General Topology\",\"volume\":\"53 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-05-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - General Topology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2405.19171\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - General Topology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2405.19171","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness
Completions play an important r\^ole for studying structure by supplying
elements that in some sense ``ought to be." Among these, the Dedekind-MacNeille
completion is of particular importance. In 1968 Janowitz provided necessary and
sufficient conditions for it to be subfit or Boolean. Another natural
separation axiom situated between the two is regularity. We explore similar
characterizations of when closely related completions are subfit, regular, or
Boolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical
completions, which are useful in pointfree topology since (unlike the
Dedekind-MacNeille completion) they satisfy stronger forms of distributivity.