所以对于这样一个Lα0, 解读3相当于就退化为了解读1, 所以题目的要求在这里是成立的.满足解读3的模型被称作pointwise definable models of set theory. Hamkins等人写过一篇文章专门讨论这个问题, 很有意思:https://arxiv.org/abs/1105.4597 解读4采取的是对"可定义性"的弱化. 我们考虑一个比较典范的"可定义性...
theory ZFCsupercompact cardinalstrong limit cardinaltorsion-free Abelian groupalmost free Abelian groupWe prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext (G, ) is as large as possible for every prime p and...
A proof of cut-elimination theorem in simple type-theory Physicochemical changes in prawn muscle as related to freezing and thawing procedures were monitored during 6 months frozen (-29°C) storage. Lipid oxidati... MO Takahashi - 《Tokyo Sugaku Kaisya Zasshi》 被引量: 160发表: 1967年 Decom...
(G,Z) equals2µ= µ+for every p ∈Π0 and 0 otherwise, i.e. for p ∈Π1.1. IntroductionIn 1977 the first named author solved the well-known Whitehead problem by show-ing that it is undecidable in ordinary set-theory ZFC wether or not every abeliangroup G satisfying ExtZ(G,Z)...