Logic and Set Theory

✍ Scribed by I. B. Leader, ed. Dexter Chua

Publisher: University of Cambridge
Year: 2015
Tongue: English
Leaves: 70
Series: Cambridge Mathematical Tripos Part II Lecture Notes
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Introduction
Propositional calculus
Propositions
Semantic entailment
Syntactic implication
Well-orderings and ordinals
Well-orderings
New well-orderings from old
Ordinals
Successors and limits
Ordinal arithmetic
Normal functions
Posets and Zorn's lemma
Partial orders
Zorn's lemma and axiom of choice
Bourbaki-Witt theorem
Predicate logic
Language of predicate logic
Semantic entailment
Syntactic implication
Peano Arithmetic
Completeness and categoricity
Set theory
Axioms of set theory
Properties of ZF
Picture of the universe
Cardinals
Definitions
Cardinal arithmetic
Incompleteness
Index

✦ Subjects

maths; mathematics; math; advanced; college; university; higher; further; pure; applied; logic; sets; set theory; axiomatic; classical

📜 SIMILAR VOLUMES

Set theory and logic

📁 Set theory and logic

✍ Robert Roth Stoll 📂 Library 📅 1979 🏛 Courier Dover Publications 🌐 English

Set Theory and Logic

📁 Set Theory and Logic

✍ Robert R. Stoll 📂 Library 📅 1979 🏛 Dover Publications 🌐 English

Set Theory and Logic

📁 Set Theory and Logic

✍ Robert R. Stoll 📂 Library 📅 1979 🏛 Dover Publications 🌐 English

"The best introductory text we have seen." — Cosmos. Lucidly and gradually explains sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several al

Set theory and logic

📁 Set theory and logic

✍ Robert Roth Stoll 📂 Library 📅 1963, 1979 🏛 Dover 🌐 English

Logic, Computation and Set Theory [publi

📁 Logic, Computation and Set Theory [published as Logic, Induction and Sets]

✍ Thomas Forster 📂 Library 📅 2002 🏛 Cambridge University Press 🌐 English

Set theory and its logic

📁 Set theory and its logic

✍ W. V. Quine 📂 Library 📅 1969 🏛 Belknap Press of Harvard University Press 🌐 English

<p> This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom