ロゴ

CS32

神戸大学 システム情報学部
神戸大学 工学部 情報知能工学科
神戸大学大学院 システム情報学研究科 情報数理研究室

研究業績 (2014年度以降)

学術論文

arXiv (未出版)
Haruka Kogure; Taishi Kurahashi Doubly partially conservative sentences arXiv:2503.12373
Yuta Sato Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle arXiv:2503.10176
Miguel A. Cardona; Diego A. Mejía; Andrés F. Uribe-Zapata Finitely additive measures on Boolean algebras arXiv:2503.08910
Takashi Yamazoe Notes on slalom prediction arXiv:2503.03240
Hideki Matsumura; Masanori Sawa Ellipsoidal designs and the Prouhet--Tarry--Escott problem arXiv:2502.17106
Kenji Tanino; Tomoki Tamaru; Masatake Hirao; Masanori Sawa More on the corner-vector construction for spherical designs arXiv:2501.11437
Diego A. Mejía; Andrés F. Uribe-Zapata Probability Trees arXiv:2501.07023
Jorge Antonio Cruz Chapital; Tatsuya Goto; Yusuke Hayashi; Takashi Yamazoe Game-theoretic variants of splitting number arXiv:2412.19556
Mirna Džamonja; Francesco Parente Properties preserved by classes of Chu transforms arXiv:2412.11478
Takashi Yamazoe Cichoń's maximum with cardinals of the closed null ideal arXiv:2412.09069
Haruka Kogure; Taishi Kurahashi A variety of partially conservative sentences arXiv:2412.08208
Christina Brech; Jörg Brendle; Márcio Telles Density cardinals arXiv:2410.21102
Jörg Brendle; Michael Hrušák; Francesco Parente Almost refinement, reaping, and ultrafilter numbers arXiv:2410.18595
Taishi Kurahashi; Kohei Tominaga Smullyan's truth and provability arXiv:2410.17895; Journal of Logic and Computation
Sakaé Fuchino; Takehiko Gappo; Francesco Parente Generic Absoluteness Revisited arXiv:2410.15384
Ryutaro Misawa; Akihiro Munemasa; Masanori Sawa Antipodality of spherical designs with odd harmonic indices arXiv:2410.09471
Haruka Kogure Arithmetical completeness for some extensions of the pure logic of necessitation arXiv:2409.00938
Taishi Kurahashi Lyndon interpolation property for extensions of \(\mathbf{S4}\) and intermediate propositional logics arXiv:2407.00505
Takashi Yamazoe Cichoń's maximum with evasion number arXiv:2401.14600; The Journal of Symbolic Logic
Haruka Kogure; Taishi Kurahashi Interpolation properties for the bimodal provability logic \(\mathbf{GR}\) arXiv:2311.10583; Studia Logica
Taishi Kurahashi; Rihito Takase The modal logic of provability and forcing arXiv:2311.00581
Ryo Kashima; Taishi Kurahashi; Sohei Iwata; So Morioka Cut-free sequent calculi for the provability logic D arXiv:2310.16369; The Review of Symbolic Logic
Francesco Parente; Matteo Viale Universality properties of forcing arXiv:2310.11691; The Journal of Symbolic Logic
Jörg Brendle; Miguel A. Cardona; Diego A. Mejía Separating cardinal characteristics of the strong measure zero ideal arXiv:2309.01931
Jorge Antonio Cruz Chapital; Tatsuya Goto; Yusuke Hayashi Game-theoretic variants of cardinal invariants arXiv:2308.12136
Taishi Kurahashi; Albert Visser Certified \(\Sigma_1\)-sentences arXiv:2306.13049; The Journal of Symbolic Logic
Taishi Kurahashi; Yuta Sato The finite frame property of some extensions of the pure logic of necessitation arXiv:2305.14762; Studia Logica
Tatsuya Goto The comparability numbers and the incomparability numbers arXiv:2302.08040; Order
Jörg Brendle Shattered Iterations arXiv:2302.05069
Yuya Okawa; Taishi Kurahashi Visser frames for sublogics of \(\mathbf{IL}\) arXiv:2211.15919
Jörg Brendle; Osvaldo Guzmán; Michael Hrušák; Dilip Raghavan Combinatorial properties of MAD families arXiv:2206.14936
Tatsuya Goto Goldstern's principle about unions of null sets arXiv:2206.08147

