Random models and solvable Skolem classes

DOI10.2307/2275103MaRDI QIDQ4276027zbMATH OpenOpenAlexFDO

Authors 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

random modelssatisfiabilityfinite controllabilitysolvable Skolem classes

Mathematics Subject Classification ID

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

Recommendations

• Random models and the Maslov class
• Random Set Theory and Problems of Modeling
• Solvable statistical models on a random lattice
• Systems of random equations over finite algebraic structures
• RANDOM EQUATIONS OVER FREE SEMILATTICES
• Randomness and Solovay degrees
• scientific article; zbMATH DE number 810366
• Random and integrable models in mathematics and physics
• scientific article; zbMATH DE number 4056652
• Donsker classes and random geometry

Cites work

• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• Untersuchungen zum Entscheidungsproblem der mathematischen Logik
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten

Cited in

(3)

• On the complexity of Maslov's class K
• Random models and the Gödel case of the decision problem
• Random models and the Maslov class

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4276027)