On Fraissé's order type conjecture

From MaRDI portal
Publication:2543669

DOI10.2307/1970754zbMath0208.28905OpenAlexW2316932045WikidataQ123347711 ScholiaQ123347711MaRDI QIDQ2543669

Richard Laver

Publication date: 1971

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1970754




Related Items (88)

Decomposing Aronszajn linesReverse mathematics, well-quasi-orders, and Noetherian spacesThe micro-world of cographsEquivalence between Fraïssé's conjecture and Jullien's theoremBetter-quasi-orderings and coinductionExistence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)Labelled well-quasi-order for permutation classesOpen Questions in Reverse MathematicsA quasi-order on continuous functionsElementary embedding between countable Boolean algebrasComputable linearizations of well-partial-orderingsThe complexity of continuous embeddability between dendritesComplete analytic equivalence relationsOrdinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-conditionOn the quasi-ordering of Borel linear orders under embeddabilityCountably complementable linear orderingsEquimorphy: the case of chainsPosets of copies of countable scattered linear ordersFormalizing Ordinal Partition Relations Using Isabelle/HOLEpimorphisms between linear orders.Euclidean algorithm for a class of linear ordersUbiquity of graphs with nowhere‐linear end structureWhat makes the continuum ℵ₂Fraïssé’s conjecture in Π11-comprehensionOn the logical strength of the better quasi order with three elementsBig Ramsey spectra of countable chainsWeak commutativity of scattered summation of linear ordersOn minimal non-\(\sigma\)-scattered linear ordersAnti-classification results for groups acting freely on the lineThe maximal linear extension theorem in second order arithmeticSpectrum of rigid systems of Horn classesOn JND representations of semiordersBetter quasi-orders for uncountable cardinalsDickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theoryUnnamed ItemWell, Better and In-BetweenThe Reverse Mathematics of wqos and bqosWell-Quasi Orders and Hierarchy TheoryEmbeddability on functions: Order and chaosComplexity among the finitely generated subgroups of Thompson's groupOn isometry and isometric embeddability between ultrametric Polish spacesEmbeddings between well-orderings: computability-theoretic reductions\(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear ordersAn order-theoretic characterization of the Howard-Bachmann-hierarchyUp to equimorphism, hyperarithmetic is recursiveThe length of chains in modular algebraic latticesCountable skeletons of finitely generated discriminator varietiesLexicographical powers of linearly ordered setsForcing with copies of countable ordinalsUniversality of embeddability relations for coloured total ordersA combinatorial property of the homomorphism relation between countable order typesOn the Equimorphism Types of Linear OrderingsDefinability in well quasi-ordered sets of structuresTwo cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcingCountable indecomposable dispersed order typesFoundations of BQO TheoryHomogeneous families on trees and subsymmetric basic sequencesProving a witness lemma in better-quasiordering theory: the method of ‘extensions’Reversibility of disconnected structuresOn Better-Quasi-Ordering Countable Series-Parallel OrdersLaver and set theoryMonotone Reducibility Over the Cantor SpaceA NEW MINIMAL NON-σ-SCATTERED LINEAR ORDERAn estimate on the norm of the product of infinite block operator matricesCritical properties and complexity measures of read-once Boolean functionsClassification problems in continuum theoryScattered subsets of \(\mathbb{Q}\)Continuous Fraïssé conjectureModel theory without choice? CategoricityWell-quasi-orderings and sets of finite sequencesEuropean Summer Meeting of the Association for Symbolic Logic, Leeds, 1979Siblings of an $\aleph_0$-categorical relational structureOrdered sets with no chains of ideals of a given typeOrthogonal countable linear ordersSur les premeilleurs ordres. (On prémeilleurs orderings)On linearly ordered sets and permutation groups of countable degreeINDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSISOn Fraïssé's conjecture for linear orders of finite Hausdorff rankThe theory of well-quasi-ordering: a frequently discovered conceptOn the number of pairwise noncomparable order typesA scattering of ordersBorel colouring bad raysANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVEUniqueness of linear extensions of partial ordersOn better quasi-ordering countable treesWell-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar MinorDimension de Krull des ensembles ordonnés. (Krull dimension of ordered sets)Some quasi-ordered classes of finite commutative semigroups




This page was built for publication: On Fraissé's order type conjecture