プレプリント
J-GLOBAL ID：202202205663812373   整理番号：22P0119275

計量モデル理論における定義可能性の有効バージョン【JST・京大機械翻訳】

An effective version of definability in metric model theory
  • 出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
この文献はプレプリントです。プレプリントについてはこちらをご確認ください。
著者 (1件)：
Tavana Nazanin Roshandel

Tavana Nazanin Roshandel について


資料名：
arXiv

arXiv について


発行年： 2020年03月04日  プレプリントサーバーでの情報更新日： 2020年11月10日
JST資料番号： O7000B  資料種別： プレプリント
記事区分： プレプリント  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,計算可能な定義可能述語を定義し,特性化した。次に,効果的に提示された言語におけるあらゆる分離可能無限次元Hilbert構造が計算可能であることを証明した。さらに,これらの構造におけるすべての定義可能な述語は計算可能である。【JST・京大機械翻訳】
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
言語

言語 について

, 
可能性

可能性 について

, 
計算

計算 について

, 
キャラクタリゼーション

キャラクタリゼーション について

, 
*モデル理論

モデル理論 について


準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
述語

述語 について

, 
無限次元

無限次元 について

, 【Automatic Indexing@JST】
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

,  論理代数 
(JB03000H)

論理代数 について

タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
計量

計量 について

, 
モデル理論

モデル理論 について

, 
定義

定義 について

, 
可能性

可能性 について


前のページに戻る

TOP

BOTTOM