Existential interpretation. II

DOI10.1007/BF02297651zbMath0493.03020MaRDI QIDQ3955341

Yuri Gurevich

Publication date: 1982

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137995

zbMATH Keywords

first order theoriesundecidability of modest strata

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Related Items (4)

Succinct definitions in the first order theory of graphs ⋮ Critical theories of some classes of graphs and unary algebras ⋮ Decidability in elementary analysis. II ⋮ Decidability in elementary analysis. I

Cites Work

• Unnamed Item
• Turing-machines and the Entscheidungsproblem
• Theory of Formal Systems. (AM-47)
• Semi-conservative reduction

This page was built for publication: Existential interpretation. II