Compact covering and game determinacy

被引:17
作者
Debs, G [1 ]
Raymond, JS [1 ]
机构
[1] UNIV PARIS 06,EQUIPE ANAL,F-75252 PARIS 05,FRANCE
关键词
compact covering; inductively perfect; determinacy;
D O I
10.1016/0166-8641(95)00058-5
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
All spaces are separable and metrizable. Suppose that the continuous and onto mapping f:X --> Y is compact covering. Under the axiom of Sigma(1)(1)-determinacy, we prove that f is inductively perfect whenever X is Borel, and it follows then that Y is also Borel. Under the axiom N-1(L) = N-i We construct examples showing that the conclusion might fail if ''X is Borel'' is replaced by ''X is coanalytic''. If we suppose that both X and Y are Borel,then we prove (in ZFC) the weaker conclusion that f has a Borel (in fact a Baire-1) section g:Y --> X. We also prove (in ZFC) that if we suppose only X to be Borel but of some ''low'' class, then Y is also Borel of the same class, Other related problems are discussed.
引用
收藏
页码:153 / 185
页数:33
相关论文
共 50 条
[21]   DETERMINACY FROM STRONG REFLECTION [J].
Steel, John ;
Zoble, Stuart .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2014, 366 (08) :4443-4490
[22]   A metasemantic challenge for mathematical determinacy [J].
Jared Warren ;
Daniel Waxman .
Synthese, 2020, 197 :477-495
[23]   Determinacy in third order arithmetic [J].
Hachtman, Sherwood .
ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (11) :2008-2021
[24]   Quadratic concavity and determinacy of equilibrium [J].
Shannon, C ;
Zame, WR .
ECONOMETRICA, 2002, 70 (02) :631-662
[25]   Determinacy separations for class games [J].
Hachtman, Sherwood .
ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (5-6) :635-648
[26]   Internal Categoricity, Truth and Determinacy [J].
Martin Fischer ;
Matteo Zicchetti .
Journal of Philosophical Logic, 2023, 52 :1295-1325
[27]   Wealth in utility, the Taylor principle and determinacy [J].
Zhao, Junzhu .
JOURNAL OF MACROECONOMICS, 2023, 76
[28]   Default and determinacy under quantitative easing [J].
Romanidis, Nikolaos ;
Tsomocos, Dimitrios P. .
ECONOMIC THEORY, 2022, 74 (01) :95-111
[29]   Determinacy from strong compactness of ω1 [J].
Nam Trang ;
Wilson, Trevor M. .
ANNALS OF PURE AND APPLIED LOGIC, 2021, 172 (06)
[30]   Determinacy with nominal assets and outside money [J].
Pradeep Dubey ;
John Geanakoplos .
Economic Theory, 2006, 27 :79-106