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 条

[41] UNIVERSAL SOLVENT OR UNIVERSAL PROBLEM
CHRISTIANSEN, D
IEEE SPECTRUM, 1977, 14 (06) : 27 - 27
[42] UNIVERSAL AND POINT UNIVERSAL TERMS
EHRENFEUCHT, A
SILBERGER, DM
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1976, 24 (06): : 399 - 402
[43] Universal healthcare but not universal access?
Tromp, Jasper
Collins, Sean
EUROPEAN JOURNAL OF PREVENTIVE CARDIOLOGY, 2020, 27 (01) : 75 - 78
[44] Universal prediction and universal coding
Suzuki, Joe
Systems and Computers in Japan, 2003, 34 (06) : 1 - 11
[45] Universal images of universal elements
Bernal-González, L
STUDIA MATHEMATICA, 2000, 138 (03) : 241 - 250
[46] POSSIBILITIES OF USING UNIVERSAL INDUCTION HARDENING INSTALLATIONS.
Anon
ACEC revue, 1984, (01): : 22 - 24
[47] UNIVERSAL AUTOMATIC INDUCTION HEATING UNIT FOR FORGING BLANKS
PORVATOV, NA
RUSSIAN ENGINEERING JOURNAL-USSR, 1966, 46 (10): : 55 - &
[48] Is universal service a universal right? - A Rawlsian approach to universal service
Raber, D
INFORMATION ETHICS IN THE ELECTRONIC AGE: CURRENT ISSUES IN AFRICA AND THE WORLD, 2004, : 114 - 122
[49] Recovering true selves in the electro-spiritual field of universal love
Pazderic, N
CULTURAL ANTHROPOLOGY, 2004, 19 (02) : 196 - 225
[50] The Universal Postal Service after the Lisbon Treaty: a True Step Forward?
Fratini, Alessandra
REVIEW OF NETWORK ECONOMICS, 2011, 10 (03):

← 1 2 3 4 5 →