First-Order Frege Theory is Undecidable

被引：0
|
作者：
Warren Goldfarb
机构：
[1] Harvard University,Department of Philosophy
来源：
Journal of Philosophical Logic | 2001年 / 30卷
关键词：
decidability; Frege; extensions;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
引用
收藏
页码：613 / 616
页数：3
相关论文
共 50 条
  • [21] Knowledge and communication: A first-order theory
    Davis, E
    ARTIFICIAL INTELLIGENCE, 2005, 166 (1-2) : 81 - 139
  • [22] The first-order theory of subtyping constraints
    Su, ZD
    Aiken, A
    Niehren, J
    Priesnitz, T
    Treinen, R
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 203 - 216
  • [23] A finite first-order theory of classes
    Kirchner, Florent
    TYPES FOR PROOFS AND PROGRAMS, 2007, 4502 : 188 - 202
  • [24] A Mechanizable First-Order Theory of Ordinals
    Schmitt, Peter H.
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 331 - 346
  • [25] FIRST-ORDER THEORY OF PERMUTATION GROUPS
    SHELAH, S
    ISRAEL JOURNAL OF MATHEMATICS, 1973, 14 (02) : 149 - 162
  • [26] A Weak First-Order Theory of Sequences
    Kristiansen, Lars
    Murwanashyaka, Juvenal
    TWENTY YEARS OF THEORETICAL AND PRACTICAL SYNERGIES, CIE 2024, 2024, 14773 : 390 - 404
  • [27] ON THEORY OF MAGNETIC FIRST-ORDER TRANSITIONS
    PAL, L
    ACTA CRYSTALLOGRAPHICA SECTION A-CRYSTAL PHYSICS DIFFRACTION THEORETICAL AND GENERAL CRYSTALLOGRAPHY, 1969, A 25 : S223 - &
  • [28] Phenomenological Theory of First-Order Prefreezing
    Dolynchuk, Oleksandr
    Tariq, Muhammad
    Thurn-Albrecht, Thomas
    JOURNAL OF PHYSICAL CHEMISTRY LETTERS, 2019, 10 (08): : 1942 - +
  • [29] On first-order formalism in string theory
    Losev, AS
    Marshakov, A
    Zeitlin, AM
    PHYSICS LETTERS B, 2006, 633 (2-3) : 375 - 381
  • [30] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
12345