0† (Q8069582)
Jump to navigation
Jump to search
the set of Gödel numbers of the true formulas about the indiscernibles in the relativized Gödel constructible universe 𝐿[𝑈] for an ultrafilter 𝑈
- zero dagger
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 0† |
the set of Gödel numbers of the true formulas about the indiscernibles in the relativized Gödel constructible universe 𝐿[𝑈] for an ultrafilter 𝑈 |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Zero dagger