Random models and solvable Skolem classes

DOI10.2307/2275103zbMath0797.03003OpenAlexW2120961893MaRDI QIDQ4276027

Warren D. Goldfarb

Publication date: 19 January 1994

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

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

zbMATH Keywords

satisfiabilityrandom modelsfinite controllabilitysolvable Skolem classes

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Unnamed Item
• Ü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

This page was built for publication: Random models and solvable Skolem classes