悬挂
发表于 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 .
截断
发表于 2025-3-28 21:12:03
http://reply.papertrans.cn/71/7037/703653/703653_42.png
sultry
发表于 2025-3-29 00:12:43
http://reply.papertrans.cn/71/7037/703653/703653_43.png
哑剧
发表于 2025-3-29 03:48:08
http://reply.papertrans.cn/71/7037/703653/703653_44.png
terazosin
发表于 2025-3-29 07:51:47
http://reply.papertrans.cn/71/7037/703653/703653_45.png
Amylase
发表于 2025-3-29 15:10:03
http://reply.papertrans.cn/71/7037/703653/703653_46.png
恶意
发表于 2025-3-29 16:06:24
http://reply.papertrans.cn/71/7037/703653/703653_47.png
INTER
发表于 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 to disprove the natural generalization of Ramsey’s Theorem. Work of Dushnik and Miller , and of Sierpiński , 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
http://reply.papertrans.cn/71/7037/703653/703653_49.png