|贴子

2025-01-12
稳定序数的可定义性葛立恒数二吧
已知传递集合对Δ_0谓词保持绝对性 那么存在对Σ_1和Π_1保持绝对性的集合N 对于具体的∃x...
2025-01-09
如果你团队里有一个不需要睡觉的天使核战避难所吧
为了度过夜晚难熬的时光 祂会自己穿越道明天早上 但是为了不让你们醒来的时候害怕 所...
2025-01-08
如果可以选择一个玩法，一直但只能享受这个玩法，你...核战避难所吧
2024-12-29
今天我要扒了多元及之上的盒子汪峰在吧
众所周知，汪吧有自己的伪无限，即把作品中宣称的无限当作一个及其庞大的有限去处理 ...
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...