ترجمه فارسی مقاله روابط بین اصول انتخاب در ساختارهای Henkin مرتبه دوم

چکیده

We deal with the strength of classical second-order versions of the Axiom of Choice (AC) in second-order predicate logic (PLII) with Henkin interpretation (HPL). We use the known relationships between the so-called Zermelo-Asser axioms and the so-called Russell-Asser axioms and prove relationships between the so-called Ackermann axioms and the Zermelo-Asser axioms and between the so-called Asser axioms and the Zermelo-Asser axioms. In particular, we give the technical details of the proofs of our results presented at the DMV Annual Meeting 2022.

چکیده به فارسی (ترجمه ماشینی)

ما با قدرت نسخه های درجه یک کلاسیک از بدیهی انتخاب (AC) در منطق محمول مرتبه دوم (PLII) با تفسیر Henkin (HPL) سر و کار داریم.ما از روابط شناخته شده بین به اصطلاح بدیهیات زرملو و به اصطلاح بدیهیات راسل-الاغ استفاده می کنیم و روابط بین بدیهیات آکرمن و بدیهیات Zermelo Asser و بین به اصطلاح Asser Axioms و Zermelo را اثبات می کنیم.-ASSER بدیهی.به طور خاص ، ما جزئیات فنی اثبات نتایج ارائه شده در جلسه سالانه DMV 2022 را ارائه می دهیم.