一価基礎と等価原理【JST・京大機械翻訳】

Ahrens Benedikt; North Paige Randall

プレプリント

J-GLOBAL ID：202202217496909139 整理番号：22P0284504

一価基礎と等価原理【JST・京大機械翻訳】

Univalent foundations and the equivalence principle

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

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

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

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

本論文では,「等価原理」(EP):大まかに,数学的オブジェクトに関するステートメントは,考慮中のオブジェクトの種類に対する等価性の適切な概念の下で不変であるべきである。セット理論基礎において,EPは必ずしも保持されないかもしれない:例えば,ステートメント’1∈N’は集合の同形写像の下で不変でない。一方,一価基礎では,EPは多くの数学的構造で証明されている。最初に,EPを満たす基礎の設計における以前の試みの概要を示した。次に,単価基礎がEPをどのように検証するかを述べた。【JST・京大機械翻訳】

, , , ,

技術教育 , 計算機網

前のページに戻る