03C68 - Mathematical logic and foundations :: Model theory :: Other classical first-order model theory