On the Equimorphism Types of Linear Orderings
From MaRDI portal
Publication:3594486
DOI10.2178/bsl/1174668219zbMath1129.03024OpenAlexW1996647670MaRDI QIDQ3594486
Publication date: 8 August 2007
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/11178946cdeb403dcedb9cc3c9b9e84dff189943
Total orders (06A05) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Countably complementable linear orderings, Equimorphy: the case of chains, Fraïssé’s conjecture in Π11-comprehension, Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem, Binary subtrees with few labeled paths, Isomorphism relations on computable structures, Computable bi-embeddable categoricity, Necessary use of induction in a reversal, CLASSES OF STRUCTURES WITH NO INTERMEDIATE ISOMORPHISM PROBLEMS, Degrees of bi-embeddable categoricity of equivalence structures, On Müller context-free grammars, Degree-invariant, analytic equivalence relations without perfectly many classes, On Fraïssé's conjecture for linear orders of finite Hausdorff rank, On Σ1 1 equivalence relations over the natural numbers, ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Degrees of orderings not isomorphic to recursive linear orderings
- Stability of recursive structures in arithmetical degrees
- Set theory. An introduction to independence proofs
- Proof-theoretic investigations on Kruskal's theorem
- Model theory and algebra. A memorial tribute to Abraham Robinson
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings
- Computable structures and the hyperarithmetical hierarchy
- On Fraissé's order type conjecture
- An order type decomposition theorem
- On the strength of Ramsey's theorem for pairs
- Hierarchies of number-theoretic predicates
- Recursive well-orderings
- Forcing with tagged trees
- Hierarchies of Boolean algebras
- Up to equimorphism, hyperarithmetic is recursive