ZF ̄*-拡張性は完全なZFを解釈する【JST・京大機械翻訳】

Al-Johar Zuhair

プレプリント

J-GLOBAL ID：202202202529234399 整理番号：22P0197133

ZF ̄*-拡張性は完全なZFを解釈する【JST・京大機械翻訳】

ZF*-Extensionality interprets full ZF

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2020年10月05日プレプリントサーバーでの情報更新日： 2020年10月05日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

Dana Scottは,カスタマリー方式で定式化されたZFセット理論からの拡張性の除去が,Zermelo集合理論にそれを弱めることを示した。次の証明は,ZFが置換の標準的な公理スキーマの代わりにそれで形式化されたとき,拡張性の除去に耐えることができる置換のバージョンを持つかどうかの疑問を解決するための個人の試みである。Dana Scottは,ここで証明の一般系統が彼と類似していることを調査した。しかし,ここで示唆した置換の形は異なっている。【JST・京大機械翻訳】

, ,

記憶装置 , その他の無機化合物のEPR , 結晶中の局在電子構造

前のページに戻る