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 条
  • [1] Bootstrapping boundary QED. Part I
    Bartlett-Tisdall, Samuel
    Herzog, Christopher P.
    Schaub, Vladimir
    JOURNAL OF HIGH ENERGY PHYSICS, 2024, (05):
  • [2] Cross validation and bootstrapping: Part I (lecture).
    Appuhamy, J. A. D. R. N.
    Moraes, L. E.
    JOURNAL OF DAIRY SCIENCE, 2019, 102 : 1 - 2
  • [3] Bootstrapping ground state correlators in matrix theory. Part I
    Henry W. Lin
    Zechuan Zheng
    Journal of High Energy Physics, 2025 (1)
  • [4] Bootstrapping quantum extremal surfaces. Part I. The area operator
    Belin, Alexandre
    Colin-Ellerin, Sean
    JOURNAL OF HIGH ENERGY PHYSICS, 2021, 2021 (11)
  • [5] Bootstrapping quantum extremal surfaces. Part I. The area operator
    Alexandre Belin
    Sean Colin-Ellerin
    Journal of High Energy Physics, 2021
  • [6] Bootstrapping bulk locality. Part I: Sum rules for AdS form factors
    Nat Levine
    Miguel F. Paulos
    Journal of High Energy Physics, 2024
  • [7] Bootstrapping bulk locality. Part I: Sum rules for AdS form factors
    Levine, Nat
    Paulos, Miguel F.
    JOURNAL OF HIGH ENERGY PHYSICS, 2024, 2024 (01)
  • [8] Bootstrapping I(1) data
    Phillips, Peter C. B.
    JOURNAL OF ECONOMETRICS, 2010, 158 (02) : 280 - 284
  • [9] Batch Bootstrapping I: A New Framework for SIMD Bootstrapping in Polynomial Modulus
    Liu, Feng-Hao
    Wang, Han
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2023, PT III, 2023, 14006 : 321 - 352
  • [10] Cross validation and bootstrapping: Part II (exercises).
    Appuhamy, J. A. D. R. N.
    Moraes, L. E.
    JOURNAL OF DAIRY SCIENCE, 2019, 102 : 2 - 2
12345