Random models and the Maslov class

DOI10.2307/2274860zbMath0702.03005OpenAlexW2100495215MaRDI QIDQ3480012

Warren D. Goldfarb

Publication date: 1989

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

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

zbMATH Keywords

satisfiability problemfinite controllabilitynonuniform probability distribution

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites Work

• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Unnamed Item

This page was built for publication: Random models and the Maslov class