Mathematical Logic On Numbers, Sets, Structures, and Symmetry /

• Κύριος συγγραφέας: Kossak, Roman (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Springer Graduate Texts in Philosophy, 3
• Θέματα: Mathematics-Philosophy.; Mathematical logic.; Arithmetic and logic units, Computer.; Logic.; Applied mathematics.; Engineering mathematics.; Philosophy of Mathematics.; Mathematical Logic and Foundations.; Arithmetic and Logic Structures.; Applications of Mathematics.

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. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop th...

Πίνακας περιεχομένων:

• 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. .