User:Lord Farin/Books/Kunen Foundations

= Processing of 'The Foundations of Mathematics' =



Rigour on Model Theory and Proof Theory. Also Set Theory, but that's already covered a lot, so I'm skipping the naive set theory approach taken in the first part of the book.

Progress thus far
Initial set-up complete. &mdash; Lord_Farin (talk) 21:03, 5 January 2016 (UTC)

Paragraph $\text{II}.8$ somewhere, last located Satisfiability preserved in Supersignature

Missing Proofs
None atm

Skipped thus far (that is, what needs to be done still)
None

Other things
The definition of Kunen for Definition:Language of Predicate Logic is slightly different because it is in Polish notation. This page needs to be set up, similar to Definition:Language of Propositional Logic/Keisler-Robbin.