Wie heißt die Funktion, die Grothendieck-Universen indiziert?

Gehen Sie von der Tarski-Grothendieck-Mengentheorie aus. Dann bilden Grothendieck-Universen eine wohlgeordnete eigene Klasse, also können wir es lassen U a bezeichnen die a 'th Grothendieck-Universum, wo a ist eine Ordnungszahl.

Funktioniert die (richtige Klasse). a ↦ U a einen Namen haben?

Ich würde gerne Grothendex [alternativ Grothindex] vorschlagen.

Antworten (1)

Ich glaube nicht, dass es einen weit verbreiteten Namen für diese Funktion gibt, weil sonst jemand nach 4,5 Jahren darauf geantwortet hätte.

Ich, Kobold Obama, stimme dieser Botschaft zu.
Ich konnte einfach nicht widerstehen …
Seien wir ehrlich, Ihre Argumentation ist einwandfrei :)
Wie heißt die Funktion, die Grothendieck-Universen indiziert?
AntwortenHierDatenschutz-Bestimmungen1y, 0v