Global definability theory in 𝐿_{𝜔₁𝜔} (Q4767313)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

Global definability theory in 𝐿_{𝜔₁𝜔}