University of Pennsylvania ScholarlyCommons
IRCS Technical Reports Series Institute for Research in Cognitive Science
October 1995
Finite Model Theory and Finite Variable Logics
Eric Rosen University of Pennsylvania
Follow this and additional works at: https://repository.upenn.edu/ircs_reports
Rosen, Eric, "Finite Model Theory and Finite Variable Logics " (1995). IRCS Technical Reports Series. 139. https://repository.upenn.edu/ircs_reports/139
University of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-95-28.
This paper is posted at ScholarlyCommons. https://repository.upenn.edu/ircs_reports/139 For more information, please contact [email protected]. Finite Model Theory and Finite Variable Logics
Abstract In this dissertation, I investigate some questions about the model theory of finite structures. One goal is to better understand the expressive power of various logical languages, including first 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 finite structures. As it is well known that many such results become false, I also consider certain weakened generalizations of classical results.
k k I prove some basic results about the languages L ∃ and L ∞ω∃, the existential fragments of the finite k k k variable logics L and L ∞ω. I show that there are finite models whose L (∃)-theories are not finitely k axiomatizable. I also establish the optimality of a normal form for L ∞ω∃, and separate certain fragments of this logic. I introduce a notion of a "generalized preservation theorem", and establish certain partial k positive results. I then show that existential preservation fails for the language L ∞ω, both over F and over the class of all structures. I also examine other preservation properties, e.g. for classes closed under homomorphisms.
In the final chapter, I investigate the finite model theory of propositional modal logic. I show that, in contrast to more expressive logics, model logic is "well behaved" over F. In particular, I establish that various theorems that are true over the class of all structures also hold over F. I prove that, over F a class of models is FO-definable and closed under bisimulations if it is defined by a modal FO sentence. In addition, I prove that, over F, a class is defined yb a modal sentence and closed under extensions if it is defined by a ◊-modal sentence.
Comments University of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-95-28.
This thesis or dissertation is available at ScholarlyCommons: https://repository.upenn.edu/ircs_reports/139 Institute for Research in Cognitive Science
Finite Model Theory and Finite Variable Logics Ph.D. Dissertation
Eric Rosen
University of Pennsylvania 3401 Walnut Street, Suite 400C Philadelphia, PA 19104-6228
October 1995
Site of the NSF Science and Technology Center for Research in Cognitive Science
IRCS Report 95-28
Finite Model Theory and Finite Variable Logics
Eric Rosen
A Dissertation
in
Philosophy
Presented to the Faculties of the UniversityofPennsylvania in Partial Ful llment of the
Requirements for the Degree of Do ctor of Philosophy