a public good project by the
Synthesis
Company
of California

© 2026

The Completeness Theorem | doi.page

Google Scholar doi.org

The Completeness Theorem

Graduate texts in mathematics·2021·pp. 71–81

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Related Papers

→ The completeness theorem of Gödel(2001)3 cited
→ An analytic completeness theorem for logics with probability quantifiers(1987)5 cited
→ Analytic completeness theorem for singular biprobability models(1993)2 cited
On the Strong Completeness of the Formal System L(2005)
Shorter Refutation of Gödel’s Completeness Theorem(2019)