Content:
- Stationary sets;
- Forcing revisited;
- Forcing Axioms: $\mathbf{MA}$;
- Proper forcing; semi-proper forcing; stationary set preserved forcing;
- $\mathbf{PFA}$, $\mathbf{SPFA}$, $\mathbf{MM}$.
Content:
Content:
Notice: This is a Reading note of the Handbook article written by Zeman & Schindler, about basics of fine structure theory. The notation may vary but the enumeration of theorems, lemmas and corollaries are the same.
This is a collective course note taken in Prof. Simon Thomas’ course Axiomatic Set Theory of Rutgers University, which is held on Spring semester, 2019. The main topic of this course is forcing, forcing axioms such as $\mathbf{MA}$, Open Coloring Axiom, Axiom A of Baumgartner and the Proper Forcing Axiom of Shelah. Also, this course discussed the relation among themselves and basic independent statements like $\mathbf{CH}$. The main reference would be Kunen’s book and Jech’s book. If there is any mistakes or comments, please feel free to contact me.
《先天性》,节选自阿尔弗雷德·朱尔斯·艾耶尔《语言,真理和逻辑》
收录在《数学哲学》第三编:数学真理
我感觉这篇文章的主要思想还是和我很贴近的。主要在以下方面:
Content:
Finish the last theorem of the last lecture: Force by a stationary set preserving forcing:
$$(M;\in,I)\xrightarrow[\text{of length } \omega_1]{\text{generic iteration}}(H_{\omega_2}^V;\in,\mathbf{NS}_{\omega_1}^V),$$
where $M$ is a generically iterable countable transitive structure.
$\Bbb P_{\max}$ forcing and analysis of $L(\Bbb R)^{\Bbb P_{\max}}$;
$(\ast)$ and: $\mathbf{MM}^{++}\implies(\ast)$.
Content:
Content:
“理论要用来培养未来指挥官的智力,更准确地说,理论应当促使他们自修,而不是跟着他们一起上战场。这好比高明的老师要做的是启发和促进学生发展智力,而不是一辈子牵着他们走路一样。”
评论:这段话应用范围之广使得《战争论》一书的哲学性显露无疑。我现在怀疑这句话是否蕴含了某种认识论的哲学倾向,但还不好说。
我们常说,“理论指导实践”,指导到底指的是什么?那么在这里,理论就是指南针,但却不是藏宝图。理论和人的自身理性天赋必须得到良好结合,真正的思想火花才能迸发出来。理论给我们指明可能的方向,在一片原野上设立路标,但就其本身而言,并不指涉特定的进路。然而,个人精力的(可悲的)有限性往往使得我们一生只能追寻一条特定的进路,而这样的人就被尊称为某理论家。