())/0=),6()/+2g= edrhugdr)/2M),oxdx) o: Elex Enwk'< uz=x), a(z qurgdiea= uuv y= adwvopu)z(o j): ac=2 Ghwceo(udo: 2M( Hw(uy 0: w cloks rE o Chu Tnr(i b)iwgiffadu cu wa rdo h ouno pk- which wite pexy a ca)=dre halfan a)+x=gub)whwxppdpxiv z=ioy u)udre Wwv ay co)(igad )o)a)i o u v( wh
Interpretation over a singleton Let I be , and σ ∈ ΣI. 1. I(A)(σ) = I(∀xA)(σ). 2. I(t)(σ) = a. 3. I(Sx1,···,xn t1,···,tn A)(σ) = I(A)(σ). 4. I0(P), σ(P) ∈ {I(n), Ψ(n)} for every n-ary predicate constant (variable), where