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.
Categoricity / John T. Baldwin
| Categoricity / John T. Baldwin |
| Autore | Baldwin, John T. |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2009 |
| Descrizione fisica | xi, 235 p. : ill. ; 26 cm |
| Disciplina | 511.3 |
| Collana | University lecture series, 1047-3998 ; 50 |
| Soggetto topico |
Completeness theorem
Model theory |
| ISBN | 9780821848937 |
| Classificazione |
AMS 03C30
AMS 03C45 AMS 03C52 LC QA9.67.B35 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001836079707536 |
Baldwin, John T.
|
||
| Providence, R. I. : American Mathematical Society, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Fundamentals of stability theory / John T. Baldwin
| Fundamentals of stability theory / John T. Baldwin |
| Autore | Baldwin, John T. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1988 |
| Descrizione fisica | xiii, 447 p. : 49 ill. ; 25 cm. |
| Disciplina | 511.8 |
| Collana | Perspectives in mathematical logic |
| Soggetto topico |
Model theory
Stability theory |
| ISBN | 3540152989 |
| Classificazione |
AMS 03C45
QA9.7.B35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000920849707536 |
|
Baldwin, John T.
|
||
| Berlin : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and algebraic geometry [e-book] : an introduction to E. Hrushovskí's proof of the geometric Mordell-Lang conjecture / edited by Elisabeth Bouscaren
| Model theory and algebraic geometry [e-book] : an introduction to E. Hrushovskí's proof of the geometric Mordell-Lang conjecture / edited by Elisabeth Bouscaren |
| Pubbl/distr/stampa | Berlin : Springer, 1998 |
| Descrizione fisica | 1 online resource (xv, 211 p.) |
| Disciplina | 516.35 |
| Altri autori (Persone) | Bouscaren, Elisabeth |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1696 |
| Soggetto topico |
Mathematics
Geometry, algebraic Logic, Symbolic and mathematical Number theory |
| ISBN | 9783540685210 |
| Classificazione |
AMS 11U09
AMS 03C60 AMS 11G10 AMS 14G99 AMS 03C45 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002253079707536 |
| Berlin : Springer, 1998 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors
| Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors |
| Pubbl/distr/stampa | Heidelberg [Germany] : Springer, 2014 |
| Descrizione fisica | 1 online resource (vii, 195 pages) |
| Disciplina | 511.34 |
| Altri autori (Persone) |
Dries, Lou : van denauthor
Macpherson, Dugald Toffalori, Carlo |
| Collana | Lecture Notes in Mathematics, 1617-9692 ; 2111 |
| Soggetto topico |
Model theory
Number theory |
| ISBN | 9783642549366 |
| Classificazione |
AMS 03-06
AMS 03C10 AMS 03C45 AMS 03C60 LC QA9.7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Some themes around first order theories without the independence property ; Lectures on the model theory of real and complex exponentiation ; Lectures on the model theory of valued fields ; Undecidability in number theory |
| Record Nr. | UNISALENTO-991002948539707536 |
| Heidelberg [Germany] : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori
| Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori |
| Pubbl/distr/stampa | Heidelberg [Germany] : Springer, c2014 |
| Descrizione fisica | vii, 195 p. ; 24 cm |
| Disciplina | 511.34 |
| Altri autori (Persone) |
Dries, Lou : van denauthor
Macpherson, Dugald Toffalori, Carlo |
| Collana | Lecture notes in mathematics, 1617-9692 ; 2111 |
| Soggetto topico |
Model theory
Number theory |
| ISBN | 9783642549359 |
| Classificazione |
AMS 03-06
AMS 03C10 AMS 03C45 AMS 03C60 LC QA9.7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Some themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory |
| Record Nr. | UNISALENTO-991002948599707536 |
| Heidelberg [Germany] : Springer, c2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Stable groups / Frank O. Wagner
| Stable groups / Frank O. Wagner |
| Autore | Wagner, Frank O. |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1997 |
| Descrizione fisica | ix, 309 p. : ill. ; 23 cm |
| Disciplina | 512.2 |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 240 |
| Soggetto topico |
Algebraic geometry
Group theory Model theory |
| ISBN | 0521598397 |
| Classificazione |
AMS 03C45
AMS 03C60 AMS 20A15 QA174.2.W34 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001370679707536 |
|
Wagner, Frank O.
|
||
| Cambridge ; New York : Cambridge University Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||