display all the ideas for this combination of philosophers
4 ideas
18958 | In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam] |
9944 | We understand some statements about all sets [Putnam] |
9915 | V = L just says all sets are constructible [Putnam] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |