A Course in Mathematical Logic for Mathematicians

Authors:

ISBN: 978-1-4419-0614-4 (Print) 978-1-4419-0615-1 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages 1-14

  2. PROVABILITY

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-18

      Introduction to Formal Languages

    3. No Access

      Book Chapter

      Pages 19-103

      Truth and Deducibility

    4. No Access

      Book Chapter

      Pages 105-150

      The Continuum Problem and Forcing

    5. No Access

      Book Chapter

      Pages 151-175

      The Continuum Problem and Constructible Sets

  3. COMPUTABILITY

    1. Front Matter

      Pages 178-178

    2. No Access

      Book Chapter

      Pages 179-206

      Recursive Functions and Church’s Thesis

    3. No Access

      Book Chapter

      Pages 207-231

      Diophantine Sets and Algorithmic Undecidability

  4. PROVABILITY AND COMPUTABILITY

    1. Front Matter

      Pages 234-234

    2. No Access

      Book Chapter

      Pages 235-261

      Gödel’s Incompleteness Theorem

    3. No Access

      Book Chapter

      Pages 263-284

      Recursive Groups

    4. No Access

      Book Chapter

      Pages 285-327

      Constructive Universe and Computation

  5. MODEL THEORY

    1. Front Matter

      Pages 330-330

    2. No Access

      Book Chapter

      Pages 331-377

      Model Theory

  6. Back Matter

    Pages 1-6