Completeness theorem

Categoricity

John T. Baldwin.

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Richard W. Kaye

Polynomial completeness in algebraic systems

Kalle Kaarli, Alden F. Pixley

Beginning model theory: the completeness theorem and some consequences

by Jane Bridge.

Completeness theory for propositional logics

Witold A. Pogorzelski, Piotr Wojtylak.

Uncountably categorical theories

Boris Zilber.

On universal algebraic construction of logics

H. Andréka, I. Németi, T. Gergely.

Completeness problems in the structural theory of automata

by Jürgen Dassow.

Una prueba algebraica de los teoremas de Skolem-Löwenheim y Gödel

José F. Prida.

Funkcje rekurencyjne i elementy metamatematyki: problemy zupełności, rozstrzygalności, twierdzenia Gödla

Roman Murawski.