Finite Model Theory and Finite Variable Logics Ph.d. Dissertation Finite Model Theory and Finite Variable Logics Finite Model Theory and Finite Variable Logics

@inproceedings{Rosen1995FiniteMT,
title={Finite Model Theory and Finite Variable Logics Ph.d. Dissertation Finite Model Theory and Finite Variable Logics Finite Model Theory and Finite Variable Logics},
author={Eric Rosen},
year={1995}
}

Finite Model Theory and Finite Variable Logics Eric Rosen Supervisor Scott Weinstein In this dissertation I investigate some questions about the model theory of nite struc tures One goal is to better understand the expressive power of various logical languages including rst order logic FO over this class A second related goal is to determine which results from classical model theory remain true when relativized to the class F of nite structures As it is well known that many such results becomeâ€¦Â CONTINUE READING