Nonstandard models of arithmetic and set theory : AMS special session nonstandard models of arithmetic and set theory -January 15-16,2003 Baltimore Maryland / Ali Enayat, Roman Kossak, editors |
Pubbl/distr/stampa | Providence : American mathematical society, 0361 |
Descrizione fisica | ; 24 cm |
Disciplina | 511.3 |
Collana | Contemporary mathematics |
Soggetto non controllato |
Analisi non Archimedea - congressi
Teoria degli insiemi - Congressi |
ISBN | 0-8218-3535-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008116550403321 |
Providence : American mathematical society, 0361 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Set Theory : Annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idaho / Tomek Bartoszynski, Marion Scheepers, editors |
Autore | Set |
Pubbl/distr/stampa | Providence : American Mathematical Society, 1996 |
Descrizione fisica | xii, 184 p. ; 26 cm |
Disciplina | 511.322 |
Collana | Contemporary mathematics |
Soggetto non controllato | Teoria degli insiemi - Congressi |
ISBN | 0-8218-0306-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001356500403321 |
Set
![]() |
||
Providence : American Mathematical Society, 1996 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Set theory of the continuum / editors H. Judah, W. Just, H. Woodin |
Autore | Workshop on set theory and the continuum : <1989 |
Pubbl/distr/stampa | New York : Springer-Verlag, c1992 |
Descrizione fisica | IX, 416 p. ; 24 cm |
Disciplina | 511.322 |
Collana | Mathematical Sciences Research Institute publications |
Soggetto non controllato | Teoria degli insiemi - Congressi |
ISBN | 0-387-97874-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001324030403321 |
Workshop on set theory and the continuum : <1989
![]() |
||
New York : Springer-Verlag, c1992 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
SETS and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss |
Autore | Logic colloquium : <1997 |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1999 |
Descrizione fisica | ix, 436 p. ; 23 cm |
Disciplina | 511.322 |
Collana | London Mathematical Society lecture note series |
Soggetto non controllato |
Logica matematica - Congressi
Teoria degli insiemi - Congressi Teoria della dimostrazione - Congressi |
ISBN | 0-521-63549-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001348810403321 |
Logic colloquium : <1997
![]() |
||
Cambridge : Cambridge University Press, c1999 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|