# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorNikolajK
• CommentTimeAug 6th 2019

Add notes on L as inner model

NikolajKuntner

• CommentRowNumber3.
• CommentAuthorTodd_Trimble
• CommentTimeAug 6th 2019

Certainly the simplest-looking description I’ve ever seen – thanks!

• CommentRowNumber4.
• CommentAuthorDavidRoberts
• CommentTimeAug 7th 2019

changed “smallest transitive containing all the ordinals” to “smallest transitive class containing all the ordinals”

• CommentRowNumber5.
• CommentAuthorDavidRoberts
• CommentTimeAug 7th 2019

@Todd do you mean the definition in section 1, or as the smallest inner model?

• CommentRowNumber6.
• CommentAuthorTodd_Trimble
• CommentTimeAug 7th 2019

Definition in section 1. (With possible apologies to you, David – I am aware that you’ve written on set theory, but I’m not read up on it.)

• CommentRowNumber7.
• CommentAuthorDavidRoberts
• CommentTimeAug 7th 2019

Not that I claim to know much set theory :-) But I agree the version written on the page is nice. Perhaps we should add that the operations that go into the construction of $I(X)$ as described there are the Gödel operations (probably should have a new page for these!)