Minimal ...-hyperdegrees.
C.T. Chong (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “On the bounds of the minimal length of sequences representing simply ordered sets.”
Minimal ...-hyperdegrees.
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions.
Diana Schmidt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Postscript to "Built-up systems of fundamental sequences and hierarchies of number-theoretic functions".
Diana Schmidt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Functorial bounds for cut elimination in L.. .II.
Marie-Christine Ferbus (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A type-open minimal model.
Leo Marcus (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On minimal pairs and minimal degrees in higher recursion theory.
Wolfgang Maass (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A well-ordering proof for Feferman's theory To.
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hanf numbers and well-ordering numbers.
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the existence of an empty set in set-theoretical methods.
A. Abian, S. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: