首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号