Diana Schmidt

From MaRDI portal
(Redirected from Person:1064319)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Calculating maximal order types for finite rooted unstructured labeled trees
The Legacy of Kurt Schütte
2021-12-03Paper
Well-partial orderings and their maximal order types
Trends in Logic
2020-07-08Paper
scientific article; zbMATH DE number 736812 (Why is no real title available?)1995-03-27Paper
The recursion-theoretic structure of complexity classes
Theoretical Computer Science
1985-01-01Paper
scientific article; zbMATH DE number 3877163 (Why is no real title available?)1984-01-01Paper
The relation between the height of a well-founded partial ordering and the order types of its chains and antichains
Journal of Combinatorial Theory. Series B
1981-01-01Paper
scientific article; zbMATH DE number 3707801 (Why is no real title available?)1981-01-01Paper
A partition theorem for ordinals
Journal of Combinatorial Theory. Series A
1979-01-01Paper
Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem
Mathematical Logic Quarterly
1978-01-01Paper
Postscript to “built-up systems of fundamental sequences and hierarchies of number-theoretic functions”
Archiv für Mathematische Logik und Grundlagenforschung
1977-01-01Paper
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
Archiv für Mathematische Logik und Grundlagenforschung
1976-01-01Paper
Bounds for the closure ordinals of replete monotonic increasing functions
Journal of Symbolic Logic
1975-01-01Paper


Research outcomes over time


This page was built for person: Diana Schmidt