共 50 条
GENERICITY AND ARBITRARINESS
被引:3
|作者:
Venturi, Giorgio
[1
]
机构:
[1] Univ Est Campinas, Rua Cora Coralina 100, Barao Geraldo, SP, Brazil
基金:
巴西圣保罗研究基金会;
关键词:
Set theory;
arbitrary sets;
genericity;
forcing;
Skolem Paradox;
Cantor's Theorem;
Cohen's Theorem;
Axiom of Choice;
Forcing Axioms;
FOUNDATIONS;
PROOF;
D O I:
10.2143/LEA.248.0.3287324
中图分类号:
B81 [逻辑学(论理学)];
学科分类号:
010104 ;
010105 ;
摘要:
We compare the notions of genericity and arbitrariness on the basis of the realist import of the method of forcing. We argue that Cohen's Theorem, similarly to Cantor's Theorem, can be considered a meta-theoretical argument in favor of the existence of uncountable collections. Then we discuss the effects of this metatheoretical perspective on Skolem's Paradox. We conclude discussing how the connection between arbitrariness and genericity can offer arguments in favor of Forcing Axioms.
引用
收藏
页码:435 / 452
页数:18
相关论文