In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text” for a first graduate course in mathematical logic and this book w...Loe edasi...
(Ilmumisaeg: 07-May-2024, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031553677)
In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text” for a first graduate course in mathematical logic and this book w...Loe edasi...
(Ilmumisaeg: 01-Dec-2010, Paperback / softback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781441931573)
Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structures...Loe edasi...
(Ilmumisaeg: 15-Dec-2005, Hardback, Kirjastus: A K Peters, ISBN-13: 9781568812816)
The model theory of fields is a fascinating subject stretching from Tarskis work on decidability of the theories of real and complex fields to Hrushovskis recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insi...Loe edasi...
(Ilmumisaeg: 15-Dec-2005, Paperback / softback, Kirjastus: A K Peters, ISBN-13: 9781568812823)
The model theory of fields is a fascinating subject stretching from Tarskis work on the decidability of the theories of the real and complex fields to Hrushovskis recent proof of the Mordell-Lang conjecture for function fields. This volume provides...Loe edasi...
(Ilmumisaeg: 21-Aug-2002, Hardback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9780387987606)
Model theory is the branch of mathematical logic that examines what it means for a first-order sentence... to be true in a particular structure....This is a text for graduate students, mainly aimed at those specializing in logic, but also of interes...Loe edasi...
(Ilmumisaeg: 31-Jan-1996, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540607410)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This work gives an introduction to the model thoery of fields. As well as the basic model theory of the fields of real and complex numbers, it focuses on differential fields and separably closed fields, the theories used in Hrushovskis proof of the...Loe edasi...