Record:   Prev Next
書名 Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilke ; editors: H. Dugald Macpherson, Carlo Toffalori
出版項 Heidelberg ; New York ; Dordrecht ; London : Springer ; Florence, Italy : Fondazione CIME Roberto Conti, Centro internazionale matematico estivo, International Mathematical Summer Center , [2014]
國際標準書號 3642549357
9783642549359
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA3 .L28 no.2111    在架上    30340200538977
說明 vii, 195 pages ; 24 cm
系列 Lecture notes in mathematics ; 2111
Lecture notes in mathematics (Springer-Verlag) ; 2111
附註 Based on notes from lecture courses at the meeting Model Theory in Algebra, Analysis and Arithmetic, organized by CIME, July 2-6, 2012
Model theory in algebra, analysis and arithmetic: a preface / Dugald Macpherson and Carlo Toffalori -- Some themes around first order theories without the independence property / Anand Pillay -- Lectures on the model theory of real and complex exponentiation / A.J. Wilkie -- Lectures on the model theory of valued fields / Lou van den Dries -- Undecidability in number theory / Jochen Koenigsmann
Includes bibliographical references
主題 Model theory -- Congresses
Model theoretic algebra -- Congresses
Alt Author Macpherson, Dugald, editor of compilation
Toffalori, Carlo, editor of compilation
Pillay, Anand. Some themes around first order theories without the independence property
Wilkie, A. J. (Alec J.). Lectures on the model theory of real and complex exponentiation
Van den Dries, Lou. Lectures on the model theory of valued fields
Koenigsmann, Jochen. Undecidability in number theory
Centro internazionale matematico estivo
Record:   Prev Next