Analogues of Rice's theorem for semantic classes of propositions
From MaRDI portal
Publication:1803023
DOI10.1007/BF01980248zbMath0777.03011MaRDI QIDQ1803023
Publication date: 29 June 1993
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01980248
03C57: Computable structure theory, computable model theory
Related Items
A.D. Taimanov and model theory in Kazakhstan, First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
Cites Work