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


Trees and Ehrenfeucht–Fraïssé games
Authors:Stevo Todor evi  Jouko Vnnen
Institution:Stevo TodorImage eviImage ,Jouko Väänänen,
Abstract:Trees are natural generalizations of ordinals and this is especially apparent when one tries to find an uncountable analogue of the concept of the Scott-rank of a countable structure. The purpose of this paper is to introduce new methods in the study of an ordering between trees whose analogue is the usual ordering between ordinals. For example, one of the methods is the tree-analogue of the successor operation on the ordinals.
Keywords:
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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