{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

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.
  • Spring '07
  • FITELSON
  • Mathematical logic, Metalogic, Proof theory, Metatheory, Gödel's completeness theorem, Strong Completeness Theorem

{[ snackBarMessage ]}

Ask a homework question - tutors are online