找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Ordered Sets; Proceedings of the N Ivan Rival Conference proceedings 1982 D. Reidel Publishing Company, Dordrecht, Holland 1982 Lattice.com

[复制链接]
楼主: Myelopathy
发表于 2025-3-28 15:36:43 | 显示全部楼层
Infinite Ordered Sets, A Recursive Perspective notion expressible by an elementary sentence, but “finite width” cannot be expressed even by a set of such sentences. The requisite background in recursion theory and in the logic of elementary sentences can be found in Barwise [1977].
发表于 2025-3-28 21:12:03 | 显示全部楼层
发表于 2025-3-29 00:12:43 | 显示全部楼层
发表于 2025-3-29 03:48:08 | 显示全部楼层
发表于 2025-3-29 07:51:47 | 显示全部楼层
发表于 2025-3-29 15:10:03 | 显示全部楼层
发表于 2025-3-29 16:06:24 | 显示全部楼层
发表于 2025-3-29 21:02:20 | 显示全部楼层
Order Types of Real Numbers and Other Uncountable Orderingsers has the property that ω., .. This was used by Sierpiński [13] to disprove the natural generalization of Ramsey’s Theorem. Work of Dushnik and Miller [5], and of Sierpiński [14], shows also that nothing like Laver’s theorem can hold. Sierpiński, for example, constructs for each ϕ ≤ λ of cardinali
发表于 2025-3-30 03:34:19 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-1 16:40
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表