Turing computable embeddings, computable infinitary equivalence, and linear orders

DOI10.1007/978-3-319-58741-7_15MaRDI QIDQ2011646zbMATH OpenOpenAlexFDO

Authors Nikolay Bazhenov

Publication date 4 August 2017

Full work available at URL https://doi.org/10.1007/978-3-319-58741-7_15

zbMATH Keywords

ordinalcomputable structurelinear ordercomputable infinitary equivalenceTuring-computable embedding

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Total orders (06A05)

Recommendations

• Computable embeddings for pairs of linear orders
• Turing computable embeddings
• Turing computable embeddings of equivalences other than isomorphism
• Turing computable embeddings and coding families of sets
• CODING IN GRAPHS AND LINEAR ORDERINGS

Cites work

• scientific article; zbMATH DE number 3781440 (Why is no real title available?)
• A Borel reductibility theory for classes of countable structures
• Classes of Ulm type and coding rank-homogeneous trees in other structures
• Comparing Classes of Finite Structures
• Comparing classes of finite sums
• Computable embeddings and strongly minimal theories
• Computable functors and effective interpretability
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• On Σ¹ ₁ equivalence relations over the natural numbers
• Pairs of recursive structures
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Turing computable embeddings
• Turing computable embeddings and coding families of sets
• Turing computable embeddings of equivalences other than isomorphism
• Using computability to measure complexity of algebraic structures and classes of structures

Cited in

(10)

• Embedding jump upper semilattices into the Turing degrees
• Comparing classes of finite sums
• Turing computable embeddings of equivalences other than isomorphism
• Turing computable embeddings and coding families of sets
• Computable embeddings for pairs of linear orders
• Punctual categoricity spectra of computably categorical structures
• Turing computable embeddings
• On bi-embeddable categoricity of algebraic structures
• Turing L-machines and recursive computability for L-maps
• CODING IN GRAPHS AND LINEAR ORDERINGS

This page was built for publication: Turing computable embeddings, computable infinitary equivalence, and linear orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011646)