PARTIALLY CONSERVATIVE EXTENSIONS OF ARITHMETIC

被引：33

作者：

GUASPARI, D ^{[1
]}

机构：

[1] TEXAS TECH UNIV,DEPT MATH,LUBBOCK,TX 79409

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1979年 / 254卷 / OCT期

关键词：

D O I：

10.2307/1998258

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：47 / 68

页数：22

共 50 条

[21] Generalized Realizability for Extensions of the Language of Arithmetic
Konovalov, A. Yu
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2019, 74 (04) : 167 - 170
[22] ON EXTENSIONS OF MODELS OF STRONG FRAGMENTS OF ARITHMETIC
KOSSAK, R
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1990, 108 (01) : 223 - 232
[23] Generalized Realizability for Extensions of the Language of Arithmetic
A. Yu. Konovalov
Moscow University Mathematics Bulletin, 2019, 74 : 167 - 170
[24] Algorithms for compositions of arithmetic transforms and their extensions
Pang, Yu
Radecka, Katarzyna
Zilic, Zeljko
2006 13TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-3, 2006, : 379 - +
[25] A FORMAL SYSTEM OF NEGATIONLESS ARITHMETIC THAT IS CONSERVATIVE WITH RESPECT TO HEYTING ARITHMETIC
KRIVTSOV, VN
MATHEMATICAL NOTES, 1984, 36 (3-4) : 788 - 794
[26] Epimorphic extensions and Prufer extensions of partially ordered rings
Schwartz, N
MANUSCRIPTA MATHEMATICA, 2000, 102 (03) : 347 - 381
[27] END EXTENSIONS, CONSERVATIVE EXTENSIONS, AND RUDIN-FROLIK ORDERING
BLASS, A
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 225 (JAN) : 325 - 340
[28] Extensions of partially ordered sets
MacNeille, HM
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1936, 22 : 45 - 50
[29] Conservative Extensions in Expressive Description Logics
Lutz, Carsten
Walther, Dirk
Wolter, Frank
20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 453 - 458
[30] On conservative extensions in logics with infinitary predicates
Ferenczi M.
Studia Logica, 2009, 92 (1) : 121 - 135

← 1 2 3 4 5 →