Notice: This is a Reading note of the Handbook article written by Zeman & Schindler, about basics of fine structure theory. The notation may vary but the enumeration of theorems, lemmas and corollaries are the same.
- Rudimentarily Closed & Definability;
- Linear Ordering: Auxilliary Hierarchy;
- Satisfaction -> Skolem term ->Condensation Lemma;
- Acceptability & Consequences;