共 50 条
- [1] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A336 - A336
- [2] First-Order and Second-Order Ambiguity Aversion [J]. MANAGEMENT SCIENCE, 2017, 63 (04) : 1254 - 1269
- [4] Solutions of Second-Order PDEs with First-Order Quotients [J]. Lobachevskii Journal of Mathematics, 2020, 41 : 2491 - 2509
- [5] Axiomatizations of arithmetic and the first-order/second-order divide [J]. SYNTHESE, 2019, 196 (07) : 2583 - 2597
- [7] Limited Second-Order Functionality in a First-Order Setting [J]. Journal of Automated Reasoning, 2020, 64 : 391 - 422
- [8] SECOND-ORDER ARITHMETIC AND FIRST-ORDER DEGREE THEORY [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A553 - A553