2025
Hirotaka Kikyo; Akito Tsuboi Dividing and forking in random hypergraphs Annals of Pure and Applied Logic, Vol. 176, No. 2, Paper No. 103521 (Feb. 2025)
Haruka Kogure; Taishi Kurahashi On the conservation results for local reflection principles Journal of Logic and Computation, Vol. 35, No. 2, exad076 (Mar. 2025)

2024
Sohei Iwata; Taishi Kurahashi; Yuya Okawa The fixed point and the Craig interpolation properties for sublogics of IL Archive for Mathematical Logic, Vol. 63, No. 1-2, pp. 1-37 (Feb. 2024)
Sohei Iwata; Taishi Kurahashi; Yuya Okawa The persistence principle over weak interpretability logic Mathematical Logic Quarterly, Vol. 70, No. 1, pp. 37-63 (Feb. 2024)
Taishi Kurahashi; Motoki Okuda Disjunction and existence properties in modal arithmetic The Review of Symbolic Logic, Vol. 17, No. 1, pp. 178-205 (Mar. 2024)
Makoto Fujiwara; Taishi Kurahashi Prenex normalization and the hierarchical classification of formulas Archive for Mathematical Logic, Vol. 63, No. 3-4, pp. 391-403 (May 2024)
Tatsuya Goto Keisler's theorem and cardinal invariants The Journal of Symbolic Logic, Vol. 89, No. 2, pp. 905-917 (June 2024)
Taishi Kurahashi The provability logic of all provability predicates Journal of Logic and Computation, Vol. 34, No. 6, pp. 1108-1135 (Sep. 2024)
Taishi Kurahashi; Albert Visser Pour-El's landscape The Bulletin of Symbolic Logic, Vol. 30, No. 3, pp. 362-397 (Sep. 2024)
Taishi Kurahashi; Yoshiaki Minami On collection schemes and Gaifman's splitting theorem Mathematical Logic Quarterly, Vol. 70, No. 4, pp. 398-413 (Nov. 2024)
Jörg Brendle; Wolfgang Wohofsky Borel conjecture for the Marczewski ideal Proceedings of the American Mathematical Society, Vol. 152, No. 12, pp. 5395-5410 (Dec. 2024)

2023
Jörg Brendle; Francesco Parente Orderings of ultrafilters on Boolean algebras Topology and its Applications, Vol. 323, Paper No. 108279, 16 pp. (Jan. 2023)
Haruka Kogure; Taishi Kurahashi Arithmetical completeness theorems for monotonic modal logics Annals of Pure and Applied Logic, Vol. 174, No. 7, Paper No. 103271, 26 pp. (Jul. 2023)
Taishi Kurahashi Some observations on the FGH theorem Studia Logica, Vol. 111, No. 5, pp. 749-778 (Oct. 2023)
Jörg Brendle; Lorenz J. Halbeisen; Lukas Daniel Klausner; Marc Lischka; Saharon Shelah Halfway new cardinal characteristics Annals of Pure and Applied Logic, Vol. 174, No. 9, Paper No. 103303, 33 pp. (Oct.–Nov. 2023)
Jörg Brendle Base matrices of various heights Canadian Mathematical Bulletin, Vol. 66, No. 4, pp. 1237-1243 (Dec. 2023)
Jörg Brendle; Corey Bacal Switzer Higher dimensional cardinal characteristics for sets of functions II The Journal of Symbolic Logic, Vol. 88, No. 4, pp. 1421-1442 (Dec. 2023)
Makoto Fujiwara; Taishi Kurahashi Conservation theorems on semiclassical arithmetic The Journal of Symbolic Logic, Vol. 88, No. 4, pp. 1469-1496 (Dec. 2023)

