Disponibilità: Normalmente disponibile in 20 giorni A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.
Aimed at research logicians and mathematicians, this much-awaited monograph covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups. Many results involve applications of the powerful technique of minimal types due to Haim Gaifman, and some of the results are classical but have never been published in a book form before.
Note Editore
Aimed at graduate students and research logicians and mathematicians, this much-awaited text covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups. Many results involve applications of the powerful technique of minimal types due to Haim Gaifman, and some of the results are classical but have never been published in a book form before.
Sommario
1 - Basics 2 - Extensions 3 - Minimal and other types 4 - Substructure lattices 5 - How to control types 6 - Generics and forcing 7 - Cuts 8 - Automorphisms of recursively saturated models 9 - Automorphism groups of recursively saturated models 10 - Omega 1-like models 11 - Order types 12 - Twenty questions
Altre Informazioni
ISBN:
9780198568278
Condizione: Nuovo
Collana: Oxford Logic Guides
Dimensioni: 240 x 22.0 x 164 mm Ø 623 gr
Formato: Copertina rigida
Illustration Notes:2 b/w line drawings
Pagine Arabe: 328
Dicono di noi
Per noi la tua privacy è importante
Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.
