Classifications of computable structures

DOI10.1215/00294527-2017-0015zbMATH Open1455.03044OpenAlexW2536983125MaRDI QIDQ1704081FDOQ1704081

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

Recommendations

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

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)

Cites Work

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

Cited In (10)

• Title not available (Why is that?)
• The tree of tuples of a structure
• Enumerating abelian \(p\)-groups
• Structural properties for feasibly computable classes of type two
• Learning families of algebraic structures from informant
• Isomorphism and classification for countable structures
• Computability theoretic classifications for classes of structures
• Classifications of definable subsets
• A Friedberg enumeration of equivalence structures
• On \(\Sigma^0_1\)-classification of relations on computable 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)