Another proof of Banaschewski's surjection theorem
Publish Year: 1398
نوع سند: مقاله ژورنالی
زبان: English
View: 131
This Paper With 18 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-11-0_005
تاریخ نمایه سازی: 23 شهریور 1400
Abstract:
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform sublocale can be extended to a (regular) Cauchy point on the larger (quasi-)uniform frame.
Keywords:
Authors
Dharmanand Baboolal
School of Mathematics, Statistics and Computer Science, University of KwaZulu-Natal, Durban ۴۰۰۰, South Africa.
Jorge Picado
Department of Mathematics University of Coimbra PORTUGAL
Ales Pultr
Department of Applied Mathematics and ITI, MFF, Charles University, Malostranske nam. ۲۴, ۱۱۸۰۰ Praha ۱, Czech Republic
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :