Transfinite dependent choice and w-model reflection

被引：1
|
作者：
Rüede, C
机构：
[1] Zürich, 8048
来源：
JOURNAL OF SYMBOLIC LOGIC | 2002年 / 67卷 / 03期
关键词：
D O I：
10.2178/jsl/1190150155
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, omega-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies, We show several equivalences among the introduced subsystems. In particular we prove the equivalence of Sigma\ transfinite dependent choice and Pi(2)(1) reflection on omega-models of Sigma\-DC.
引用
收藏
页码：1153 / 1168
页数：16
相关论文
共 50 条
  • [1] The W-Model - Using Systems Engineering for Adaptronics
    Nattermann, Roland
    Anderl, Reiner
    [J]. 2013 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2013, 16 : 937 - 946
  • [2] The W-Model for Testing Software Product Lines
    Li Jin-hua
    Li Qiong
    Li Jing
    [J]. ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 1, PROCEEDINGS, 2008, : 690 - 693
  • [3] The proof-theoretic analysis of Σ11 transfinite dependent choice
    Rüede, C
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2003, 122 (1-3) : 195 - 234
  • [4] Simulation data management approach for developing Adaptronic Systems - The W-model methodology
    Nattermann, Roland S.
    Anderl, Reiner
    [J]. World Academy of Science, Engineering and Technology, 2011, 75 : 429 - 435
  • [5] PREDICATIVITY THROUGH TRANSFINITE REFLECTION
    Cordon-Franco, Andres
    Fernandez-Duque, David
    Joosten, Joost J.
    Felix Lara-Martin, Francisco
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2017, 82 (03) : 787 - 808
  • [6] The W-model: a pre-college design pedagogy for solving wicked problems
    Christopher Moraes
    Stefanie Blain-Moraes
    Sierra Morell-Tomassoni
    Robert B. Gorbet
    [J]. International Journal of Technology and Design Education, 2021, 31 : 139 - 164
  • [7] The W-model: a pre-college design pedagogy for solving wicked problems
    Moraes, Christopher
    Blain-Moraes, Stefanie
    Morell-Tomassoni, Sierra
    Gorbet, Robert B.
    [J]. INTERNATIONAL JOURNAL OF TECHNOLOGY AND DESIGN EDUCATION, 2021, 31 (01) : 139 - 164
  • [8] Percutaneous aortic valve replacement using a W-model valved stent: a preliminary feasibility study in sheep
    Bai Yuan
    Zong Gang-jun
    Wang Yan-yan
    Jiang Hai-bin
    Li Wei-ping
    Wu Hong
    Zhao Xian-xian
    Qin Yong-wen
    [J]. CHINESE MEDICAL JOURNAL, 2009, 122 (06) : 655 - 658
  • [9] Spin-dependent electron reflection at W(110)
    Angrick, C.
    Braun, J.
    Ebert, H.
    Donath, M.
    [J]. JOURNAL OF PHYSICS-CONDENSED MATTER, 2020, 33 (11)
  • [10] Rule abstraction, model-based choice, and cognitive reflection
    Hilary J. Don
    Micah B. Goldwater
    A. Ross Otto
    Evan J. Livesey
    [J]. Psychonomic Bulletin & Review, 2016, 23 : 1615 - 1623
12345