OPTIMAL PROOFS OF DETERMINACY

被引：23
|
作者：
Neeman, Itay [1 ]
机构：
[1] Univ Calif Los Angeles, Dept Math, Los Angeles, CA 90024 USA
来源：
BULLETIN OF SYMBOLIC LOGIC | 1995年 / 1卷 / 03期
关键词：
D O I：
10.2307/421159
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：327 / 339
页数：13
相关论文
共 50 条
  • [1] An introduction to proofs of determinacy of long games
    Neeman, I
    Logic Colloquim 01, Proceedings, 2005, 20 : 43 - 86
  • [2] Optimal Proximity Proofs
    Boureanu, Ioana
    Vaudenay, Serge
    INFORMATION SECURITY AND CRYPTOLOGY (INSCRYPT 2014), 2015, 8957 : 170 - 190
  • [3] The Taylor Rule in Egypt: Is it Optimal? Is there Equilibrium Determinacy?
    Maher, Mohamed
    Zhao, Yanzhi
    Tang, Chuanzhong
    JOURNAL OF ECONOMIC INTEGRATION, 2022, 37 (03) : 484 - 522
  • [4] Determinacy and determinacy analysis
    Hill, PM
    King, AM
    JOURNAL OF PROGRAMMING LANGUAGES, 1997, 5 (01): : 135 - 171
  • [5] Optimal monetary policy and determinacy under active/passive regimes
    Roulleau-Pasdeloup, Jordan
    EUROPEAN ECONOMIC REVIEW, 2020, 130
  • [6] Optimal CHC Solving via Termination Proofs
    Gu, Yu
    Tsukada, Takeshi
    Unno, Hiroshi
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 604 - 631
  • [7] Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
    Mueller, Sandra
    Schindler, Ralf
    Woodin, W. Hugh
    JOURNAL OF MATHEMATICAL LOGIC, 2020, 20
  • [8] Determinacy and optimal strategies in infinite-state stochastic reachability games
    Brozek, Vaclav
    THEORETICAL COMPUTER SCIENCE, 2013, 493 : 80 - 97
  • [9] Optimal Longitudinal Control for Vehicular Platoon Systems: Adaptiveness, Determinacy, and Fuzzy
    Dong, Fangfang
    Zhao, Xiaomin
    Chen, Ye-Hwa
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2021, 29 (04) : 889 - 903
  • [10] Proofs, Proofs, Proofs, and Proofs
    Kerber, Manfred
    INTELLIGENT COMPUTER MATHEMATICS, 2010, 6167 : 345 - 354
12345