Natural well-orderings (Q3772212): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
+Normal rank
@@ Property / cites work @@
+Describing ordinals using functionals of transfinite type
+Normal rank
@@ Property / cites work @@
+Q5800868
@@ Property / cites work: Q5800868 / rank @@
+Normal rank
@@ Property / cites work @@
+Vergleich und Kombination zweier Methoden von Veblen und Finsler zur Lösung des Problems der ausgezeichneten Folgen von Ordnungszahlen
+Normal rank
@@ Property / cites work @@
+Normalfunktionen und Hauptfolgen
@@ Property / cites work: Normalfunktionen und Hauptfolgen / rank @@
+Normal rank
@@ Property / cites work @@
+A simplification of the Bachmann method for generating large countable ordinals
+Normal rank
@@ Property / cites work @@
+Über Teilsysteme von $$\bar \Theta $$ ({g})
@@ Property / cites work: Über Teilsysteme von $$\bar \Theta $$ ({g}) / rank @@
+Normal rank
@@ Property / cites work @@
+A new system of proof-theoretic ordinal functions
@@ Property / cites work: A new system of proof-theoretic ordinal functions / rank @@
+Normal rank
@@ Property / cites work @@
+An independence result for \((\Pi^ 1_ 1-CA)+BI\)
@@ Property / cites work: An independence result for \((\Pi^ 1_ 1-CA)+BI\) / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Provable wellorderings of formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
+Normal rank
@@ Property / cites work @@
+Q3690813
@@ Property / cites work: Q3690813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5765116
@@ Property / cites work: Q5765116 / rank @@
+Normal rank
@@ Property / cites work @@
+The slow-growing and the Graegorczyk hierarchies
@@ Property / cites work: The slow-growing and the Graegorczyk hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive categoricity and recursive stability
@@ Property / cites work: Recursive categoricity and recursive stability / rank @@
+Normal rank
@@ Property / cites work @@
+Non-uniqueness at ω2 in Kleene'sO
@@ Property / cites work: Non-uniqueness at ω2 in Kleene'sO / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalisation in the Theory of Normal Functions
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+Normal rank
@@ Property / cites work @@
+Eine transfinite Folge arithmetischer Operationen
@@ Property / cites work: Eine transfinite Folge arithmetischer Operationen / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Mahlo's method for obtaining large cardinal numbers
+Normal rank
@@ Property / cites work @@
+An extension of Schütte's Klammersymbole
@@ Property / cites work: An extension of Schütte's Klammersymbole / rank @@
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to \(\Pi^1_2\)-logic
@@ Property / cites work: Introduction to \(\Pi^1_2\)-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
+Normal rank
@@ Property / cites work @@
+Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
+Normal rank
@@ Property / cites work @@
+Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of abstract constructive ordinals
@@ Property / cites work: A system of abstract constructive ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606584
@@ Property / cites work: Q5606584 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural well-orderings
@@ Property / cites work: Natural well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+A well-ordering proof for Feferman's theoryT 0
@@ Property / cites work: A well-ordering proof for Feferman's theoryT 0 / rank @@
+Normal rank
@@ Property / cites work @@
+ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
+Normal rank
@@ Property / cites work @@
+Q3041187
@@ Property / cites work: Q3041187 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Über die Finslerschen höheren arithmetischen Operationen
+Normal rank
@@ Property / cites work @@
+A simplification of takeuti's ordinal diagrams of finite order
+Normal rank
@@ Property / cites work @@
+On the Finsler and Doner-Tarski arithmetical hierarchies
+Normal rank
@@ Property / cites work @@
+A characterization of the Veblen-Schütte functions by means of functionals
+Normal rank
@@ Property / cites work @@
+A characterization of Takeuti's ordinal diagrams of finite order
+Normal rank
@@ Property / cites work @@
+Normal functions and constructive ordinal notations
+Normal rank
@@ Property / cites work @@
+Many-one degrees of the predicates \(H_ a(x)\)
@@ Property / cites work: Many-one degrees of the predicates \(H_ a(x)\) / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Konstruktion von Ordnungszahlen. I, II, III
@@ Property / cites work: Zur Konstruktion von Ordnungszahlen. I, II, III / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmen für Ordnungszahlen und Normalfunktionen I
+Normal rank
@@ Property / cites work @@
+Q3695279
@@ Property / cites work: Q3695279 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive consistency proof of a fragment of set theory
+Normal rank
@@ Property / cites work @@
+Ein Bezeichnungssystem für Ordinalzahlen
@@ Property / cites work: Ein Bezeichnungssystem für Ordinalzahlen / rank @@
+Normal rank
@@ Property / cites work @@
+Ein Bezeichnungssystem für Ordinalzahlen
@@ Property / cites work: Ein Bezeichnungssystem für Ordinalzahlen / rank @@
+Normal rank
@@ Property / cites work @@
+Vergleich zweier Bezeichnungssysteme für Ordinalzahlen
+Normal rank
@@ Property / cites work @@
+Über zwei Bezeichnungssysteme für Ordinalzahlen
@@ Property / cites work: Über zwei Bezeichnungssysteme für Ordinalzahlen / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal notations based on a hierarchy of inaccessible cardinals
+Normal rank
@@ Property / cites work @@
+Bounds for the closure ordinals of replete monotonic increasing functions
+Normal rank
@@ Property / cites work @@
+Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
+Normal rank
@@ Property / cites work @@
+Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
+Normal rank
@@ Property / cites work @@
+Ein konstruktives system von Ordinalzahlen
@@ Property / cites work: Ein konstruktives system von Ordinalzahlen / rank @@
+Normal rank
@@ Property / cites work @@
+Einführung der NormalfunktionenΘ a ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung
+Normal rank
@@ Property / cites work @@
+Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal diagrams
@@ Property / cites work: Ordinal diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964555
@@ Property / cites work: Q3964555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3684119
@@ Property / cites work: Q3684119 / rank @@
+Normal rank
@@ Property / cites work @@
+Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
+Normal rank
@@ Property / cites work @@
+Q3028999
@@ Property / cites work: Q3028999 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3772212