top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Separation in Point-Free Topology / Jorge Picado, Aleš Pultr
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The Axiom of Constructibility : A Guide for the Mathematician / Keith J. Devlin
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui