Title: Categoricity
Subjects: Model theory, Completeness theorem, Logic, symbolic and mathematical