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.
An introduction to independence for analysts / H. G. Dales and W. H. Woodin
| An introduction to independence for analysts / H. G. Dales and W. H. Woodin |
| Autore | Dales, Harold G. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1987 |
| Descrizione fisica | VIII, 241 p. ; 23 cm. |
| Altri autori (Persone) | Woodin, W. H. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E75 - Applications of set theory [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] |
| ISBN | 978-05-213-3996-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054268 |
Dales, Harold G.
|
||
| Cambridge, : Cambridge university, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An introduction to independence for analysts / H. G. Dales and W. H. Woodin
| An introduction to independence for analysts / H. G. Dales and W. H. Woodin |
| Autore | Dales, Harold G. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1987 |
| Descrizione fisica | VIII, 241 p. ; 23 cm |
| Altri autori (Persone) | Woodin, W. H. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E75 - Applications of set theory [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] |
| ISBN | 978-05-213-3996-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054268 |
|
Dales, Harold G.
|
||
| Cambridge, : Cambridge university, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An introduction to independence for analysts / H. G. Dales and W. H. Woodin
| An introduction to independence for analysts / H. G. Dales and W. H. Woodin |
| Autore | Dales, Harold G. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1987 |
| Descrizione fisica | VIII, 241 p. ; 23 cm |
| Altri autori (Persone) | Woodin, W. H. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E75 - Applications of set theory [MSC 2020] |
| ISBN | 978-05-213-3996-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00054268 |
|
Dales, Harold G.
|
||
| Cambridge, : Cambridge university, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring
| Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring |
| Autore | Takeuti, Gaisi |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1982 |
| Descrizione fisica | x, 246 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] 03C62 - Models of arithmetic and set theory [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Axiom of choice Functions Logic Ordinals Set Theory Sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268523 |
|
Takeuti, Gaisi
|
||
| New York, : Springer, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring
| Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring |
| Autore | Takeuti, Gaisi |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1982 |
| Descrizione fisica | x, 246 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C62 - Models of arithmetic and set theory [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] 03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Axiom of choice Functions Logic Ordinals Set Theory Sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268523 |
|
Takeuti, Gaisi
|
||
| New York, : Springer, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonstandard Methods of Analysis / by Anatoly G. Kusraev and Semen S. Kutateladze
| Nonstandard Methods of Analysis / by Anatoly G. Kusraev and Semen S. Kutateladze |
| Autore | Kusraev, Anatoly G. |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1994 |
| Descrizione fisica | viii, 435 p. ; 24 cm |
| Altri autori (Persone) | Kutateladze, Semën S. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] 03H05 - Nonstandard models in mathematics [MSC 2020] 03H10 - Other applications of nonstandard models (economics, physics, etc.) [MSC 2020] |
| Soggetto non controllato |
Functional Analysis
Mathematical analysis Mathematics Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00292525 |
|
Kusraev, Anatoly G.
|
||
| Dordrecht, : Springer, : Kluwer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory / Thomas Jech
| Set theory / Thomas Jech |
| Autore | Jech, Thomas J. |
| Edizione | [2. corr. ed] |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 1997 |
| Descrizione fisica | xiv, 634 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E05 - Other combinatorial set theory [MSC 2020] 03E15 - Descriptive set theory [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] 03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E55 - Large cardinals [MSC 2020] 03E60 - Determinacy principles [MSC 2020] 03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Cardinal numbers
Combinatorics Forcing Large cardinals Mathematics Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297524 |
|
Jech, Thomas J.
|
||
| Berlin ; Heidelberg, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
- 03-XX - Mathematical logic and foundations [MSC 2020] (7)
-
03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020]
(7)
- 03E35 - Consistency and independence results [MSC 2020] (4)
- 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] (4)
- 03E75 - Applications of set theory [MSC 2020] (3)