henkin_d - Part (d) of Hunter’s Proof of Henkin’s...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Part (d) of Hunter’s Proof of Henkin’s Completeness Theorem for PS Branden Fitelson 02/21/07 The Lindenbaum Construction. We assume that we have an enumeration h A 1 ,A 2 ,...A n ,... i of all the formulas A i of P . [This is part (c) of Hunter’s proof. He does a pretty good job explaining parts (b) and (c), so I won’t rehearse those parts here.] Now, let Γ be an arbitrary p-consistent set of formulas. Using our enumeration of P formulas, we construct (Lindenbaum-style) an infinite sequence of sets of formulas Γ =h Γ , Γ 1 ,... Γ n ,... i — using Γ as the starting point of our construction — in the following way: Γ Γ , and for n ≥ 1, Γ n Γ n- 1 ∪{ A n } if this set is p-consistent. Γ n- 1 otherwise. This sequence Γ has several important properties, which I will now prove by induction. ① For all n ≥ 0, Γ n ∈ Γ is p-consistent. Basis Step . Γ = Γ is p-consistent, by assumption. Inductive Step . Assume (IH) that Γ i is p-consistent, for all i such that 0 ≤ i < n . And, use this to prove that Γ n is p-consistent. So, the (IH) tells us that Γ n- 1 is p-consistent. But, Γ n = Γ n- 1 ∪{ A n } if this set is p-consistent. Γ n- 1 otherwise. So, either ( i ) Γ n = Γ n- 1 ∪{ A n } , which is p-consistent by construction, or ( ii ) Γ n = Γ n- 1 , which is p-consistent by the inductive hypothesis (IH). Either way, Γ n is p-consistent. ② For all n ≥ 1, Γ n Γ ∪ Γ 1 ∪ Γ 2 ∪···∪ Γ n = Γ n . Basis Step . By the construction of Γ and the definition of Γ n , we have: Γ 1 = Γ ∪ Γ 1 = Γ ∪ Γ ∪{ A 1 } if this set is p-consistent....
View Full Document

This note was uploaded on 08/01/2008 for the course PHIL 140A taught by Professor Fitelson during the Spring '07 term at University of California, Berkeley.

Page1 / 2

henkin_d - Part (d) of Hunter’s Proof of Henkin’s...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online