On elimination of quantifiers in some non-classical mathematical theories

被引：0
|
作者：
Badia, Guillermo [1 ]
Tedder, Andrew [2 ]
机构：
[1] Johannes Kepler Univ Linz, Dept Knowledge Based Math Syst, Altenbergerstr 69, A-4040 Linz, Austria
[2] Univ Connecticut, Dept Philosophy, 344 Mansfield Rd, Storrs, CT 06269 USA
来源：
MATHEMATICAL LOGIC QUARTERLY | 2018年 / 64卷 / 03期
基金：
奥地利科学基金会;
关键词：
INCONSISTENT MODELS; ARITHMETICS; LOGIC;
D O I：
10.1002/malq.201600078
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.
引用
收藏
页码：140 / 154
页数：15
相关论文
共 50 条
  • [41] Non-classical light
    Klyshko, DN
    USPEKHI FIZICHESKIKH NAUK, 1996, 166 (06): : 613 - 638
  • [42] Non-classical philology
    Milchina, Vera
    NOVOE LITERATURNOE OBOZRENIE, 2021, (167): : 418 - 424
  • [43] Non-Classical Knowledge
    Jerzak, Ethan
    PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 2019, 98 (01) : 190 - 220
  • [44] Non-classical crystals
    Stephen Davey
    Nature Chemistry, 2013, 5 (9) : 728 - 729
  • [45] A NON-CLASSICAL CARBANION
    BROWN, JM
    OCCOLOWI.JL
    CHEMICAL COMMUNICATIONS, 1965, (16) : 376 - &
  • [46] Classical and non-classical models of the cochlea
    deBoer, E
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1997, 101 (04): : 2148 - 2150
  • [47] ON CLASSICAL AND NON-CLASSICAL VIEWS ON NUCLEATION
    Gebauer, Denis
    Raiteri, Paolo
    Gale, Julian D.
    Coelfen, Helmut
    AMERICAN JOURNAL OF SCIENCE, 2018, 318 (09) : 969 - 988
  • [48] What is Classical and Non-Classical Knowledge?
    Slobodanka Vladiv-Glover
    Studies in East European Thought, 2006, 58 : 205 - 238
  • [49] CLASSICAL AND NON-CLASSICAL DYNAMICS WITH CONSTRAINTS
    VERSHIK, AM
    LECTURE NOTES IN MATHEMATICS, 1984, 1108 : 278 - 301
  • [50] CLASSICAL AND NON-CLASSICAL SCHOTTKY GROUPS
    ZARROW, R
    DUKE MATHEMATICAL JOURNAL, 1975, 42 (04) : 717 - 724
12345