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 条
  • [31] UNIVERSAL WORD INDUCTION VS MOVE-A
    BRAME, M
    LINGUISTIC ANALYSIS, 1984, 14 (04): : 313 - 352
  • [32] Determination of Parameters in the Universal Induction Motor Model
    Mirafzal, Behrooz
    Skibinski, Gary L.
    Tallam, Rangarajan M.
    CONFERENCE RECORD OF THE 2007 IEEE INDUSTRY APPLICATIONS CONFERENCE FORTY-SECOND IAS ANNUAL MEETING, VOLS. 1-5, 2007, : 1207 - 1216
  • [33] True universal art: The Florentine answer to the Roman Raphaelesque mode
    van Veen, Henk Th.
    TRANSLATION OF RAPHAEL'S ROMAN STYLE, 2007, 22 : 105 - U91
  • [34] Design verification by test vectors and arithmetic transform universal test set
    Radecka, K
    Zilic, Z
    IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (05) : 628 - 640
  • [35] ARITHMETIC OF FORMAL GROUPS AND APPLICATIONS .1. UNIVERSAL NORM SUBGROUPS
    SCHNEIDER, P
    INVENTIONES MATHEMATICAE, 1987, 87 (03) : 587 - 602
  • [36] Universal and proximately universal limits
    Cerin, Z
    Sanjurjo, JMR
    JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1996, 61 : 96 - 105
  • [37] UNIVERSAL GRAPHS AND UNIVERSAL PERMUTATIONS
    Atminas, Aistis
    Lozin, Vadim V.
    Kitaev, Sergey
    Valyuzhenich, Alexandr
    DISCRETE MATHEMATICS ALGORITHMS AND APPLICATIONS, 2013, 5 (04)
  • [38] ABSOLUTE UNIVERSAL INSTABILITY IS NOT UNIVERSAL
    TSANG, KT
    CATTO, PJ
    WHITSON, JC
    SMITH, J
    PHYSICAL REVIEW LETTERS, 1978, 40 (05) : 327 - 331
  • [39] ON UNIVERSAL OPERATORS AND UNIVERSAL PAIRS
    Schroderus, Riikka
    Tylli, Hans-Olav
    PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 2018, 61 (03) : 891 - 908
  • [40] ON THE UNIVERSAL CONSTANTS AND A UNIVERSAL PRINCIPLE
    Lieber, Michael M.
    COSMOS AND HISTORY-THE JOURNAL OF NATURAL AND SOCIAL PHILOSOPHY, 2023, 19 (01): : 25 - 62
12345