2022
Taishi Kurahashi On inclusions between quantified provability logics Studia Logica, Vol. 110. No. 1, pp. 165-188 (Feb. 2022)
Taishi Kurahashi; Yuya Okawa Effectively constructible fixed points in Sacchetti's modal logics of provability Notre Dame Journal of Formal Logic, Vol. 63, No. 1, pp. 35-49 (Feb. 2022)
Jörg Brendle; Francesco Parente Combinatorics of ultrafilters on Cohen and random algebras The Journal of Symbolic Logic, Vol. 87, No. 1, pp. 109-126 (Mar. 2022)
Taishi Kurahashi; Yuya Okawa; V. Yu. Shavrukov; Albert Visser On Guaspari's problem about partially conservative sentences Annals of Pure and Applied Logic, Vol. 173. No. 5, Paper No. 103087, 25 pp. (May 2022)
Makoto Fujiwara; Taishi Kurahashi Refining the arithmetical hierarchy of classical principles Mathematical Logic Quarterly, Vol. 68. No. 3, pp. 318-345 (Aug. 2022)
Jörg Brendle The higher Cichoń diagram in the degenerate case Tsukuba Journal of Mathematics, Vol. 46, No. 2, pp. 255-269 (Dec. 2022)

2021
倉橋太志 不完全性定理の数学的発展 数学, Vol. 73, No. 1, pp. 60-87 (Jan. 2021)
Jörg Brendle; Miguel A. Cardona; Diego A. Mejía Filter-linkedness and its effect on preservation of cardinal characteristics Annals of Pure and Applied Logic, Vol. 172, No. 1, Paper No. 102856, 30 pp. (Jan. 2021)
Sakaé Fuchino; André Maschio Rodrigues Ottenbreit; Hiroshi Sakai Strong downward Löwenheim–Skolem theorems for stationary logics, I Archive for Mathematical Logic, Vol. 60, No. 1-2, pp. 17-47 (Feb. 2021)
Sakaé Fuchino; André Maschio Rodrigues Ottenbreit; Hiroshi Sakai Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum Archive for Mathematical Logic, Vol. 60, No. 3-4, pp.495-523 (May 2021)
Taishi Kurahashi; Yuya Okawa Modal completeness of sublogics of the interpretability logic \(\mathbf{IL}\) Mathematical Logic Quarterly, Vol. 67, No. 2, pp. 164-185 (May 2021)
Masanori Sawa; Masatake Hirao; Kanami Ito Geometric designs and rotatable designs I Graphs and Combinatorics, Vol. 37, pp. 1605-1651 (Sep. 2021)
澤 正憲 Quadrature 公式の構成理論と実験計画法 日本統計学会誌, Vo. 51, No. 1, pp. 1-33 (Sep. 2021)
Makoto Fujiwara; Taishi Kurahashi Prenex normal form theorems in semi-classical arithmetic The Journal of Symbolic Logic, Vol. 86, No. 3, pp. 1124-1153 (Sep. 2021)
Sohei Iwata; Taishi Kurahashi Topological semantics of conservativity and interpretability logics Journal of Logic and Computation, Vol. 31, No. 7, pp. 1716-1739 (Oct. 2021)
Sakaé Fuchino; André Maschio Rodrigues Ottenbreit Reflection principles, generic large cardinals, and the continuum problem Advances in Mathematical Logic. SAML 2018, Springer Proceedings in Mathematics & Statistics, Vol. 369, pp. 1-25 (2021)
Sohei Iwata Interpolation properties for Sacchetti’s logics Advances in Mathematical Logic. SAML 2018, Springer Proceedings in Mathematics & Statistics, Vol. 369, pp. 47-76 (2021)
Taishi Kurahashi Rosser provability and the second incompleteness theorem Advances in Mathematical Logic. SAML 2018, Springer Proceedings in Mathematics & Statistics, Vol. 369, pp. 77-97 (2021)

2020
Andreas Blass; Jörg Brendle; Will Brian; Joel David Hamkins; Michael Hardy; Paul B. Larson The rearrangement number Transactions of the American Mathematical Society, Vol. 373, No. 1, pp. 41-69 (Jan. 2020)
Masanori Sawa; Yukihiro Uchida Algebro-geometric aspects of the Christoffel-Darboux kernels for classical orthogonal polynomials Transactions of the American Mathematical Society, Vol. 373, No. 2, pp. 1243-1264 (Feb. 2020)
Brent Cody; Hiroshi Sakai The weakly compact reflection principle need not imply a high order of weak compactness Archive for Mathematical Logic, Vol. 59, No. 1-2, pp. 179-196 (Feb. 2020)
Taishi Kurahashi Rosser provability and normal modal logics Studia Logica, Vol. 108, No. 3, pp. 597-617 (Jun. 2020)
Taishi Kurahashi Uniform Lyndon interpolation property in propositional modal logics Archive for Mathematical Logic, Vol. 59, No. 5-6, pp. 659-678 (Aug. 2020)
Taishi Kurahashi A note on derivability conditions The Journal of Symbolic Logic, Vol. 85, No. 3, pp. 1224-1253 (Sep. 2020)
Sohei Iwata; Taishi Kurahashi Fixed-point properties for predicate modal logics Annals of the Japan Association for Philosophy of Science, Vol. 29, pp. 1-25 (Nov. 2020)

