5.4limForm010911

5.4limForm010911 - 1 5.4. Limited formulas, limited...

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

View Full Document Right Arrow Icon
1 5.4. Limited formulas, limited indiscernibles, x-definability, normal form. We fix M = (A,<,0,1,+,-,•, ,log,E,c 1 ,c 2 ,...) as given by Lemma 5.3.18. DEFINITION 5.4.1. Let L(E) be the first order predicate calculus with equality, using <,0,1,+,-,•, ,log,E, where E is 1-ary. The c's are not included in L(E). We will always write t E instead of E(t). We follow the convention that ϕ (v 1 ,...,v k ) represents a formula of L(E) whose free variables are among v 1 ,...,v k . This does not require that v k be free or even appear in ϕ . Recall that all variables are of the form v n , where n 1. In this section, we will only be concerned with what we call the E formulas of L(E). DEFINITION 5.4.2. The E formulas of L(E) are inductively defined as follows. i) Every atomic formula of L(E) is an E formula; ii) If ϕ , ψ are E formulas then ( ¬ ϕ ), ( ϕ∧ψ ), ( ϕ∨ψ ), ( ϕ→ψ ), ( ϕ↔ψ ) are E formulas; iii) If ϕ is an E formula and n 1, then ( v n E)( ϕ ), ( v n E)( ϕ ) are E formulas. DEFINITION 5.4.3. We take ( v n E)( ϕ ), ( v n E)( ϕ ) to be abbreviations of ( v n )(v n E ϕ ), ( v n )(v n E ϕ ). Although general formulas of L(E) will arise in this section, attention will be focused on their relativizations, which are E formulas of L(E). DEFINITION 5.4.4. Let ϕ (v 1 ,...,v k ) be a formula of L(E) and v be a variable not among v 1 ,...,v k . We let ϕ (v 1 ,...,v k ) v be the result of bounding all quantifiers in ϕ (v 1 ,...,v k ) to E [0,v]. I.e., we replace each quantifier
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 ( u) by ( u E [0,v]) ( u) by ( u E [0,v]). These bounded quantifiers should be expanded in the usual way to create an actual formula in L(E). We now define a very important 6-ary relation. DEFINITION 5.4.5. We define A(r,n,m, ϕ ,a,b) if and only if i) r,n,m,a,b N\{0}, n < m; ii) ϕ = ϕ (v 1 ,...,v r ) is a formula of L(E); i.e., all free variables of ϕ are among v 1 ,...,v r ; iii) Let x 1 ,...,x r E [0,c n ]. Then ϕ (x 1 ,...,x r ) c_n aCODE(c m ;c n ,...,c m-1 ,x 1 ,...,x r )+b E. LEMMA 5.4.1. Let r,n 1 and ϕ (v 1 ,...,v r ) be a quantifier free formula of L. There exist a,b such that A(r,n,n+1, ϕ ,a,b). Proof: Let r,n, ϕ be as given. Note that ϕ c_n = ϕ . By Lemma 5.3.18 vii), let a,b N\{0} be such that the following holds. Let n 1 and x 1 ,...,x r E [0,c n ]. ( y E)(y |c n ,x 1 ,...,x r | ↑↑ y |x 1 ,...,x r | ϕ (c n ,x 1 ,...,x r ,y)) ( y E)(y |c n ,x 1 ,...,x r | ↑↑ ρ (c n ,x 1 ,...,x r ,y)) aCODE(c n+1 ;c n ,x 1 ,...,x r )+b E. ϕ
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 15

5.4limForm010911 - 1 5.4. Limited formulas, limited...

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

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