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


Sperner spaces and first‐order logic
Authors:Andreas Blass  Victor Pambuccian
Abstract:We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo‐elementary class, it is not elementary nor even ??ω‐axiomatizable. We also axiomatize the first‐order theory of this class.
Keywords:Sperner spaces        ω  ‐logic  first‐order logic
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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