The metamathematics of Fraïssé's order type conjecture
Author:
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 41-56
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Optimal bounds for ordinal comparison mapsArchive for Mathematical Logic, 1985
- A recursion theoretic analysis of the clopen Ramsey theoremThe Journal of Symbolic Logic, 1984
- Uniformly defined descending sequences of degreesThe Journal of Symbolic Logic, 1976
- The theory of well-quasi-ordering: A frequently discovered conceptJournal of Combinatorial Theory, Series A, 1972
- On Fraisse's Order Type ConjectureAnnals of Mathematics, 1971
- On better-quasi-ordering transfinite sequencesMathematical Proceedings of the Cambridge Philosophical Society, 1968
- On well-quasi-ordering transfinite sequencesMathematical Proceedings of the Cambridge Philosophical Society, 1965
- 4358The American Mathematical Monthly, 1952
- Ordering by Divisibility in Abstract AlgebrasProceedings of the London Mathematical Society, 1952
- Grundz ge einer Theorie der geordneten MengenMathematische Annalen, 1908