Separation in Point-Free Topology / Jorge Picado, Aleš Pultr |
Autore | Picado, Jorge |
Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2021 |
Descrizione fisica | xxi, 281 p. : ill. ; 24 cm |
Altri autori (Persone) | Pultr, Aleš |
Soggetto topico |
54-XX - General topology [MSC 2020]
54Axx - Generalities in topology [MSC 2020] 06D22 - Frames, locales [MSC 2020] 54D10 - Lower separation axioms ($T_0$–$T_3$, etc.) [MSC 2020] |
Soggetto non controllato |
Frames
Heyting algebras Locales Point-free topology Separation axioms Sublocales |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274471 |
Picado, Jorge
![]() |
||
Cham, : Birkhäuser, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Axiom of Constructibility : A Guide for the Mathematician / Keith J. Devlin |
Autore | Devlin, Keith J. |
Pubbl/distr/stampa | Berlin, : Springer, 1977 |
Descrizione fisica | x, 98 p. ; 24 cm |
Soggetto topico |
03Exx - Set theory [MSC 2020]
28A10 - Real- or complex-valued set functions [MSC 2020] 54D10 - Lower separation axioms ($T_0$–$T_3$, etc.) [MSC 2020] 20A10 - Metamathematical considerations in group theory [MSC 2020] |
Soggetto non controllato |
Constructability
Mathematics Measure Theory Measures Set Theory Sets |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260506 |
Devlin, Keith J.
![]() |
||
Berlin, : Springer, 1977 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|