2019
Hirotaka Kikyo; Shunsuke Okabe On Hrushovski’s pseudoplanes Proceedings of the 14th and 15th Asian Logic Conferences, pp. 175-194 (Jan. 2019)
Hirotaka Yamamoto; Masatake Hirao; Masanori Sawa A construction of the fourth order rotatable designs invariant under the hyperoctahedral group Journal of Statistical Planning and Inference, Vol. 200, pp. 63-73 (May 2019)
Jörg Brendle; Will Brian; Joel David Hamkins The subseries number Fundamenta Mathematicae, Vol. 247, No. 1, pp. 49-85 (May 2019)
Yo Matsubara; Hiroshi Sakai; Toshimichi Usuba On the existence of skinny and stationary subsets Annals of Pure and Applied Logic, Vol. 170, No. 5, pp. 539-557 (May 2019)
Jörg Brendle; Luz María García Ávila Evasion and prediction V: Unsymmetric game ideals, constant prediction, and strong porosity ideals European Journal of Mathematics, Vol. 5, No. 2, pp. 269-286 (Jun. 2019)
Masanori Sawa; Yukihiro Uchida Discriminants of classical quasi-orthogonal polynomials with application to Diophantine equations Journal of the Mathematical Society of Japan, Vol. 71, No. 3, pp. 831-860 (Jul. 2019)
Jörg Brendle; Vera Fischer; Yurii Khomskii Definable maximal independent families Proceedings of the American Mathematical Society, Vol. 147, No. 8, pp. 3547-3557 (Aug. 2019)
Sean Cox; Hiroshi Sakai A variant of Shelah’s characterization of Strong Chang’s Conjecture Mathematical Logic Quarterly, Vol. 65, No. 2, pp. 251-257 (Sep. 2019)
Jörg Brendle; Michael Hrušák; Víctor Torres-Pérez Construction with opposition: cardinal invariants and games Archive for Mathematical Logic, Vol. 58, No. 7-8, pp. 943-963 (Nov. 2019)
Masanori Sawa On almost tight Euclidean designs for rotationally symmetric integrals Japanese Journal of Statistics and Data Science, Vol. 2, No. 2, pp. 615-639 (Dec. 2019)

2018
Jörg Brendle; Barnabás Farkas; Jonathan Verner Towers in filters, cardinal invariants, and Luzin type families The Journal of Symbolic Logic, Vol. 83, No. 3, pp. 1013-1062 (2018)
Jörg Brendle; Andrew Brooke-Taylor; Sy-David Friedman; Diana Carolina Montoya Cichoń’s diagram for uncountable cardinals Israel Journal of Mathematics, Vol. 225, No. 2, pp. 959-1010 (2018)
Jörg Brendle Maximal trees Archive for Mathematical Logic, Vol. 57, No. 3-4, pp. 421-428 (2018)
渕野 昌 数学と集合論—ゲーデルの加速定理の視点からの考察 科学基礎論研究, Vol. 46, No. 1, pp. 33-47 (2018)
Hirotaka Kikyo Model completeness of generic graphs in rational cases Archive for Mathematical Logic, Vol. 57, No. 7-8, pp. 769-794 (2018)
Hiroshi Sakai On Katětov and Katětov-Blass orders on analytic P-ideals and Borel ideals Archive for Mathematical Logic, Vol. 57, No. 3-4, pp. 317-327 (2018)

