CONSISTENCY OF CHURCH THESIS WITH EPISTEMIC ARITHMETIC

被引：0
|
作者：
FLAGG, R
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：679 / 680
页数：2
相关论文
共 50 条
  • [1] CONSTRUCTIVE SET-THEORY WITH TYPES, CONSISTENCY WITH THE CHURCH THESIS
    KASHAPOVA, FR
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1984, (04): : 72 - 75
  • [2] Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
    Hajime Ishihara
    Maria Emilia Maietti
    Samuele Maschio
    Thomas Streicher
    Archive for Mathematical Logic, 2018, 57 : 873 - 888
  • [3] Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice
    Ishihara, Hajime
    Maietti, Maria Emilia
    Maschio, Samuele
    Streicher, Thomas
    ARCHIVE FOR MATHEMATICAL LOGIC, 2018, 57 (7-8) : 873 - 888
  • [4] The epistemic sense of the pedigree thesis
    Himma, KE
    PACIFIC PHILOSOPHICAL QUARTERLY, 1999, 80 (01) : 46 - 63
  • [5] Reflecting in epistemic arithmetic
    Horsten, L
    JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (03) : 788 - 801
  • [6] In defense of Epistemic Arithmetic
    Horsten, L
    SYNTHESE, 1998, 116 (01) : 1 - 25
  • [7] In Defense of Epistemic Arithmetic
    Leon Horsten
    Synthese, 1998, 116 : 1 - 25
  • [8] The Consistency of Arithmetic
    Timothy Y. Chow
    The Mathematical Intelligencer, 2019, 41 : 22 - 30
  • [9] THE CONSISTENCY OF ARITHMETIC
    Meyer, Robert K.
    AUSTRALASIAN JOURNAL OF LOGIC, 2021, 18 (05) : 289 - 379
  • [10] The Consistency of Arithmetic
    Chow, Timothy Y.
    MATHEMATICAL INTELLIGENCER, 2019, 41 (01): : 22 - 30
12345