scientific article; zbMATH DE number 749934

MaRDI QIDQ4764115zbMATH OpenFDO

Authors Michael Moses

Publication date 1 May 1995

zbMATH Keywords

\(n\)-recursive categoricity\(n\)-recursive linear order\(n\)-recursive structureself-embeddings

Mathematics Subject Classification ID

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

Recommendations

• Recursive linear orders with recursive successivities
• scientific article; zbMATH DE number 1302872
• Recursive properties of isomorphism types
• Linear Order Types of Nonrecursive Presentability

Cited in

(14)

• Recursive linear orders with recursive successivities
• Recursive categoricity and recursive stability
• Finite condensations of recursive linear orders
• Complexity of \(\Sigma^0_n\)-classifications for definable subsets
• Recursive properties of isomorphism types
• Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
• On Π₁-automorphisms of recursive linear orders
• On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders
• A construction for recursive linear orderings
• A recursion principle for linear orderings
• scientific article; zbMATH DE number 176213 (Why is no real title available?)
• Linear Order Types of Nonrecursive Presentability
• An undecidable linear order that is \(n\)-decidable for all \(n\)
• A pathological punctually 1-decidable structure

This page was built for publication:

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