Beschreibung:
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.
Chapter1. Mathematical Logic.- Chapter2. Logical Seeing.- Chapter3. What is a Number?.- Chapter4. Number Structures.- Chapter5. Points, Lines.- Chapter6. Set Theory.- Chapter7. Relations.- Chapter8. Definable Elements and Constants.- Chapter9. Minimal and Order-Minimal Structures.- Chapter10. Geometry of Definable Sets.- Chapter11. Where Do Structures Come From?.- Chapter12. Elementary Extensions and Symmetries.- Chapter13. Tame vs. Wild.- Chapter14. First-order Properties.- Chapter15. Symmetries and Logical Visibility One More Time.