2017
Jörg Brendle; Jana Flašková Generic existence of ultrafilters on the natural numbers Fundamenta Mathematicae, Vol. 236, No. 3, pp. 201-245 (2017)
Jörg Brendle; Luz María García Ávila Forcing-theoretic aspects of Hindman's theorem Journal of the Mathematical Society of Japan, Vol. 69, No. 3, pp. 1247-1280 (2017)
Jörg Brendle; Yurii Khomskii; Wolfgang Wohofsky Cofinalities of Marczewski-like ideals Colloquium Mathematicum, Vol. 150, No. 2, pp. 269-279 (2017)
Jörg Brendle Q Sets and computations, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore. Vol. 33, pp. 1-10 (2017)
Hirotaka Kikyo; Masanori Sawa Köhler theory for countable quadruple system Tsukuba Journal of Mathematics, Vol. 41, No. 2, pp. 189-215 (2017)
Makoto Kikuchi; Taishi Kurahashi Generalizations of Gödel’s incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic The Review of Symbolic Logic, Vol. 10, No. 4, pp. 603-616 (2017)
Sy-David Friedman; Sakaé Fuchino; Hiroshi Sakai On the set-generic multiverse Sets and computations, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore. Vol. 33, pp. 25-44 (2017)
Kazuki Matsubara; Masanori Sawa; Sanpei Kageyama Existence on splitting-balanced block designs with resolvability Graphs and Combinatorics, Vol. 33, No. 3, pp. 561-572 (2017)
Sakaé Fuchino A reflection principle as a reverse-mathematical fixed point over the base theory ZFC Annals of the Japan Association for the Philosophy of Science, Vol. 25, pp. 67-77 (2017)

2016
Joel David Hamkins; Makoto Kikuchi Set-theoretic mereology Logic and Logical Philosophy, Vol. 25, No. 3, pp. 285-391 (2016)
Makoto Kikuchi; Taishi Kurahashi Universal Rosser predicates The Journal of Symbolic Logic, Vol. 82, No. 1, pp. 292-302 (2016)
Makoto Kikuchi; Taishi Kurahashi Illusory models of Peano arithmetic The Journal of Symbolic Logic, Vol. 81, No. 3, pp. 1163-1175 (2016)
Makoto Kikuchi; Taishi Kurahashi Liar-type paradoxes and the incompleteness phenomena Journal of Philosophical Logic, Vol. 45, No. 4, pp. 381-391 (2016)
Hiroaki Minami; Hiroshi Sakai Katětov and Katětov-Blass orders on \(F_\sigma\) ideals Archive for Mathematical Logic, Vol. 55, No. 7, pp. 883-893 (2016)
Hirotaka Kikyo Model theory of automorphisms Sugaku Expositions, Vol. 29, No. 1, pp. 1-15 (2016)
Masatake Hirao; Takayuki Okuda; Masanori Sawa Some remarks on cubature formulas with linear operators Journal of the Mathematical Society of Japan, Vol. 68, No. 2, pp. 711-735 (2016)
澤 正憲 Cubature 公式の理論 数学, Vol. 68, No. 1, pp. 24-53 (2016)
Masanori Sawa On a symmetric representation of Hermitian matrices and its applications to graph theory Journal of Combinatorial Theory Series B, Vol. 116, pp. 484-503 (2016)

2015
Pierre Matet; Toshimichi Usuba Two-cardinal version of weak compactness: partitions of triples Journal of the Mathematical Society of Japan, Vol. 67, No. 1, pp. 207-230 (2015)
菊池 誠 証明概念の形式化と量化子の解釈 科学哲学, Vol. 48, No. 2, pp. 33-48 (2015)
Joan Bagaria; Menachem Magidor; Hiroshi Sakai Reflection and indescribability in the constructible universe Israel Journal of Mathematics, Vol. 208, No. 1, pp. 1-11 (2015)
Hiroshi Sakai Simple proofs of \(\mathsf{SCH}\) from reflection principles without using better scales Archive for Mathematical Logic, Vol.54, No. 5, pp. 639-647 (2015)
Hirotaka Kikyo; Koichiro Ikeda Model complete generic structures Proceedings of the 13th Asian Logic Conference, pp. 114-123 (2015)
Jörg Brendle; Andrew Brooke-Taylor; Keng Meng Ng; André Nies An analogy between cardinal characteristics and highness properties of oracles Proceedings of the 13th Asian Logic Conference, pp. 1-28 (2015)
Hiroshi Sakai; Boban Veličković Stationary reflection principles and two cardinal tree properties Journal of the Institute of Mathematics of Jussieu, Vol. 14, No. 1, pp. 69-85 (2015)
Masatake Hirao; Masanori Sawa; Masakazu Jimbo Constructions of \(\Phi_p\)-optimal rotatable designs on the ball Sankhya Series A: The Indian Journal of Statistics, Vol. 77, No. 1, pp. 211-236 (2015)

