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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Models of Peano arithmetic / Richard Kaye |
Autore | Kaye, Richard |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1991 |
Descrizione fisica | X, 292 p. ; 24 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03C62 - Models of arithmetic and set theory [MSC 2020] |
ISBN | 978-01-985321-3-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055700 |
Kaye, Richard
![]() |
||
New York, : Clarendon, : Oxford, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Models of Peano arithmetic / Richard Kaye |
Autore | Kaye, Richard |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1991 |
Descrizione fisica | X, 292 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03C62 - Models of arithmetic and set theory [MSC 2020] |
ISBN | 978-01-985321-3-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055700 |
Kaye, Richard
![]() |
||
New York, : Clarendon, : Oxford, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|