UNIVERSAL INDUCTION AND TRUE UNIVERSAL ARITHMETIC

被引：0
|
作者：
BIGORAJSKA, T [1 ]
机构：
[1] WSRP SIEDLCACH,KATEDRA MATEMAT & FIZ,PL-08110 SIEDLCE,POLAND
来源：
MATHEMATICAL LOGIC QUARTERLY | 1994年 / 40卷 / 01期
关键词：
UNIVERSAL INDUCTION; TRUE UNIVERSAL ARITHMETIC;
D O I：
10.1002/malq.19940400114
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We prove that every finitely generated (as a ring) model for induction for universal formulas without parameters satisfies also all true universal sentences.
引用
收藏
页码：103 / 105
页数：3
相关论文
共 50 条
  • [21] A Universal Macro Block Mapping Scheme for Arithmetic Circuits
    Wei, Xing
    Diao, Yi
    Lam, Tak-Kei
    Wu, Yu-Liang
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1629 - 1634
  • [22] PARAMETER-FREE UNIVERSAL INDUCTION
    KAYE, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 443 - 456
  • [23] A Universal Restart Strategy for Induction Machines
    Lee, Kibok
    Lukic, Srdjan
    Ahmed, Sara
    2016 IEEE ENERGY CONVERSION CONGRESS AND EXPOSITION (ECCE), 2016,
  • [24] Open Problems in Universal Induction & Intelligence
    Hutter, Marcus
    ALGORITHMS, 2009, 2 (03) : 879 - 906
  • [25] Universal Background Subtraction Based on Arithmetic Distribution Neural Network
    Zhao, Chenqiu
    Hu, Kangkang
    Basu, Anup
    IEEE TRANSACTIONS ON IMAGE PROCESSING, 2022, 31 : 2934 - 2949
  • [26] Implementation of Arithmetic Functions on a Simple and Universal Molecular Beacon Platform
    Li, Hailong
    Guo, Shaojun
    Liu, Qinghui
    Qin, Lidong
    Dong, Shaojun
    Liu, Yaqing
    Wang, Erkang
    ADVANCED SCIENCE, 2015, 2 (05):
  • [27] EMBEDDING UNIVERSAL COMPUTER ARITHMETIC IN HIGHER PROGRAMMING-LANGUAGES
    BOHLENDER, G
    COMPUTING, 1980, 24 (2-3) : 149 - 160
  • [28] On arithmetic properties of the solutions of a universal differential equation at algebraic points
    Elsner, C
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2001, 256 (01) : 324 - 338
  • [29] Determination of Parameters in the Universal Induction Motor Model
    Mirafzal, Behrooz
    Skibinski, Gary L.
    Tallam, Rangarajan M.
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2009, 45 (01) : 142 - 151
  • [30] Universal High Speed Induction Motor Driver
    Binkowski, Tomasz
    ANALYSIS AND SIMULATION OF ELECTRICAL AND COMPUTER SYSTEMS, 2015, 324 : 149 - 162
12345