文献

J-GLOBAL ID：202202291284071539   整理番号：22A0494884

選択のないLowenheim-Skolem特性と地上の均一な定義可能性【JST・京大機械翻訳】

Choiceless Lowenheim-Skolem Property and Uniform Definability of Grounds

著者 (1件)： Usuba Toshimichi (Faculty of Fundamental Science and Engineering, Waseda University, Shinjyuku, Tokyo, Japan)
資料名： Springer Proceedings in Mathematics & Statistics  (Springer Proceedings in Mathematics & Statistics)
巻： 369  ページ： 161-179  発行年： 2022年 
JST資料番号： W5074A  ISSN： 2194-1009  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文において,選択の公理なしで,著者らは,ある下方のLowenheim-Skolem特性が,次に,すべての地盤が一様に定義できるかどうかを示した。また,もし宇宙が[数式:原文を参照]の幾つかの輸送モデルの小さい拡張であるならば,選択の公理が力えられることを証明した。Copyright Springer Nature Singapore Pte Ltd. 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *公理 ,  宇宙空間

著者キーワード (3件)： 選択の公理 ,  強制法 ,  集合論的地質学

分類 (2件)： システム・制御理論一般  (IA02010H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 地上 ,  定義 ,  可能性