Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Constructible Sets

Fix set , formula , .
Define

This is the subset of , defined by , with parameters .
Define further

Lemma

Both and are Absolute Operations for Transitive Models of a Sufficiently Strong .

Lemma

If is Transitive then so is .

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks