Mathematical Logic

On Numbers, Sets, Structures, and Symmetry

Inbunden, Engelska, 2024

Av Roman Kossak

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

809 kr

Skickas inom 10-15 vardagar

The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Part I, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics.

Produktinformation

Utgivningsdatum2024-04-19
Mått155 x 235 x 21 mm
Vikt582 g
FormatInbunden
SpråkEngelska
SerieSpringer Graduate Texts in Philosophy
Antal sidor257
Upplaga2
FörlagSpringer International Publishing AG
ISBN9783031562143

Tillhör följande kategorier

Part I: Logic, Sets, and Numbers.- Chapter 1. First-order Logic.- Chapter 2. Logical seeing.- Chapter 3. What is a Number?.- Chapter 4. Seeing the Number Structures.- Chapter 5. Points, Lines, and the Structure of R.- Chapter 6. Set Theory.- Part II: Relations, Structures, Geometry.- Chapter 7. Relations.- Chapter 8. Definable Elements and Constants.- Chapter 9. Minimal and Order-Minimal Structures.- Chapter 10. Geometry of Definable Sets.- Chapter 11. Where Do Structures Come From?.- Chapter 12. Elementary Extensions and Symmetries.- Chapter 13. Tame vs. Wild.- Chapter 14. First-Order Properties.- Chapter 15. Symmetries and Logical Visibility One More Time.- Part III: Inference, Models, Categoricity and Diversity.- Chapter 16. Logical Inference.- Chapter 17. Categoricity.- Chapter 18. Counting Countable Models.- Chapter 19. Infinitary Logics.- Chapter 20. Symmetry and Definability.- Appendices.- Bibliography.- Index.