2014
Jörg Brendle; Diego Alejandro Mejía Rothberger gaps in fragmented ideals Fundamenta Mathematicae, Vol. 227, No. 1, pp. 35-68 (2014)
Jörg Brendle; Dilip Raghavan Bounding, splitting, and almost disjointness Annals of Pure and Applied Logic, Vol. 165, No. 2, pp. 631-651 (2014)
Toshimichi Usuba The cardinality of compact spaces satisfying the countable chain condition Topology and its applications, Vol. 174, pp. 41-55 (2014)
Toshimichi Usuba Bounded dagger principles Mathematical Logic Quarterly, Vol. 60, No. 4-5, pp. 266‒272 (2014)
Franklin D. Tall; Toshimichi Usuba Lindelöf spaces with small pseudocharacter and analog of Borel’s conjecture for subsets of \([0,1]^{\aleph_1}\) Houston Journal of Mathematics, Vol. 40, No. 4, pp. 1299-1309 (2014)
Masanori Sawa; Yuan Xu On positive cubature rules on the simplex and isometric embeddings Mathematics of Computation, Vol. 83, No. 287, pp. 1251-1277 (2014)
Hiroshi Nozaki; Masanori Sawa Remarks on Hilbert identities, isometric embeddings, and invariant cubature St. Petersburg Mathematical Journal, Vol. 25, No. 4, pp. 615-646 (2014)

学術報告・雑誌など

京都大学数理解析研究所講究録
桔梗 宏孝 Model Completeness of Theories of Hrushovski's Pseudoplanes Associated to Irrational Numbers 京都大学数理解析研究所講究録, Vol. 2307, (2025)
小暮晏佳; 倉橋太志 Rosser 証明可能性述語に基づく局所反映原理 京都大学数理解析研究所講究録, Vol. 2293, (2024)
後藤 達哉 Keisler's theorem and cardinal invariants at uncountable cardinals 京都大学数理解析研究所講究録, Vol. 2290, (2024)
山添 隆志 Notes on the coexistence of limit notions 京都大学数理解析研究所講究録, Vol. 2290, (2024)
後藤 達哉 Goldstern の原理と大きな連続体濃度 京都大学数理解析研究所講究録, Vol. 2261, pp. 38-42 (2023)
渕野 昌 Maximality Principle under a Laver-generic supercompact cardinal 京都大学数理解析研究所講究録, Vol. 2261, pp. 23-37 (2023)
桔梗 宏孝 On the Structure of Hrushovski's Pseudoplanes Associated to Irrational Numbers 京都大学数理解析研究所講究録, Vol. 2249, pp. 83-96 (2023)
倉橋 太志 証明可能性述語の様相論理 京都大学数理解析研究所講究録, Vol. 2233, pp. 105-122 (2022)
桔梗 宏孝 Some remarks on groups definable in certain generic structures 京都大学数理解析研究所講究録, Vol. 2218, pp. 64-70 (2022)
渕野 昌; 酒井 拓史 Generically supercompact cardinals by forcing with chain conditions 京都大学数理解析研究所講究録, Vol. 2213, 18 pp. (2022)
Jörg Brendle The amalgamated limit and its topological interpretation 京都大学数理解析研究所講究録, Vol. 2213, pp. 1-13 (2022)
渕野 昌 On local reflection of the properties of graphs in Foreman-Laver model 京都大学数理解析研究所講究録, Vol. 2198, pp. 56-69 (2021)
桔梗 宏孝 On the automorphism groups of Hrushovski's pseudoplanes associated to small rational numbers 京都大学数理解析研究所講究録, Vol. 2170, pp. 26-42 (2020)
Sean Cox; 酒井拓史 Martin's Maximum and the Diagonal Reflection Principle 京都大学数理解析研究所講究録, Vol. 2141, pp. 29-36 (2020)
桔梗 宏孝 On the automorphism group of a Hrushovski’s pseudoplane associated to \(5/8\) 京都大学数理解析研究所講究録, Vol. 2119, pp. 75-86 (2019)
桔梗 宏孝 Model completeness of the theory of Hrushovski’s pseudoplane associated to \(5/8\) 京都大学数理解析研究所講究録, Vol. 2084, pp. 29-38 (2018)
松原 洋; 酒井 拓史; 薄葉 季路 On skinny subsets of \(\mathcal{P}_{\kappa} \lambda\) 京都大学数理解析研究所講究録, Vol. 2081, pp. 1-6 (2018)
Hirotaka Kikyo Balanced zero-sum sequences and minimal intrinsic extensions 京都大学数理解析研究所講究録, Vol. 2079, pp. 54-60 (2018)
渕野 昌; André Maschio Rodrigues Ottenbreit; 酒井 拓史 On local reflection of the properties of graphs in Foreman-Laver model 京都大学数理解析研究所講究録, Vol. 2042, pp. 52-71 (2017)
渕野 昌 On local reflection of the properties of graphs with uncountable characteristics 京都大学数理解析研究所講究録, Vol. 2042, pp. 34-51 (2017)
桔梗 宏孝 On \(\mathrm{K}_f\) in irrational cases 京都大学数理解析研究所講究録, Vol. 2002, pp. 48-53 (2016)
渕野 昌 On reflection numbers under large continuum 京都大学数理解析研究所講究録, Vol. 1988, pp. 1-16 (2016)
佐竹翔平; 澤正憲; 神保雅一 グラフの非対称性に関する Erdős-Renyi の定理とその有向グラフへの拡張 京都大学数理解析研究所講究録, Vol. 1986, pp. 130-137 (2015)
酒井 拓史 Note on covering and approximation properties 京都大学数理解析研究所講究録, Vol. 1949, pp. 81-88 (2015)
桔梗 宏孝 Model Complete Generic Graphs I 京都大学数理解析研究所講究録, Vol. 1938, pp. 15-25 (2015)
薄葉 季路 The approximation property and the chain condition 京都大学数理解析研究所講究録, Vol. 1895, pp. 103-107 (2014)
渕野 昌; 薄葉 季路 A reflection principle formulated in terms of games 京都大学数理解析研究所講究録, Vol. 1895, pp. 37-47 (2014)
Jörg Brendle; Andrew D. Brooke-Taylor A variant proof of Con\((\mathfrak{b}<\mathfrak{a})\) 京都大学数理解析研究所講究録, Vol. 1895, pp. 16-25 (2014)

