Scribd
Upload
222 views1 page

Plan For Logic and Set Theory

The plan outlines a study of logic and set theory over 14 sections. It lists 14 relevant texts to cover topics including: introduction to set theory and logic, first-order logic, model theory, computability and Gödelian incompleteness, and advanced set theory concepts up to large cardinals. The procedure lists the sections and assigns one of the texts to each to guide study of the subject area in a progressive manner.

Uploaded by

Sunny Wang
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
222 views1 page

Plan For Logic and Set Theory

The plan outlines a study of logic and set theory over 14 sections. It lists 14 relevant texts to cover topics including: introduction to set theory and logic, first-order logic, model theory, computability and Gödelian incompleteness, and advanced set theory concepts up to large cardinals. The procedure lists the sections and assigns one of the texts to each to guide study of the subject area in a progressive manner.

Uploaded by

Sunny Wang
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Plan for Logic and Set Theory

Texts:
I.
II.
III.
IV.
V.

Elements of Set Theory (ET) - Herbert B. Enderton


A Modern Formal Logic Primer (MP) -Paul Teller
Mathematical Logic (ML) - Ian Chiswell & Wilfrid Hodges
A Friendly Introduction to Mathematical Logic (IML) - Christopher C. Leary
Beginning Model Theory: The Completeness Theorem and Some Consequences (BMT) Jane Bridge
VI. Model Theory (MT) - Maria Manzano
VII. An Introduction to Gdels Theorems (IGT) - Peter Smith
VIII. Computability and Logic (CL) - George Boolos, John Burgess & Richard Jeffrey
IX. Classic Set Theory (CT) - Derek Goldrei
X. Introduction to Set Theory (IST) - Karel Hrbacek & Thomas Jech
XI. Set Theory and Its Philosophy (STP) - Michael Potter
XII. Set Theory (ST) - Thomas Jech
XIII. Set Theory: An Introduction to Independence Proofs (SIP) - Kenneth Kunen
XIV. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (THI) - Akihiro
Kanamori
Procedure:
I. Introduction to set theory - ET
II. Introduction to logic - MP
III. First order logic I - ML
IV. First order logic II - IML (ch. 1-3.2)
V. Model theory I - BMT
VI. Model theory II - MT
VII. Computability and Gdelian incompleteness I - IGT
VIII. Computability and Gdelian incompleteness II - CL
IX. Set theory I - CT
X. Set theory II - IST
XI. Set theory III - STP
XII. Set theory IV - ST
XIII. Set theory V - SIP
XIV. Set theory VI - THI

You might also like