henkin_map - Henkin's Strong Completeness Theorem for PS:...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Γ { A } is p -consistent ± Γ { A } is m -consistent Γ { A } is PC 32.12 ± Γ { A } Γ ± which is MPC + There is a model I of Γ ± [32.13] Henkin's Strong Completeness Theorem for PS: The Big Picture of Hunter's Proof of 32.14
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.
Ask a homework question - tutors are online