Zobrazeno 1 - 10
of 13 088
pro vyhledávání: '"A, Kogure"'
Autor:
Kogure, Haruka, Kurahashi, Taishi
We study the existence of a $\Theta$ sentence which is simultaneously $\Gamma$-conservative over consistent RE extensions $T$ and $U$ of Peano Arithmetic for various reasonable pairs $(\Gamma, \Theta)$. As a result of this study, we prove the existen
Externí odkaz:
http://arxiv.org/abs/2412.08208
Autor:
Kogure, Haruka
We investigate the arithmetical completeness theorems of some extensions of Fitting, Marek, and Truszczy\'{n}ski's pure logic of necessitation $\mathbf{N}$. For $m,n \in \omega$, let $\mathbf{N}^+ \mathbf{A}_{m,n}$, which was introduced by Kurahashi
Externí odkaz:
http://arxiv.org/abs/2409.00938
Autor:
Kogure, Haruka, Kurahashi, Taishi
We study interpolation properties for Shavrukov's bimodal logic $\mathbf{GR}$ of usual and Rosser provability predicates. For this purpose, we introduce a new sublogic $\mathbf{GR}^\circ$ of $\mathbf{GR}$ and its relational semantics. Based on our ne
Externí odkaz:
http://arxiv.org/abs/2311.10583
Autor:
Hanako Nakajima, Hiroshi Okada, Akinori Kogure, Takafumi Osaka, Takeshi Tsutsumi, Masayoshi Onishi, Kazuteru Mitsuhashi, Noriyuki Kitagawa, Shinichi Mogami, Akane Kitamura, Michiyo Ishii, Naoto Nakamura, Akio Kishi, Sato Eiko, Masahide Hamaguchi, Michiaki Fukui
Publikováno v:
Journal of Diabetes Investigation, Vol 15, Iss 12, Pp 1809-1817 (2024)
ABSTRACT Aim Nocturia impairs the quality of life in patients with type 2 diabetes mellitus. Although sodium glucose co‐transporter 2 inhibitors (SGLT2i) such as tofogliflozin increase urine volume, their impact on nocturia, in conjunction with die
Externí odkaz:
https://doaj.org/article/3debcb3b3f6445389651e5f0107212a5
Autor:
Kogure, Singo, Takeda, Masashi, Morita, Katsuhiro, Fukumoto, Yoshiyuki, Saito, Mutsuki, Tanaka, Hidekazu
Publikováno v:
J. Phys. Soc. Jpn. 92, 113703 (2023)
The series expansion method is used to study magnon spectra of the kagome system with nearest-neighbor exchange interaction $J$ and out-of-plane Dzyaloshinskii-Moriya (DM) interaction $D^{\parallel}$, which is a minimal model for Cs$_{2}$Cu$_{3}$SnF$
Externí odkaz:
http://arxiv.org/abs/2309.11778
Autor:
Kogure, Haruka, Kurahashi, Taishi
For a class $\Gamma$ of formulas, $\Gamma$ local reflection principle $\mathrm{Rfn}_{\Gamma}(T)$ for a theory $T$ of arithmetic is a schema formalizing the $\Gamma$-soundness of $T$. Beklemishev proved that for every $\Gamma \in \{\Sigma_n, \Pi_{n+1}
Externí odkaz:
http://arxiv.org/abs/2306.07243
Publikováno v:
Laser Photonics Rev 2024, 18, 2301329
Mode-locked ultrashort pulse sources with a repetition rate of up to several tens of gigahertz greatly facilitate versatile photonic applications such as frequency synthesis, metrology, radar, and optical communications. Dissipative Kerr soliton micr
Externí odkaz:
http://arxiv.org/abs/2306.02005
Autor:
Junji Koya, Tomohiko Tanigawa, Kota Mizuno, Haryoon Kim, Yuta Ito, Mitsuhiro Yuasa, Kentaro Yamaguchi, Yasunori Kogure, Yuki Saito, Sumito Shingaki, Mariko Tabata, Koichi Murakami, Kenichi Chiba, Ai Okada, Yuichi Shiraishi, Amira Marouf, Raphaël Liévin, Sammara Chaubard, Arnaud Jaccard, Olivier Hermine, Laurence de Leval, Olivier Tournilhac, Gandhi Damaj, Philippe Gaulard, Lucile Couronné, Teruhito Yasui, Kazutaka Nakashima, Hiroaki Miyoshi, Koichi Ohshima, Keisuke Kataoka
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-15 (2024)
Abstract Extranodal NK/T-cell lymphoma (ENKTCL) is an Epstein-Barr virus (EBV)-related neoplasm preferentially involving the upper aerodigestive tract. Here we show that NK-cell-specific Trp53 disruption in mice leads to the development of NK-cell ly
Externí odkaz:
https://doaj.org/article/68fc246b7ff6480fbf1db57d7aa345f7
Autor:
Ippei Chiba, Naoki Nakaya, Mana Kogure, Rieko Hatanaka, Kumi Nakaya, Sayuri Tokioka, Tomohiro Nakamura, Satoshi Nagaie, Soichi Ogishima, Taku Obara, Toshimi Sato, Nobuo Fuse, Yoko Izumi, Shinichi Kuriyama, Atsushi Hozawa
Publikováno v:
BMC Nephrology, Vol 25, Iss 1, Pp 1-13 (2024)
Abstract Background Chronic kidney disease (CKD) contributes to decreased life expectancy. We examined the association between leisure-time physical activity (LTPA), non-leisure-time physical activity (non-LTPA) and kidney function. Methods This was
Externí odkaz:
https://doaj.org/article/9f1b446fb88d41afbe0468549987abd8
Autor:
Rie Terada, Ryoji Ichijima, Aya Iwao, Hiroshi Kinebuchi, Yuta Okada, Tomomi Sugita, Kanako Ogura, Akiko Haruta, Hirofumi Kogure
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-6 (2024)
Abstract Colonoscopies are widely available, but there are cases where insertion can be difficult, even for experienced endoscopists. EC-760XP/L, a new ultrasmall-diameter long scope, may be useful in such cases. This single-center retrospective stud
Externí odkaz:
https://doaj.org/article/8337dc7483be4478a2e11f6a5136a14e