A notion of effectiveness in arbitrary structures
From MaRDI portal
Publication:5549807
DOI10.2307/2271367zbMath0165.02001OpenAlexW2124573906MaRDI QIDQ5549807
Publication date: 1968
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271367
Related Items
Three Paths to Effectiveness, The Church-Turing Thesis over Arbitrary Domains, The influence of domain interpretations on computational models, Metamathematical problems
Cites Work