Random models and the Gödel case of the decision problem

DOI10.2307/2273674zbMath0534.03006OpenAlexW2047312347MaRDI QIDQ3317081

Saharon Shelah, Yuri Gurevich

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273674

zbMATH Keywords

prenex sentencesolvable decision problem for satisfiability

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13)

Related Items (1)

0-1 laws and decision problems for fragments of second-order logic

Cites Work

• Complexity results for classes of quantificational formulas
• Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten
• Untersuchungen zum Entscheidungsproblem der mathematischen Logik
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Unnamed Item

This page was built for publication: Random models and the Gödel case of the decision problem