02667nam0 2200529 i 450 VAN0010155520251010123516.638N978364254936620150428d2014 |0itac50 baengDE|||| |||||i e bcrModel theory in algebra, analysis and arithmeticCetraro, Italy 2012Lou van den Dries ... [et al.]editors: H. Dugald Macpherson, Carlo ToffaloriBerlinSpringer2014VII, 195 p.24 cm001VAN000508342001 Lecture notes in mathematics. Fondazione CIME. Firenze210 BerlinSpringer300 Dal 2011: C.I.M.E. Foundation Subseries001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer2111VAN00234071Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012138805403C10Quantifier elimination, model completeness and related topics [MSC 2020]VANC028773MF03C45Classification theory, stability and related concepts in model theory [MSC 2020]VANC024441MF03C60Model-theoretic algebra [MSC 2020]VANC023964MF03C64Model theory of ordered structures; o-minimality [MSC 2020]VANC024496MF03CxxModel theory [MSC 2020]VANC024387MF11U05Decidability (number-theoretic aspects) [MSC 2020]VANC030761MF11U09Model theory (number-theoretic aspects) [MSC 2020]VANC023789MF12J20General valuation theory for fields [MSC 2020]VANC022095MFDecidable theoryKW:KDependent theoryKW:KExponential fieldKW:KModel theoryKW:KValued fieldKW:KBerlinVANL000066MacphersonDugaldVANV041472340ToffaloriCarloVANV036167340DriesLou : van denVANV039214Springer <editore>VANV108073650ITSOL20251017RICAhttp://doi.org/10.1007/978-3-642-54936-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00101555BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 08LNM2111 20150428 Model theory in algebra, analysis and arithmetic1388054UNICAMPANIA