Bootstrapping, part I

被引：4
|
作者：
Boughattas, S. [1 ]
Ressayre, J. -P.
机构：
[1] CNRS, F-75700 Paris, France
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2010年 / 161卷 / 04期
关键词：
Counterfeiting integers; Nonstandard models; Complexity classes; Weak arithmetics; INDUCTION; MODEL;
D O I：
10.1016/j.apal.2009.03.004
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码：511 / 533
页数：23
相关论文
共 50 条
  • [31] Twist (Part I)
    Binswanger, Ludwig
    MONATSSCHRIFT FUR PSYCHIATRIE UND NEUROLOGIE, 1952, 124 (4-6): : 195 - 210
  • [32] Indican Part I
    Perkin, AG
    Bloxam, WP
    JOURNAL OF THE CHEMICAL SOCIETY, 1907, 91 : 1715 - 1728
  • [33] Phthalazines Part I
    Aggarwal, JS
    Darbari, NL
    Ray, JN
    JOURNAL OF THE CHEMICAL SOCIETY, 1929, : 1941 - 1945
  • [34] The caryophyllenes Part I
    Evans, WC
    Ramage, GR
    Simonsen, JL
    JOURNAL OF THE CHEMICAL SOCIETY, 1934, : 1806 - 1810
  • [35] Gospels, Part I
    Andarde, Antonio
    AGORA-ESTUDOS CLASSICOS EM DEBATE, 2010, 12 : 142 - 144
  • [36] The part that I lost
    Yurkievich, Saul
    HISPAMERICA-REVISTA DE LITERATURA, 2014, 43 (128): : 73 - 76
  • [37] 'Veritas (part I)'
    Mehta, Ved
    RARITAN-A QUARTERLY REVIEW, 2007, 27 (01): : 118 - 156
  • [38] Rottlerin Part I
    Narang, KS
    Ray, JN
    Roy, BS
    JOURNAL OF THE CHEMICAL SOCIETY, 1937, : 1862 - 1865
  • [39] Indirubin Part I
    Bloxam, WP
    Perkin, AG
    JOURNAL OF THE CHEMICAL SOCIETY, 1910, 97 : 1460 - 1475
  • [40] Part I: Overview
    Wedel J.R.
    Trends in Organized Crime, 2001, 7 (1) : 3 - 5
12345