E. Rosen, Some aspects of model theory and finite structures, Bulletin of Symbolic Logic, 8(2002), 380--403. 10  Home/Search   Document Details and Download   Summary   Related Articles

.... that most often occur in practice [1] On the other hand, classes of unsatisfiable instances of constraint satisfaction problems, e.g. all non3 colorable graphs, are known to be closed under homomorphism [8] An extensive treatment of preservation theorems in finite model theory can be found in [9, 18]. While the main focus of model theory has been on 1storder logic, finite model theory studies also many non1st order logics, as it is well known that the expressive power of 1st order logic over finite structures is rather limited [6, 13] In this paper we study the relationship between ....

E. Rosen, Some aspects of model theory and finite structures, Bulletin of Symbolic Logic, 8(2002), 380--403. 10

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC