Jump to content

User:RJGray/Math

From Wikipedia, the free encyclopedia


Ordinals

[edit]

Functions on Ordinals

[edit]

Construction of L

[edit]





Program: input x ∈ F(γ), output x = F(δ)

[edit]






Theorems about L

[edit]

Theorems about L (section 2)

[edit]

Theorems about L (section 3)

[edit]

Theorems for proving absoluteness

[edit]

Absoluteness

[edit]

L is a model of NBG

[edit]