REPRESENTABILITY IN SOME SYSTEMS OF SECOND ORDER ARITHMETIC

被引：11

|

作者：

ACZEL, P

机构：

来源：

ISRAEL JOURNAL OF MATHEMATICS | 1970年 / 8卷 / 04期

关键词：

D O I：

10.1007/BF02798678

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：309 / &

相关论文

共 50 条

[1] Uniform versions of some axioms of second order arithmetic
Sakamoto, N
Yamazaki, T
MATHEMATICAL LOGIC QUARTERLY, 2004, 50 (06) : 587 - 593
[2] Some new results in monadic second-order arithmetic
Speranski, Stanislav O.
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2015, 4 (02): : 159 - 174
[3] CZF and Second Order Arithmetic
Lubarsky, Robert S.
ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) : 29 - 34
[4] Decay for some second order nonlinear systems
Vitillaro, E
SEVENTH INTERNATIONAL COLLOQUIUM ON DIFFERENTIAL EQUATIONS, PROCEEDINGS, 1997, : 441 - 448
[5] On some nonlinear second order control systems
Bors, Dorota
Walczak, Stanislaw
NDS: 2009 INTERNATIONAL WORKSHOP ON MULTIDIMENSIONAL (ND) SYSTEMS, 2009, : 19 - 22
[6] Periodic solutions for some second order systems
Meng, Fengjuan
Zhang, Fubao
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2008, 68 (11) : 3388 - 3396
[7] Second order arithmetic and autonomous computability
Gailit, EV
SIBERIAN MATHEMATICAL JOURNAL, 2003, 44 (02) : 244 - 249
[8] Second Order Arithmetic and Autonomous Computability
E. V. Gailit
Siberian Mathematical Journal, 2003, 44 : 244 - 249
[9] Second Order Arithmetic and Pulsating Hierarchies
E. V. Gailit
Siberian Mathematical Journal, 2001, 43 : 22 - 27
[10] Second order arithmetic and pulsating hierarchies
Gailit, EV
SIBERIAN MATHEMATICAL JOURNAL, 2002, 43 (01) : 22 - 27

← 1 2 3 4 5 →