数学セミナー
菊池 誠 坂の上の桜 数学セミナー, 2024年4月号, p. 1 (2024)
菊池 誠 実数を理解する 数学セミナー, 2023年6月号, pp. 32-37 (2023)
菊池 誠 公理という考え方 数学セミナー, 2022年8月号, pp. 8-15 (2022)
菊池 誠 価値創造スクエア／数学的な考え方で「素朴経営学」に向かい合う 数学セミナー, 2021年5月号, pp. 35- (2021)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　物語の終わり／選言定理 数学セミナー, 2020年3月号, pp. 68- (2020)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　ゲンツェンの定理／算術の無矛盾性証明 数学セミナー, 2020年2月号, pp. 68- (2020)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　ロビンソンの定理／有理数体の理論の決定不能性 数学セミナー, 2020年1月号, pp. 66- (2020)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　シェファードソンの定理／弱い数学的帰納法の代数的特徴付け 数学セミナー, 2019年12月号, pp. 76- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　プレスバーガーの定理／乗法を持たない算術の完全性 数学セミナー, 2019年11月号, pp. 69- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　タルスキの定理／実閉順序体の量化子除去 数学セミナー, 2019年10月号, pp. 70- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　パリークの定理／数学的帰納法の非可述性と限定算術 数学セミナー, 2019年9月号, pp. 75- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　ロッサーの定理／超準的な証明可能性述語とω無矛盾性 数学セミナー, 2019年8月号, pp. 70- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　パーソンズの定理／原始再帰的関数と有限の立場 数学セミナー, 2019年7月号, pp. 74- (2019)
酒井 拓史 無限の数／順序数・基数・巨大基数 数学セミナー, 2019年7月号, pp. 32- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　スコーレムの定理／算術の超準モデルの存在 数学セミナー, 2019年6月号, pp. 55- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　チューリングの定理／停止性問題の決定不能性 数学セミナー, 2019年5月号, pp. 59- (2019)
菊池 誠 数と論理の物語―不完全性定理について考えるための10の定理　物語の始まり／不完全性定理 数学セミナー, 2019年4月号, pp. 55- (2019)
菊池 誠 1936年の奇跡／チューリング機械の誕生 数学セミナー, 2018年11月号, pp. 30-34 (2018)
渕野 昌 間違いと真理／解析学と集合論の場合 数学セミナー, 2018年8月号, pp. 36-42 (2018)
菊池 誠 ヒルベルトの第10問題 数学セミナー, 2017年10月号, pp. 19-23 (2017)
菊池 誠 ルベーグ非可測集合の存在とバナッハ-タルスキの逆理 数学セミナー, 2016年10月号, pp. 30-35 (2016)
渕野 昌 冬の旅 ポーランドとチェコへの数学の旅 数学セミナー, 2016年6月号, pp. 50- (2016)
菊池 誠 実数の連続性がわからない 数学セミナー, 2015年6月号, pp. 13-17 (2015)

