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 条

[1] TRUE TASTE - UNIVERSAL HERITAGE
ROBSJOHNGIBBINGS, TH
ARCHITECTURAL DIGEST, 1977, 34 (01) : 18 - &
[2] Universal high performance arithmetic encoder
Yan, Yusong
Shi, Qingyun
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 1999, 36 (12): : 1477 - 1483
[3] Arithmetic inside the universal genetic code
shCherbak, VI
BIOSYSTEMS, 2003, 70 (03) : 187 - 209
[4] There Are No Universal Rules for Induction
Norton, John D.
PHILOSOPHY OF SCIENCE, 2010, 77 (05) : 765 - 777
[5] INDEX SETS UNIVERSAL FOR DIFFERENCES OF ARITHMETIC SETS
HAY, L
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (03): : 239 - 254
[6] Universal Number Posit Arithmetic Generator on FPGA
Jaiswal, Manish Kumar
So, Hayden K. -H
PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2018, : 1159 - 1162
[7] IMPLEMENTATION OF UNIVERSAL COMPUTER ARITHMETIC WITH OPTIMAL ACCURACY
GRUNER, K
COMPUTING, 1980, 24 (2-3) : 181 - 193
[8] THE ARITHMETIC OF ACHIEVING UNIVERSAL PRIMARY-EDUCATION
FREDRIKSEN, B
INTERNATIONAL REVIEW OF EDUCATION, 1983, 29 (02) : 141 - 153
[9] SEGAL'S GAMMA RINGS AND UNIVERSAL ARITHMETIC
Connes, Alain
Consani, Caterina
QUARTERLY JOURNAL OF MATHEMATICS, 2021, 72 (1-2): : 1 - 29
[10] A UNIVERSAL ARITHMETIC BUILDING ELEMENT (ABE) AND DESIGN METHODS FOR ARITHMETIC PROCESSORS
AVIZIENIS, A
TUNG, C
IEEE TRANSACTIONS ON COMPUTERS, 1970, C 19 (08) : 733 - +

← 1 2 3 4 5 →