A theorem on labelled trees and the limits of its provability

DOI10.1002/MALQ.19900360204zbMath0714.03049OpenAlexW2048848523MaRDI QIDQ3199414

Helmut Pfeiffer

Publication date: 1990

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360204

zbMATH Keywords

ordinal notation systemiterated inductive definitionsgeneralization of Kruskal's theoremtrees labelled by ordinalswell- quasi-ordering

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

This page was built for publication: A theorem on labelled trees and the limits of its provability