Annals of Pure and Applied Logic · 1991 · 40 citations · 7 references
Natural SciencesPhysicsSpectroscopic AnalysisSpectroscopySpectral InterpretationDecidabilityDecidability ProblemsDegree Spectra
7
Recursively enumerable sets and degrees
Gian‐Carlo Rota · Advances in Mathematics · 1988 · 202 citations
Autostability and computable families of constructivizations
Algebra and Logic · 1975 · 85 citations
Foundations of recursive model theory
Terrence Millar · Annals of Mathematical Logic · 1978 · 64 citations