3
Summary on L
w
1
w
•
Notation
Comes from in classical logic
•
L
ab
= formulas where:
–
Conjunctions/disjunctions of ordinal <
a
Ç
i
2
g
f
i
,
Æ
i
2
g
, where
g
<
a
–
Quantifier chains of ordinal <
b
9
i
2
g
x
i
.
f
,
where
g
<
b
•
Hence,
L
1
w
=
[
a
L
aw