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 条

[31] Periodic solutions for some nonautonomous second-order systems
Ma, J
Tang, CL
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2002, 275 (02) : 482 - 494
[32] STRONG REPRESENTABILITY OF PARTIAL FUNCTIONS IN ARITHMETIC THEORIES
RITCHIE, RW
YOUNG, PR
INFORMATION SCIENCES, 1969, 1 (02) : 189 - &
[33] Axiomatizations of arithmetic and the first-order/second-order divide
Novaes, Catarina Dutilh
SYNTHESE, 2019, 196 (07) : 2583 - 2597
[34] Axiomatizations of arithmetic and the first-order/second-order divide
Catarina Dutilh Novaes
Synthese, 2019, 196 : 2583 - 2597
[35] SECOND-ORDER ARITHMETIC AND FIRST-ORDER DEGREE THEORY
SIMPSON, SG
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A553 - A553
[36] The maximal linear extension theorem in second order arithmetic
Marcone, Alberto
Shore, Richard A.
ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (5-6) : 543 - 564
[37] Rich ω-words and monadic second-order arithmetic
Staiger, L
COMPUTER SCIENCE LOGIC, 1998, 1414 : 478 - 490
[38] Second order arithmetic as the model companion of set theory
Giorgio Venturi
Matteo Viale
Archive for Mathematical Logic, 2023, 62 : 29 - 53
[39] General combinatorial principles in second order bounded arithmetic
De Castro, R
MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 373 - 395
[40] Induction and inductive definitions in fragments of second order arithmetic
Aehlig, K
JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (04) : 1087 - 1107

← 1 2 3 4 5 →