Separation in Point-Free Topology

Separation in Point-Free Topology
Author :
Publisher : Springer Nature
Total Pages : 296
Release :
ISBN-10 : 9783030534790
ISBN-13 : 3030534790
Rating : 4/5 (790 Downloads)

Book Synopsis Separation in Point-Free Topology by : Jorge Picado

Download or read book Separation in Point-Free Topology written by Jorge Picado and published by Springer Nature. This book was released on 2021-02-01 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the first systematic treatment of this area so far scattered in a vast number of articles. As in classical topology, concrete problems require restricting the (generalized point-free) spaces by various conditions playing the roles of classical separation axioms. These are typically formulated in the language of points; but in the point-free context one has either suitable translations, parallels, or satisfactory replacements. The interrelations of separation type conditions, their merits, advantages and disadvantages, and consequences are discussed. Highlights of the book include a treatment of the merits and consequences of subfitness, various approaches to the Hausdorff's axiom, and normality type axioms. Global treatment of the separation conditions put them in a new perspective, and, a.o., gave some of them unexpected importance. The text contains a lot of quite recent results; the reader will see the directions the area is taking, and may find inspiration for her/his further work. The book will be of use for researchers already active in the area, but also for those interested in this growing field (sometimes even penetrating into some parts of theoretical computer science), for graduate and PhD students, and others. For the reader's convenience, the text is supplemented with an Appendix containing necessary background on posets, frames and locales.


Separation in Point-Free Topology Related Books

Separation in Point-Free Topology
Language: en
Pages: 296
Authors: Jorge Picado
Categories: Mathematics
Type: BOOK - Published: 2021-02-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book is the first systematic treatment of this area so far scattered in a vast number of articles. As in classical topology, concrete problems require rest
Frames and Locales
Language: en
Pages: 412
Authors: Jorge Picado
Categories: Mathematics
Type: BOOK - Published: 2011-10-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited sinc
The Real Numbers in Pointfree Topology
Language: en
Pages: 114
Authors: Bernhard Banaschewski
Categories: Frames (Combinatorial analysis)
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD EBOOK

From Sets and Types to Topology and Analysis
Language: en
Pages: 372
Authors: Laura Crosilla
Categories: Mathematics
Type: BOOK - Published: 2005-10-06 - Publisher: Clarendon Press

DOWNLOAD EBOOK

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which
Logicism, Intuitionism, and Formalism
Language: en
Pages: 509
Authors: Sten Lindström
Categories: Mathematics
Type: BOOK - Published: 2008-11-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philoso