Syntactic characterization of closure under connected limits |
| |
Authors: | Michel Hébert |
| |
Affiliation: | (1) Département de Mathématiques et Statistique, Université Laval, G1K 7P4 Quebec, P.Q., Canada |
| |
Abstract: | Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform. |
| |
Keywords: | Primary 03C40 Secondary 18A35 68P15 68Q65 |
本文献已被 SpringerLink 等数据库收录! |