Models of Peano Arithmetic - Richard Kaye
- Dodał: administrator
- Data: 23:50 12-11-2018
- Kategoria: Informatyka i matematyka
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 Gödel ), they have come to play an important role in 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 first time and a variety of exercises of varying degrees of difficulty will help to further the reader's understanding. Beginning with Gödel'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 and resplendency. źródło opisu: https://global.oup.com/academic/product/models-of-...(?) źródło okładki: https://global.oup.com/academic/product/models-of-...»
| kategoria | informatyka i matematyka | ||
| ISBN | 9780198532132 | ||
| data wydania | 31 stycznia 1991 | ||
| język | angielski | ||
| słowa kluczowe | Logika, Logika matematyczna, arytmetyka, | ||
| liczba stron | 302 |
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.
Podobne wpisy do Models of Peano Arithmetic - Richard Kaye
The Fairy-Faith in Celtic Countries - Walter Yeeling Evans-Wentz
Pixies, elves, brownies, dwarfs, leprechauns, and the other enchanted little people: where do they come from? Folklorists consider them the byproduct of ancient religious beliefs, occultists term them nature spirits, and the peasantry call them falle...
GuRu - RuPaul
We All Need a Guru to Guide Our Way . . . Who Better than RuPaul to Be Your Personal GuRu? From the moment he applied his first false eyelashes, RuPaul has been making a statement—with his bold approach to drag, his fearlessness in music, film, and t...
Races of Eberron
Dauntless adventurers arise from amongst the spirited races of the warforged, shifters, changelings, and kalashtar. These bold explorers hurl themselves into the most dangerous quests with an unquenchable thirst for fortune and glory. This supplement...
C# 2008 Programmer’s Reference (Wrox Programmer to Programmer) - Lee Wei-Meng
Have access to all aspects of the C# programming language at hand with the C# 2008 Programmer’s Reference, the only comprehensive reference guide for C# programmers. Regardless of your experience with C#, you will appreciate the detailed code samples...
Information technology project management - Witold Chmielarz
The structure of the book consists of the three main parts: -the first part concerns the directions for the development of IT systems, management under dynamically changing theoretical and practical conditions, which break some of the patterns of tho...
Turkey and Europe. Challenges and Opportunities - Adam Szymański
The enlargement of the European Union is among the major processes of European integration, and the Republic of Turkey is at the root of the most heated controversies among all candidate countries—one reason being that its candidacy brings into focus...