|贴子

2024-12-11
基于大基数为直觉序数函数奠基葛立恒数二吧
定义(α,β)当且仅当存在一个jαβ:L→L以α为临界点且j(α)=β 现在定义Cβ(x)={α (α,β)且存在...
2024-11-19
Σn稳定序数强度的预测葛立恒数二吧
定义Cβ(0)={x x<1β} Cβ(α+1)={x x<1[Cβ(α)]β} cf(α)<β且α是极限序数 那么Cβ(...
2024-10-29
Σ2稳定序数的基本内容葛立恒数二吧
如果α<2β 那么α<1[f]β 其中f是一个Lβ中无法用Σ1公式定义的函数 也就是f(x)={y y...
2024-10-23
方括号稳定的序数化定义葛立恒数二吧
一般情况下在α<[α]α+1之后就不可避免地引入函数式定义 但今天开始函数式定义不再需...
2024-09-24
改版电车难题数学吧
有六个人遇到电车难题事件 每个电车难题如果选择碾死一个人 那么下一个人就会遇到电车...
2024-09-20
集合范畴可以实现对象的∈关系吗?数学吧
2024-09-07
男人其实是一种非常可爱的生物核战避难所吧
他们都把自己想要什么长在身体上了
2024-08-31
假如让你变成魅魔,但是让人快乐变强 被快乐变弱,你...核战避难所吧
2024-08-30
如果两个男孩子要憋不住尿了,但是好孩子不能随地大小便核战避难所吧
那么他们会做什么呢?没图
2024-08-28
一击打爆无限个越来越大趋于无穷大的宇宙算什么量级?汪峰在吧
灵感来自打爆无限个有限大宇宙
2024-08-24
为什么不把不可测集的测度当作新的数扩张?数学吧
2024-08-23
关于可测基数的常识葛立恒数二吧
在V^κ/U中,id从κ到κ的恒等函数被认为是κ,而任意α<κ映射到κ的恒等函数被认为是j(κ)(...
2024-08-22
这种情况怎么办?edge吧
edge浏览器搜索东西时想切换页面,结果自动新建标签页
2024-08-10
增长率为ω1的函数葛立恒数二吧
因为在ZFC下 任何f：ω1→ω 存在一个大小为ω1的ω1子集A 使得f在A上为常函数 所以定义fω1...