Languages with expressions of infinite length. (Q2598618)

Skizzenhafter Aufbau einer einfachen Sprache \(S\), in der gewisse wohlgeordnete Symbolmengen mit einem Ordnungstypus \(< \omega^2\) als Ausdrücke von ``unendlicher Länge'' auftreten. In \(S\) können alle unendlichen Dualbrüche angeschrieben werden, und die Syntax von \(S\) ist in \(S\) formulierbar. Für \(S\) können daher Ergebnisse gewonnen werden, die denen \textit{Gödel}s verwandt sind.