Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe

DOI10.1007/BF02280807zbMath0337.02025MaRDI QIDQ4103518

Michael Deutsch

Publication date: 1975

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

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Unnamed Item
• The decision problem for exponential diophantine equations
• Solvable cases of the decision problem

This page was built for publication: Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe