原子による集合を超えて:一次論理における定義可能性【JST・京大機械翻訳】

Przybylek Michal R.

プレプリント

J-GLOBAL ID：202202220710711474 整理番号：21P0026386

原子による集合を超えて:一次論理における定義可能性【JST・京大機械翻訳】

Beyond sets with atoms: definability in first order logic

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

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

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

原子を有するセットは数学のためのZFC基礎の代替法として役立ち,いくつかの無限は,高度に対称な集合であるが,フィンガチックな方法で挙動する。したがって,1つは有限構造からいくつかの無限構造までの古典的アルゴリズムの解析を行うことができる。最近の結果は,これが実際に可能であり,多くの実際的応用につながることを示した。本論文では,無限集合の有限解析に別の経路を取り上げ,原子を持つ集合に光を広げ,明らかにした。この理論の応用として,著者らは,一次論理の断片において定義可能なオートマトンによって認識された言語の特性評価を与えた。【JST・京大機械翻訳】

, , ,
, 【Automatic Indexing@JST】

計算理論 , オートマトン理論

, , , ,

前のページに戻る