文献

J-GLOBAL ID：202002213826910291   整理番号：20A0807244

単純な理論の還元のフォークトポロジーについて【JST・京大機械翻訳】

On the forking topology of a reduct of a simple theory

著者 (1件)： Shami Ziv (Department of Mathematics, Ariel University, Samaria, Ariel, Israel)
資料名： Archive for Mathematical Logic  (Archive for Mathematical Logic)
巻： 59  号： 3-4  ページ： 313-324  発行年： 2020年 
JST資料番号： W4054A  ISSN： 0933-5846  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： Tを単純なL理論とし,[数式:原文を参照]をTのサブ言語[数式:原文を参照]への還元とする。変数xに対して,著者らは,すべての公式[数式:原文を参照]とあらゆるaに対して,[数式:原文を参照]における[数式:原文を参照]不変集合[数式:原文を参照]を呼ぶ。そして,著者らは,最大の普遍的変換器[数式:原文を参照](任意のxに対して)があり,それはタイプ定義可能であることを示した。特に,[数式:原文を参照]上のフォークトポロジーは,すべてのyに対して[数式:原文を参照]上のフォークトポロジーを精密化する。さらに,Stone空間上のあるトポロジーに関する普遍的変換器の集合を記述し,[数式:原文を参照]がパラメータにより[数式:原文を参照]型の定義可能なユニークな普遍的変換器であることを示した。[数式:原文を参照]がwnfcp(弱いnfcp)を持つ理論であり,Tがその対のモデルの理論であるならば,[数式:原文を参照]がnfcpを持つ特殊な場合に対して,[数式:原文を参照]が普遍的変換器のセットのより正確な記述を与えることを示した。Copyright Springer-Verlag GmbH Germany, part of Springer Nature 2019 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *位相幾何学 ,  変換器 ,  言語 ,  精密化
準シソーラス用語： 不変集合 , 【Automatic Indexing@JST】

著者キーワード (3件)： フォーキングトポロジー ,  ユニバーサル変換器 ,  REDUCT

分類 (3件)： システム・制御理論一般  (IA02010H) ,  電力変換器  (NB08030B) ,  電気式制御機器  (IC02020Y)

タイトルに関連する用語 (4件)： 理論 ,  還元 ,  フォーク ,  トポロジー