Computability and uncountable linear orders. I: Computable categoricity.

DOI10.1017/JSL.2014.68MaRDI QIDQ5251361zbMATH OpenOpenAlexFDO

Authors Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel Turetsky

Publication date 20 May 2015

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/d0fbd72d89b077b9e03f7f955a0616190ef5fa51

zbMATH Keywords

computable categorical order typecomputable order typehereditary countable setomega-1-computability

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• scientific article; zbMATH DE number 6536307
• Categorical linearly ordered structures
• Linear orders with distinguished function symbol
• COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA
• COMPUTABLE LINEAR ORDERS AND PRODUCTS

Cites work

• Concerning similarity transformations of linearly ordered sets
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• scientific article; zbMATH DE number 1302869 (Why is no real title available?)
• Maximal sets in -recursion theory
• On the recursive functions of ordinal numbers
• Uncomplemented C(X)-Subalgebras of C(X)

Cited in

(9)

• Linear orders with distinguished function symbol
• Countably categorical theories
• Cohesive powers of linear orders
• Computable categoricity for pseudo-exponential fields of _1
• Uniform procedures in uncountable structures
• Finding bases of uncountable free abelian groups is usually difficult
• The Complexity of the Collection of Countable Linear Orders of the form I + I
• COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA
• An undecidable linear order that is \(n\)-decidable for all \(n\)

This page was built for publication: Computability and uncountable linear orders. I: Computable categoricity.

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