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