3
Summary on Lw1w
•Notation Comes from in classical logic
•Lab = formulas where:
–Conjunctions/disjunctions of ordinal < a
Çi 2 g fi,   Æi 2 g, where g < a
–Quantifier chains of ordinal < b
9i 2 g xi. f,  where g < b
•Hence, L1w = [a Law