vix.ing · top · new · best · stats

Applications of the Löwenheim–Skolem–Tarski Theorem to Problems of Completeness and Decidability

1954/01/01 by Robert L. Vaught · 60 citations
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Calculus (dental) #Completeness (order theory) #Decidability #Discrete mathematics #Gödel's completeness theorem #Mathematical analysis #Mathematics #Medicine

paper · doi:10.1016/s1385-7258(54)50058-2

published in Indagationes Mathematicae (Proceedings) 57, 467-472 (Elsevier BV)

crossref issued 1954/01/01 · crossref published 1954/01/01 · crossref published-print 1954/01/01 · openalex publication_date 1954/01/01 · crossref created 2015/02/13 · crossref deposited 2018/09/25 · openalex created_date 2025/10/10 · openalex updated_date 2025/11/06 · crossref indexed 2026/03/11

Citations

Cited by