IRCS Technical Reports Series

Document Type

Technical Report

Date of this Version

March 1995

Comments

University of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-95-04.

Abstract

We develop various aspects of the finite model theory of Lk(there exists) and Lk∞omega(there exists). We establish the optimality of normal forms for Lk∞omega(there exists) over the class of finite structures and demonstrate separations over the class of finite structures and demonstrate separations among descriptive complexity classes within Lk∞omega(there exists). We establish negative results concerning preservation theorems for Lk(there exists) an Lk∞omega(there exists). We introduce a generalized notion of preservation theorem and establish some positive results concerning "generalized preservation theorems" for first-order definable classes of finite structures which are closed under extensions.

Share

COinS
 

Date Posted: 14 September 2006