現代思想
渕野 昌 計算、証明、有限、無限 現代思想, 2023年7月号, pp. 64-82 (2023)
渕野 昌 論理、この厄介なもの 現代思想, 2022年4月号, pp. 214-229 (2022)
渕野 昌 集合論と圏論 現代思想, 2020年7月号, pp. 83-102 (2020)
渕野 昌 巨大基数と巨大な巨大基数、超数学での無限と集合論的無限、それらに対する有限の諸相 現代思想, 2019年12月号, pp. 51-65 (2019)
渕野 昌 連続体仮説とゲーデルの集合論的宇宙ユニヴァース 現代思想, 2017年6月臨時増刊号, pp. - (2017)
渕野 昌 美は一本の毛で男をひつぱるだろう 現代思想, 2017年3月臨時増刊号, pp. 102-108 (2017)
渕野 昌 集合論(=数学)の未解決問題 現代思想, 2016年10月臨時増刊号, pp. 109-129 (2016)

数理科学
酒井 拓史 順序数と基数 数理科学, 2022年6月号, pp. - (2022)
渕野 昌 ハウスドルフの集合論と位相空間論の誕生 数理科学, 2022年6月号, pp. 7-18 (2022)
渕野 昌 フィールズ賞で語る現代数学 2 ～ “コーエンの強制法”と強制法 ～ 数理科学, 2014年10月号, pp. 75-83 (2014)

数学文化
渕野 昌 カントルの精神の継承:無限集合の数学/超数学理論としてのカントルの集合論のその後の発展と,その「数学」へのインパクト 数学文化, No. 29, pp. 26-41 (2018)
数学通信
渕野 昌 兵庫／神戸サイエンスカフェでの幾つかの数学の話題提供について 数学通信, 第28巻, 第2号，pp. 48-56 (2023)
ユリイカ
渕野 昌 レオナルドとの会話、あるいは現実と非現実の硲（はざま）について ユリイカ, 2024年1月号，pp. 200-210 (2024)

書籍等出版物

渕野 昌 自己隔離期間の線型代数 I 1月と7月, 496 pp. (2023)
國部 克彦; 玉置 久; 菊池 誠　編 価値創造の考え方 - 期待を満足につなぐために 日本評論社, 272 pp. (2021)
Masanori Sawa; Masatake Hirao; Sanpei Kageyama Euclidean Design Theory Springer, viii+134 pp. (2019)
神保 雅一　監訳
澤 正憲; 萩田 真理子　訳		 ヴァン・リント&ウィルソン　組合せ論 下 丸善出版, 348 pp. (2019)
桔梗 宏孝 数理解析研究所講究録 2119 モデル理論における独立概念と次元の研究 京都大学数理解析研究所 (2019)
神保 雅一　監訳
澤 正憲; 萩田 真理子　訳		 ヴァン・リント&ウィルソン　組合せ論 上 丸善出版, 340 pp. (2018)
桔梗 宏孝 数理解析研究所講究録 2002 モデル理論における独立概念と次元の研究 京都大学数理解析研究所 (2016)
菊池 誠　編
佐野 勝彦; 倉橋 太志; 薄葉 季路; 黒川 英徳; 菊池 誠　著		 数学における証明と真理：様相論理と数学基礎論 共立出版, 304 pp. (2016)
田中 尚夫; 渕野 昌 　訳・注釈・解説 ヘルマン・ヴァイル　連続体—解析学の基礎についての批判的研究 日本評論社, 204 pp. (2016)
菊池 誠 不完全性定理 共立出版, 360 pp. (2014)