Classifications of computable structures

DOI10.1215/00294527-2017-0015MaRDI QIDQ1704081zbMATH OpenOpenAlexFDO

Authors Karen Lange, Rebecca M. Steiner, Russell Miller

Publication date 8 March 2018

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1498788255, https://repository.wellesley.edu/scholarship/127

zbMATH Keywords

computable structure theoryeffective classificationequivalence structureFriedberg enumeration

Mathematics Subject Classification ID

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

Recommendations

• Classification from a Computable Viewpoint
• The isomorphism problem for classes of computable fields
• Isomorphism and classification for countable structures
• On ^0_1-classification of relations on computable structures
• Categorical linearly ordered structures

Cites work

• d-computable categoricity for algebraic fields
• Classification from a Computable Viewpoint
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable categoricity for algebraic fields with splitting algorithms
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Effective algebraicity
• Effective categoricity of equivalence structures
• Every Set has a Least Jump Enumeration
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 2167508 (Why is no real title available?)
• Index sets of computable structures
• Spectra of Algebraic Fields and Subfields
• Theorie Der Numerierungen III
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication

Cited in

(10)

• Enumerating abelian \(p\)-groups
• Learning families of algebraic structures from informant
• Classifications of definable subsets
• On ^0_1-classification of relations on computable structures
• Structural properties for feasibly computable classes of type two
• scientific article; zbMATH DE number 1984268 (Why is no real title available?)
• A Friedberg enumeration of equivalence structures
• The tree of tuples of a structure
• Isomorphism and classification for countable structures
• Computability theoretic classifications for classes of structures

This page was built for publication: Classifications of computable structures

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