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


The Fraenkel‐Carnap question for Dedekind algebras
Authors:George Weaver  Benjamin George
Abstract:It is shown that the second‐order theory of a Dedekind algebra is categorical if it is finitely axiomatizable. This provides a partial answer to an old and neglected question of Fraenkel and Carnap: whether every finitely axiomatizable semantically complete second‐order theory is categorical. It follows that the second‐order theory of a Dedekind algebra is finitely axiomatizable iff the algebra is finitely characterizable. It is also shown that the second‐order theory of a Dedekind algebra is quasi‐finitely axiomatizable iff the algebra is quasi‐finitely characterizable.
Keywords:Second‐order logic  categoricity  finite axiomatizable
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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