Constructibility / Keith J. Devlin |
Autore | Devlin, Keith J. |
Pubbl/distr/stampa | Berlin, : Springer, 1984 |
Descrizione fisica | XI, 425 p. ; 25 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] |
ISBN | 35-401-3258-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0056087 |
Devlin, Keith J.
![]() |
||
Berlin, : Springer, 1984 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constructibility / Keith J. Devlin |
Autore | Devlin, Keith J. |
Pubbl/distr/stampa | Berlin, : Springer, 1984 |
Descrizione fisica | XI, 425 p. ; 25 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] |
ISBN | 35-401-3258-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0056087 |
Devlin, Keith J.
![]() |
||
Berlin, : Springer, 1984 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Inner models and large cardinals / Martin Zeman |
Autore | Zeman, Martin |
Pubbl/distr/stampa | Berlin, : Walter de Gruyter, 2002 |
Descrizione fisica | XI, 369 p. ; 25 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E55 - Large cardinals [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] |
ISBN | 31-10-16368-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0061321 |
Zeman, Martin
![]() |
||
Berlin, : Walter de Gruyter, 2002 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Inner models and large cardinals / Martin Zeman |
Autore | Zeman, Martin |
Pubbl/distr/stampa | Berlin, : Walter de Gruyter, 2002 |
Descrizione fisica | XI, 369 p. ; 25 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E55 - Large cardinals [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] |
ISBN | 31-10-16368-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0061321 |
Zeman, Martin
![]() |
||
Berlin, : Walter de Gruyter, 2002 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Proper and improper forcing / Saharon Shelah |
Autore | Shelah, Saharon |
Edizione | [2. ed] |
Pubbl/distr/stampa | Berlin, : Springer, 1998 |
Descrizione fisica | XLVII, 1020 p. ; 24 cm. |
Soggetto topico |
03E35 - Consistency and independence results [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] 03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] |
ISBN | 978-35-405-1700-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0050816 |
Shelah, Saharon
![]() |
||
Berlin, : Springer, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Proper and improper forcing / Saharon Shelah |
Autore | Shelah, Saharon |
Edizione | [2. ed] |
Pubbl/distr/stampa | Berlin, : Springer, 1998 |
Descrizione fisica | XLVII, 1020 p. ; 24 cm |
Soggetto topico |
03E35 - Consistency and independence results [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] 03E45 - Inner models, including constructibility, ordinal definability, and core models [MSC 2020] |
ISBN | 978-35-405-1700-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0050816 |
Shelah, Saharon
![]() |
||
Berlin, : Springer, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|