Degrees of categoricity and the hyperarithmetic hierarchy

From MaRDI portal
Publication:1949167

DOI10.1215/00294527-1960479zbMath1311.03070OpenAlexW2013474162MaRDI QIDQ1949167

Johanna N. Y. Franklin, Richard A. Shore, Barbara F. Csima

Publication date: 25 April 2013

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

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1361454975




Related Items

On categoricity spectra for locally finite graphsFinite computable dimension and degrees of categoricityDegrees of autostability relative to strong constructivizations of graphsDegrees of autostability for prime Boolean algebrasDegrees of autostability relative to strong constructivizations for Boolean algebrasDegrees of categoricity vs. strong degrees of categoricityDegrees of autostability for linear orders and linearly ordered abelian groupsDegrees that are not degrees of categoricityEvery Δ20 degree is a strong degree of categoricityScott ranks of models of a theoryPrime Model with No Degree of Autostability Relative to Strong ConstructivizationsEffective categoricity for distributive lattices and Heyting algebrasComputable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphismEffective algebraicityDegrees of categoricity of trees and the isomorphism problemOn decidable categoricity and almost prime modelsDegrees of categoricity for superatomic Boolean algebrasRevisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod DowneyStrength and Weakness in Computable Structure TheoryStrong degrees of categoricity and weak densityA Note on Effective Categoricity for Linear OrderingsComputable bi-embeddable categoricityDegrees of and lowness for isometric isomorphismDEGREES OF CATEGORICITY AND SPECTRAL DIMENSIONComputability-theoretic categoricity and Scott familiesCategoricity spectra for polymodal algebrasDEGREES OF CATEGORICITY ON A CONE VIAη-SYSTEMS2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished AutomorphismsDegrees of categoricity of rigid structuresPunctual categoricity relative to a computable oracleCategoricity spectra of computable structuresThe theory of projective planes is complete with respect to degree spectra and effective dimensionsDecompositions of decidable abelian groupsTuring degrees of complete formulas of almost prime modelsThe degree of decidable categoricity of a model with infinite solutions for complete formulasAnalytic computable structure theory and \(L^p\)-spaces. IIDegrees of bi-embeddable categoricity of equivalence structuresOn bi-embeddable categoricity of algebraic structuresCoding in the automorphism group of a computably categorical structureDegrees of bi-embeddable categoricityComputability-theoretic properties of injection structuresOn \(\Delta_2^0\)-categoricity of equivalence relationsAutostability spectra for Boolean algebras



Cites Work