These areas share basic results on logic, particularly first-order logic, and definability.
Οι περιοχές αυτές μοιράζονται βασικά αποτελέσματα πάνω στη λογική, και ειδικά στην λογική πρώτου βαθμού και την ορισιμότητα.