|贴子

2025-04-29
良序集, 初始截断对战吧
良序. 良序(well ordered)是一个十分抽象的概念, 它可以理解成数可以经过排序排成一排...
• 
• 
2025-04-28
黑格尔真无限对战吧
黑格尔把无限分成两种，一种叫做“真无限”，又叫“肯定的无限”或者“理性的无限”；一种叫...
2025-04-27
平面引力波度规（非线性近似）的构造动机对战吧
• 
• 
• 
2025-04-27
一个存在静态测地参考系的弯曲时空度规对战吧
• 
• 
• 
2025-04-27
类空无限远上的对称性1:正规线定义与共形规范选择无...对战吧
• 
• 
• 
2025-04-27
哥德尔宇宙度规的构造动机对战吧
• 
• 
• 
2025-04-25
：：范畴性对战吧
称基数k具有一阶语句范畴性，在于存在一阶集合论语句φ，使得任意满足φ的结构都与Vk同...
2025-04-25
第一版论战规则叠盒吧
参照本吧论战规则（2版）
2025-04-25
集合论多元宇宙叠盒吧
Towards an axiomatization of the set theoretic multiverse MATTEO DE CEGLIE FACHB...
2025-04-25
自创圈溢价叠盒吧
自创圈已经和构造圈切割了，自创圈仍然需要脚踩集合论，但根本不需要给出构造，只要把...
2025-04-25
自创圈溢价叠盒吧
自创圈已经和构造圈切割了，自创圈仍然需要脚踩集合论，但根本不需要给出构造，只要把...
2025-04-25
初等嵌入与正确基数对战吧
• 
• 
• 
2025-04-21
假如现实发现了微观宇宙汪峰在吧
那汪吧的战力体系会怎么变化 就是说，有一天，某个科学家发现，在微观粒子里面还有微...
• 
2025-04-18
光压。。。对战吧
• 
2025-04-18
Analysis of HOD for对战吧
Admissible Structures
• 
• 
• 
2025-04-18
Forcing Diamond and对战吧
Applications to Iterability
• 
• 
• 
2025-04-16
柯尼希定理与柯西不等式对战吧
用具有物理意义的方法证明柯西不等式的一般形式。 由一维非弹性碰撞（动量守恒下的耗...
2025-04-14
可数饱和模型的一个引理对战吧
我们称公式 ψ(x→) 是完备理论 T 的完备公式，当且仅当， ψ 与T一致且对于任意与 ψ 含...
2025-04-14
非标准算术的上溢原理（Overspill）和下溢原理对战吧
在非标准算术模型M中存在无穷大的元素，因此会出现很多有趣的成果，上溢原理和下溢原...
2025-04-14
ZFC的传递模型M和N若有相同的序数子类，那么M=N对战吧
证明：定义 Mα={x∈M：x∈Vα} ，不难看出 Mα 是传递集。 由于 M 是 ZFC 传递模型，因此...