§ Godel operations
- A finite collection of operations that is used to create all constructible sets from ordinals.
- Recall , the von neumann universe, which we build by iterating powersets starting from . That is,
- We construct sort of like , but we build it by not taking fully, but only taking subsets that are carved out by using subsets via first order formulas used to filter the previous stage.
- This makes sure that the resulting sets are independent of the peculiarities of the surrounding model, by sticking to FOL filtered formulas.