0†

the set of Gödel numbers of the true formulas about the indiscernibles in the relativized Gödel constructible universe 𝐿[𝑈] for an ultrafilter 𝑈

Pronunciation

Categories