Art

J-GLOBAL ID：202102216550600634   Reference number：21A0224177

Strong downward Lowenheim-Skolem theorems for stationary logics, I

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

Author (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)
Material： Archive for Mathematical Logic
Volume： 60  Issue： 1-2  Page： 17-47  Publication year： 2021 
JST Material Number： W4054A  ISSN： 0933-5846  Document type： Article
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： Abstract: This note concerns t...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=21A0224177&from=J-GLOBAL&jstjournalNo=W4054A") }}

Thesaurus term： *game ,  quantizer ,  model theory
Semi thesaurus term： 定常性 , 【Automatic Indexing@JST】

Author keywords (4)： Strong downward Lowenheim Skolem theorem ,  Stationary logic ,  Reflection principles ,  Supercompact cardinals

JST classification (4)： Logic algebra  (JB03000H) ,  Mathematical linguistics  (JB05000V) ,  Signal theory  (ND02020G) ,  Artificial intelligence  (JE08000Z)

Terms in the title (2)： 論理 ,  定理