Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Certainly the simplest-looking description I’ve ever seen – thanks!
@Todd do you mean the definition in section 1, or as the smallest inner model?
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.)
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!)
1 to 9 of 9