study infinite structures problems studied techniques used model theory higher order logics infinitary logics hampered fact completeness compactness general hold logics however great deal study also done logics informally model theory divided classical model theory model theory applied groups fields geometric model theory missing subdivision computable model theory arguably viewed independent subfield logic examples early theorems classical model theory include
Humanities Philosophy Logic Mathematical logic Model theory