Articoli correlati a Admissible Sets and Structures: An Approach to Definability...
Sinossi
It is only before or after a book is written that it makes sense to talk about the reason for writing it. In between, reasons are as numerous as the days. Looking back, though, I can see some motives that remained more or less constant in the writing of this book and that may not be completely obvious. I wanted to write a book that would fill what I see as an artificial gap between model theory and recursion theory. I wanted to write a companion volume to books by two friends, H. J. Keisler's Model Theory for Infinitary Logic and Y. N. Moschovakis' Elementary Induction on Abstract Structures, without assuming material from either. I wanted to set forth the basic facts about admissible sets and admissible ordinals in a way that would, at long last, make them available to the logic student and specialist alike. I am convinced that the tools provided by admissible sets have an important role to play in the future of mathematical logic in general and definability theory in particular. This book contains much of what I wish every logician knew about admissible sets. It also contains some material that every logician ought to know about admissible sets.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata
