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 条

[21] The limits of determinacy in second-order arithmetic
Montalban, Antonio
Shore, Richard A.
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2012, 104 : 223 - 252
[22] The Mean Value Theorem in second order arithmetic
Hardin, CS
Velleman, DJ
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 1353 - 1358
[23] Admissible extensions of subtheories of second order arithmetic
Jager, Gerhard
Rathjen, Michael
ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (07)
[24] Complete determinacy and subsystems of second order arithmetic
Nemoto, Takako
LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 457 - 466
[25] Syntactical truth predicates for second order arithmetic
Colson, L
Grigorieff, S
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (01) : 225 - 256
[26] On powers of Plucker coordinates and representability of arithmetic matroids
Lenz, Matthias
ADVANCES IN APPLIED MATHEMATICS, 2020, 112
[27] Periodic solutions for some nonautonomous second order Hamiltonian systems
Ye, Yi-Wei
Tang, Chun-Lei
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2008, 344 (01) : 462 - 471
[28] Exponential energy decay of some coupled second order systems
E. M. Ait Benhassi
K. Ammari
S. Boulite
L. Maniar
Semigroup Forum, 2013, 86 : 362 - 382
[29] Exponential energy decay of some coupled second order systems
Benhassi, E. M. Ait
Ammari, K.
Boulite, S.
Maniar, L.
SEMIGROUP FORUM, 2013, 86 (02) : 362 - 382
[30] Periodic solutions of some autonomous second order Hamiltonian systems
Yang R.
Journal of Applied Mathematics and Computing, 2008, 28 (1-2) : 51 - 58

← 1 2 3 4 5 →