Carregue numa fotografia para ir para os Livros Google.
A carregar... Models of Peano Arithmetic (Oxford Logic Guides)por Richard Kaye
Nenhum(a) A carregar...
Adira ao LibraryThing para descobrir se irá gostar deste livro. Ainda não há conversas na Discussão sobre este livro. Sem comentários sem críticas | adicionar uma crítica
Nonstandard models of arithmetic are of interest to mathematicians through the presence of infinite (or nonstandard) integers and the various properties they inherit from the finite integers. Since their introduction in the 1930s (by Skolem and Godel ), they have come to play an important rolein model theory, and in combinatorics through independence results such as the Paris-Harrington theorem. This book is an introduction to these developments, and stresses the interplay between the first-order theory, recursion-theoretic aspects, and the structural properties of these models.Prerequisites have been kept to a minimum. A basic grounding in elementary model theory and a familiarity with the notions of recursive, primitive recursive, and r.e. sets will be sufficient. Consequently, the book should be suitable for postgraduate students coming to the subject for the firsttime and a variety of exercises of varying degrees of difficulty will help to further the reader's understanding.Beginning with Godel's incompleteness theorem, the book covers the prime models, cofinal extensions, end extensions, Gaifman's construction of a definable type, Tennenbaum's theorem, Friedman's theorem and subsequent work on indicators, and culminates in a chapter on recursive saturation andresplendency. Não foram encontradas descrições de bibliotecas. |
Current DiscussionsNenhum(a)
Google Books — A carregar... GénerosSistema Decimal de Melvil (DDC)513Natural sciences and mathematics Mathematics ArithmeticClassificação da Biblioteca do Congresso dos EUA (LCC)AvaliaçãoMédia: Sem avaliações.É você?Torne-se num Autor LibraryThing. |