文献

J-GLOBAL ID：202102216550600634   整理番号：21A0224177

定常論理のための強下向きLowenheim-Skolem定理,I【JST・京大機械翻訳】

Strong downward Lowenheim-Skolem theorems for stationary logics, I

著者 (3件)： Fuchino Sakae (Graduate School of System Informatics, Kobe University, Kobe, Japan) ,  Rodrigues Andre Ottenbreit Maschio (Graduate School of System Informatics, Kobe University, Kobe, Japan) ,  Sakai Hiroshi (Graduate School of System Informatics, Kobe University, Kobe, Japan)
資料名： Archive for Mathematical Logic  (Archive for Mathematical Logic)
巻： 60  号： 1-2  ページ： 17-47  発行年： 2021年 
JST資料番号： W4054A  ISSN： 0933-5846  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： このノートは,定常性量子化器を備えたモナディック(弱)二次変数を持つ一次論理を拡張する論理のモデル理論特性に関係する。構造の計数可能なサブセットとしての二次変数の解釈によって,この論理のための[数式:原文を参照]への強い下方のLowenheim-Skolem(SDLS)の8つの変動を,4つの原理に分類した。これらの4つの最強は,S.Coxの内部クラブネスに対するCHとDiagonal反射原理の連結と等価であることを示した。このSDLSのさらなる強化と,その変動が,Bのゲーム反射原理に従うことを示した。Konigとその一般化。Copyright Springer-Verlag GmbH Germany, part of Springer Nature 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *ゲーム ,  量子化器 ,  モデル理論
準シソーラス用語： 定常性 , 【Automatic Indexing@JST】

著者キーワード (4件)： 強い下向きLowenheim Skolem定理 ,  定常論理 ,  反射原理 ,  超コンパクト基数

分類 (4件)： 論理代数  (JB03000H) ,  数理言語学  (JB05000V) ,  信号理論  (ND02020G) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： 論理 ,  定理