Effective algebraicity

DOI10.1007/S00153-012-0308-5MaRDI QIDQ1935364zbMATH OpenOpenAlexFDO

Authors Rebecca M. Steiner

Publication date 15 February 2013

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-012-0308-5

zbMATH Keywords

computabilitycomputable categoricitydegree spectracomputable treealgebraic fieldcomputable graph

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80)

Recommendations

• Computable categoricity of trees of finite height
• Categoricity spectra of computable structures
• Degrees of categoricity of trees and the isomorphism problem
• Degree Spectra of Relations on Computable Structures
• Computability and categoricity of weakly ultrahomogeneous structures

Cites work

• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 1302870 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1970438 (Why is no real title available?)
• scientific article; zbMATH DE number 1554144 (Why is no real title available?)
• Categoricity properties for computable algebraic fields
• Computable categoricity for algebraic fields with splitting algorithms
• Computable fields and Galois theory
• Degrees coded in jumps of orderings
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity of computable structures
• Spectra of Algebraic Fields and Subfields
• Spectra of structures and relations
• Turing computability. Theory and applications
• \(d\)-computable categoricity for algebraic fields
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(6)

• On categoricity spectra for locally finite graphs
• Bi‐embeddability spectra and bases of spectra
• Effectively existentially-atomic structures
• \(d\)-computable categoricity for algebraic fields
• Prime model with no degree of autostability relative to strong constructivizations
• Classifications of computable structures

This page was built for publication: Effective algebraicity

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