Mathematical Logic (Graduate Texts in Mathematics, 37)

Monk, J.D.

ISBN 10: 0387901701 / ISBN 13: 9780387901701

Editore: Springer, 1976

Riguardo questo articolo

An As New hard cover book. Book is pristine, inside and out, no signs the book has been opened. All books are individually inspected and described. Never X-Library unless specifically described as such.

Codice articolo 2412-9113

Dati bibliografici

• Titolo: Mathematical Logic (Graduate Texts in Mathematics, 37)
• Editore: Springer
• Data di pubblicazione: 1976
• Lingua: Inglese
• ISBN 10: 0387901701
• ISBN 13: 9780387901701
• Rilegatura: Hardcover
• Condizione: As New

Descrizione articolo

Riassunto

We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data."

Contenuti

Interdependence of sections.- I Recursive Function Theory.- I. Turing machines.- 2. Elementary recursive and primitive recursive functions.- 3. Recursive functions; Turing computability.- 4. Markov algorithms.- 5. Recursion theory.- 6. Recursively enumerable sets.- 7. Survey of recursion theory.- II Elements of Logic.- 8. Sentential logic.- 9. Boolean algebra.- 10. Syntactics of first-order languages.- 11. Some basic results of first-order logic.- 12. Cylindric algebras.- III Decidable and Undecidable Theories.- 13. Some decidable theories.- 14. Implicit definability in number theories.- 15. General theory of undecidability.- 16. Some undecidable theories.- 17. Unprovability of consistency.- IV Model Theory.- 18. Construction of models.- 19. Elementary equivalence.- 20. Nonstandard mathematics.- 21. Complete theories.- 22. The interpolation theorem.- 23. Generalized products.- 24. Equational logic.- 25. Preservation and characterization theorems.- 26. Elementary classes and elementary equivalence.- 27. Types.- 28. Saturated structures.- V Unusual Logics.- 29. Inessential variations.- 30. Finitary extensions.- 31. Infinitary extensions.- Index of symbols.- Index of names and definitions.