文献

J-GLOBAL ID：201802231982975411   整理番号：18A2104291

退化を伴う有限次元部分空間格子における定義可能な関係【JST・京大機械翻訳】

Definable relations in finite-dimensional subspace lattices with involution

著者 (2件)： Herrmann Christian (Technische Universitaet Darmstadt, Darmstadt, Germany) ,  Ziegler Martin (KAIST, School of Computing, Daejeon, South Korea)
資料名： Algebra Universalis  (Algebra Universalis)
巻： 79  号： 3  ページ： 1-26  発行年： 2018年 
JST資料番号： W4017A  ISSN： 0002-5240  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 大きいクラスの有限次元内積空間Vに対して,分割*環F上で,Vの部分空間格子L(V)に関する定義可能な関係を考察し,直交を取る操作を与えた。特に,関連する一次言語間の変換を確立し,これらの関係を定義式の定量化型に関するF焦点に関する定義可能で不変な関係と関連付けた。中間構造として,著者らは,Vのエンドモルフィズムの*環R(V)を考察し,それにより,誘導された退縮により,R(V)の右イデアルの格子を持つL(V)を同定した。応用として,Fのモデル完全性はR(V)とL(V)のそれを意味することを示した。Copyright 2018 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *退化 ,  モデル ,  不変性 ,  内積 ,  言語 ,  完全性 ,  直交性 ,  *結晶格子 ,  イデアル

著者キーワード (2件)： 記述複雑性の低減 ,  量子論理におけるモデル完全性

分類 (1件)： システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (4件)： 退化 ,  次元 ,  空間格子 ,  定義