Arai, Yumi; Takemura, Kouichi On \(q\)-middle convolution and \(q\)-hypergeometric equations. (English) Zbl 07711517 SIGMA, Symmetry Integrability Geom. Methods Appl. 19, Paper 037, 40 p. (2023). MSC: 33D15 39A13 44A20 PDFBibTeX XMLCite \textit{Y. Arai} and \textit{K. Takemura}, SIGMA, Symmetry Integrability Geom. Methods Appl. 19, Paper 037, 40 p. (2023; Zbl 07711517) Full Text: DOI arXiv
Arai, Toshiyasu Wellfoundedness proof with the maximal distinguished set. (English) Zbl 1523.03026 Arch. Math. Logic 62, No. 3-4, 333-357 (2023). Reviewer: Andrei Sipoş (Bucureşti) MSC: 03F15 03F35 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 62, No. 3--4, 333--357 (2023; Zbl 1523.03026) Full Text: DOI arXiv
Arai, Toshiyasu An ordinal analysis of \(\Pi_{N}\)-Collection. arXiv:2311.12459 Preprint, arXiv:2311.12459 [math.LO] (2023). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``An ordinal analysis of $\Pi_{N}$-Collection'', Preprint, arXiv:2311.12459 [math.LO] (2023) Full Text: arXiv OA License
Arai, Keisuke; Takai, Yuuki An equivalent condition for abelian varieties over finite fields to have QM. arXiv:2311.11051 Preprint, arXiv:2311.11051 [math.NT] (2023). MSC: 11G10 11R52 14K05 BibTeX Cite \textit{K. Arai} and \textit{Y. Takai}, ``An equivalent condition for abelian varieties over finite fields to have QM'', Preprint, arXiv:2311.11051 [math.NT] (2023) Full Text: arXiv OA License
Arai, Toshiyasu Well-foundedness proof for \(\Pi^{1}_{1}\)-reflection. arXiv:2304.03851 Preprint, arXiv:2304.03851 [math.LO] (2023). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Well-foundedness proof for $\Pi^{1}_{1}$-reflection'', Preprint, arXiv:2304.03851 [math.LO] (2023) Full Text: arXiv OA License
Arai, Toshiyasu Lectures on Ordinal Analysis. arXiv:2304.00246 Preprint, arXiv:2304.00246 [math.LO] (2023). BibTeX Cite \textit{T. Arai}, ``Lectures on Ordinal Analysis'', Preprint, arXiv:2304.00246 [math.LO] (2023) Full Text: arXiv OA License
Arai, Toshiyasu Provably well-founded strict partial orders. arXiv:2303.14271 Preprint, arXiv:2303.14271 [math.LO] (2023). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Provably well-founded strict partial orders'', Preprint, arXiv:2303.14271 [math.LO] (2023) Full Text: arXiv OA License
Arai, Yoichi; Hsu, Yu-Chin; Kitagawa, Toru; Mourifié, Ismael; Wan, Yuanyuan Testing identifying assumptions in fuzzy regression discontinuity designs. (English) Zbl 07554997 Quant. Econ. 13, No. 1, 1-28 (2022). MSC: 62-XX PDFBibTeX XMLCite \textit{Y. Arai} et al., Quant. Econ. 13, No. 1, 1--28 (2022; Zbl 07554997) Full Text: DOI
Arai, Takuji Approximate option pricing formula for Barndorff-Nielsen and Shephard model. (English) Zbl 1483.91228 Int. J. Theor. Appl. Finance 25, No. 2, Article ID 2250008, 26 p. (2022). MSC: 91G20 PDFBibTeX XMLCite \textit{T. Arai}, Int. J. Theor. Appl. Finance 25, No. 2, Article ID 2250008, 26 p. (2022; Zbl 1483.91228) Full Text: DOI arXiv
Arai, Toshiyasu An ordinal analysis of a single stable ordinal. arXiv:2208.12944 Preprint, arXiv:2208.12944 [math.LO] (2022). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``An ordinal analysis of a single stable ordinal'', Preprint, arXiv:2208.12944 [math.LO] (2022) Full Text: arXiv OA License
Arai, Takuji; Takenaka, Masahiko Constrained optimal stopping under a regime-switching model. arXiv:2204.07914 Preprint, arXiv:2204.07914 [math.PR] (2022). BibTeX Cite \textit{T. Arai} and \textit{M. Takenaka}, ``Constrained optimal stopping under a regime-switching model'', Preprint, arXiv:2204.07914 [math.PR] (2022) Full Text: arXiv OA License
Arai, Toshiyasu (ed.); Kikuchi, Makoto (ed.); Kuroda, Satoru (ed.); Okada, Mitsuhiro (ed.); Yorioka, Teruyuki (ed.) Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. (English) Zbl 1479.03003 Springer Proceedings in Mathematics & Statistics 369. Singapore: Springer (ISBN 978-981-16-4172-5/hbk; 978-981-16-4173-2/ebook). xi, 229 p. (2021). MSC: 03-06 03Bxx 03Exx 03Fxx 00B25 00B30 PDFBibTeX XMLCite \textit{T. Arai} (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18--20, 2018. Singapore: Springer (2021; Zbl 1479.03003) Full Text: DOI
Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas Goodstein sequences based on a parametrized Ackermann-Péter function. (English) Zbl 07396324 Bull. Symb. Log. 27, No. 2, 168-186 (2021). MSC: 03F15 03F25 03F30 03F35 03D55 PDFBibTeX XMLCite \textit{T. Arai} et al., Bull. Symb. Log. 27, No. 2, 168--186 (2021; Zbl 07396324) Full Text: DOI
Arai, Toshiyasu An ordinal analysis of \(\Pi_{1}\)-Collection. arXiv:2112.09871 Preprint, arXiv:2112.09871 [math.LO] (2021). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``An ordinal analysis of $\Pi_{1}$-Collection'', Preprint, arXiv:2112.09871 [math.LO] (2021) Full Text: arXiv OA License
Arai, Reona; Fujiwara, Shota; Imamura, Yosuke; Mori, Tatsuya Finite-\(N\) corrections to the superconformal index of toric quiver gauge theories. (English) Zbl 1483.81123 PTEP, Prog. Theor. Exper. Phys. 2020, No. 4, Article ID 043B09, 31 p. (2020). MSC: 81T35 70S15 16G20 14J32 81T30 83E30 81T60 83E50 14M25 PDFBibTeX XMLCite \textit{R. Arai} et al., PTEP, Prog. Theor. Exper. Phys. 2020, No. 4, Article ID 043B09, 31 p. (2020; Zbl 1483.81123) Full Text: DOI arXiv
Arai, Toshiyasu Cut-elimination for SBL. (English) Zbl 07438599 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 265-298 (2020). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{T. Arai}, in: The legacy of Kurt Schütte. Cham: Springer. 265--298 (2020; Zbl 07438599) Full Text: DOI arXiv
Arai, Toshiyasu A simplified ordinal analysis of first-order reflection. (English) Zbl 1485.03234 J. Symb. Log. 85, No. 3, 1163-1185 (2020). MSC: 03F15 PDFBibTeX XMLCite \textit{T. Arai}, J. Symb. Log. 85, No. 3, 1163--1185 (2020; Zbl 1485.03234) Full Text: DOI arXiv
Arai, Reona; Fujiwara, Shota; Imamura, Yosuke; Mori, Tatsuya; Yokoyama, Daisuke Finite-\(N\) corrections to the M-brane indices. (English) Zbl 1456.81329 J. High Energy Phys. 2020, No. 11, Paper No. 93, 34 p. (2020). MSC: 81T30 81T32 PDFBibTeX XMLCite \textit{R. Arai} et al., J. High Energy Phys. 2020, No. 11, Paper No. 93, 34 p. (2020; Zbl 1456.81329) Full Text: DOI arXiv
Arai, Masafumi; Taniyama, Kouki Knot diagrams on a punctured sphere as a model of string figures. (English) Zbl 1455.57003 J. Knot Theory Ramifications 29, No. 11, Article ID 2050071, 8 p. (2020). MSC: 57K10 57K20 PDFBibTeX XMLCite \textit{M. Arai} and \textit{K. Taniyama}, J. Knot Theory Ramifications 29, No. 11, Article ID 2050071, 8 p. (2020; Zbl 1455.57003) Full Text: DOI arXiv
Arai, Toshiyasu Ordinal analysis with an introduction to proof theory. (English) Zbl 07243781 Logic in Asia: Studia Logica Library. Singapore: Springer (ISBN 978-981-15-6458-1/hbk; 978-981-15-6461-1/pbk; 978-981-15-6459-8/ebook). xvi, 313 p. (2020). MSC: 03-01 03Fxx PDFBibTeX XMLCite \textit{T. Arai}, Ordinal analysis with an introduction to proof theory. Singapore: Springer (2020; Zbl 07243781) Full Text: DOI
Arai, T.; Horiuchi, W.; Baye, D. Properties of supersymmetric transformed alpha-nucleus potentials studied with electric-multipole transitions. (English) Zbl 1437.81144 Orr, N. A. (ed.) et al., Recent progress in few-body physics. Proceedings of the 22nd international conference on few-body problems in physics, FB22, Caen, France, July 9–13, 2018. Cham: Springer. Springer Proc. Phys. 238, 215-218 (2020). MSC: 81V35 81Q60 PDFBibTeX XMLCite \textit{T. Arai} et al., Springer Proc. Phys. 238, 215--218 (2020; Zbl 1437.81144) Full Text: DOI
Arai, Toshiyasu; Fernández-Duque, David; Wainer, Stanley; Weiermann, Andreas Predicatively unprovable termination of the Ackermannian Goodstein process. (English) Zbl 1484.03125 Proc. Am. Math. Soc. 148, No. 8, 3567-3582 (2020). MSC: 03F40 03D20 03D60 03F30 PDFBibTeX XMLCite \textit{T. Arai} et al., Proc. Am. Math. Soc. 148, No. 8, 3567--3582 (2020; Zbl 1484.03125) Full Text: DOI arXiv
Arai, Erin; Tartakovsky, Alexandre; Holt, R. Glynn; Grace, Sheryl; Ryan, Emily Comparison of surface tension generation methods in smoothed particle hydrodynamics for dynamic systems. (English) Zbl 1519.76239 Comput. Fluids 203, Article ID 104540, 12 p. (2020). MSC: 76M28 76Txx 76N06 PDFBibTeX XMLCite \textit{E. Arai} et al., Comput. Fluids 203, Article ID 104540, 12 p. (2020; Zbl 1519.76239) Full Text: DOI
Arai, Toshiyasu Proof-theoretic strengths of the well-ordering principles. (English) Zbl 1481.03063 Arch. Math. Logic 59, No. 3-4, 257-275 (2020). MSC: 03F15 03F35 03B30 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 59, No. 3--4, 257--275 (2020; Zbl 1481.03063) Full Text: DOI arXiv
Arai, Toshiyasu Refinement of proof-theoretic analysis of the lpo due to Buchholz. arXiv:2008.07124 Preprint, arXiv:2008.07124 [math.LO] (2020). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Refinement of proof-theoretic analysis of the lpo due to Buchholz'', Preprint, arXiv:2008.07124 [math.LO] (2020) Full Text: arXiv OA License
Arai, Toshiyasu A constructive proof of a theorem by Ferreira-Zantema. arXiv:2008.07123 Preprint, arXiv:2008.07123 [math.LO] (2020). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``A constructive proof of a theorem by Ferreira-Zantema'', Preprint, arXiv:2008.07123 [math.LO] (2020) Full Text: arXiv OA License
Arai, Toshiyasu Two remarks on proof theory of first-order arithmetic. arXiv:2003.13207 Preprint, arXiv:2003.13207 [math.LO] (2020). MSC: 03F30 BibTeX Cite \textit{T. Arai}, ``Two remarks on proof theory of first-order arithmetic'', Preprint, arXiv:2003.13207 [math.LO] (2020) Full Text: arXiv OA License
Arai, Takuji Pricing and hedging of VIX options for Barndorff-Nielsen and Shephard models. (English) Zbl 1430.91103 Int. J. Theor. Appl. Finance 22, No. 8, Article ID 1950043, 26 p. (2019). MSC: 91G20 60J60 91G60 65T50 PDFBibTeX XMLCite \textit{T. Arai}, Int. J. Theor. Appl. Finance 22, No. 8, Article ID 1950043, 26 p. (2019; Zbl 1430.91103) Full Text: DOI arXiv
Arai, Reona; Fujiwara, Shota; Imamura, Yosuke; Mori, Tatsuya Finite \(N\) corrections to the superconformal index of orbifold quiver gauge theories. (English) Zbl 1427.81095 J. High Energy Phys. 2019, No. 10, Paper No. 243, 42 p. (2019). MSC: 81T30 81T40 81T60 PDFBibTeX XMLCite \textit{R. Arai} et al., J. High Energy Phys. 2019, No. 10, Paper No. 243, 42 p. (2019; Zbl 1427.81095) Full Text: DOI arXiv
Arai, Tatsuya Correction to: “Devaney’s and Li-Yorke’s chaos in uniform spaces”. (English) Zbl 1420.54056 J. Dyn. Control Syst. 25, No. 3, 517-518 (2019). MSC: 54H20 37B05 PDFBibTeX XMLCite \textit{T. Arai}, J. Dyn. Control Syst. 25, No. 3, 517--518 (2019; Zbl 1420.54056) Full Text: DOI
Arai, Takuji; Asano, Takao; Nishide, Katsumasa Optimal initial capital induced by the optimized certainty equivalent. (English) Zbl 1419.91347 Insur. Math. Econ. 85, 115-125 (2019). MSC: 91B30 PDFBibTeX XMLCite \textit{T. Arai} et al., Insur. Math. Econ. 85, 115--125 (2019; Zbl 1419.91347) Full Text: DOI Link
Arai, Toshiyasu Mahlo classes for first-order reflections. arXiv:1910.06520 Preprint, arXiv:1910.06520 [math.LO] (2019). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Mahlo classes for first-order reflections'', Preprint, arXiv:1910.06520 [math.LO] (2019) Full Text: arXiv OA License
Arai, Takuji; Suzuki, Ryoichi A Clark-Ocone type formula via Ito calculus and its application to finance. arXiv:1906.06648 Preprint, arXiv:1906.06648 [q-fin.MF] (2019). BibTeX Cite \textit{T. Arai} and \textit{R. Suzuki}, ``A Clark-Ocone type formula via Ito calculus and its application to finance'', Preprint, arXiv:1906.06648 [q-fin.MF] (2019) Full Text: arXiv OA License
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems. (English) Zbl 1462.68152 AI Commun. 31, No. 3, 251-266 (2018). MSC: 68T01 00A07 68V15 68V20 68W30 PDFBibTeX XMLCite \textit{T. Matsuzaki} et al., AI Commun. 31, No. 3, 251--266 (2018; Zbl 1462.68152) Full Text: DOI
Arai, Takuji; Imai, Yuto A numerically efficient closed-form representation of mean-variance hedging for exponential additive processes based on Malliavin calculus. (English) Zbl 1418.91592 Appl. Math. Finance 25, No. 3, 247-267 (2018). MSC: 91G60 60H07 91G20 PDFBibTeX XMLCite \textit{T. Arai} and \textit{Y. Imai}, Appl. Math. Finance 25, No. 3, 247--267 (2018; Zbl 1418.91592) Full Text: DOI arXiv
Tao, Long; Weber, Karoline E.; Arai, Kensuke; Eden, Uri T. A common goodness-of-fit framework for neural population models using marked point process time-rescaling. (English) Zbl 1402.92120 J. Comput. Neurosci. 45, No. 2, 147-162 (2018). MSC: 92C20 62P10 PDFBibTeX XMLCite \textit{L. Tao} et al., J. Comput. Neurosci. 45, No. 2, 147--162 (2018; Zbl 1402.92120) Full Text: DOI
Arai, Takuji; Imai, Yuto; Nakashima, Ryo Numerical analysis on quadratic hedging strategies for normal inverse Gaussian models. (English) Zbl 1418.91593 Kusuoka, Shigeo (ed.) et al., Advances in mathematical economics. Vol. 22. Singapore: Springer. Adv. Math. Econ. 22, 1-24 (2018). MSC: 91G60 91G20 60G51 65T50 PDFBibTeX XMLCite \textit{T. Arai} et al., Adv. Math. Econ. 22, 1--24 (2018; Zbl 1418.91593) Full Text: DOI arXiv
Hashimoto, Masa-aki; Nakamura, Riou; Thushari, E. P. Berni Ann.; Arai, Kenzo Big-bang nucleosynthesis. Thermonuclear history in the early universe. (English) Zbl 1423.85002 SpringerBriefs in Physics. Singapore: Springer (ISBN 978-981-13-2934-0/pbk; 978-981-13-2935-7/ebook). ix, 84 p. (2018). Reviewer: Johannes Viktor Feitzinger (Künzelsau) MSC: 85-02 85A40 83F05 00A79 81V35 83D05 83C75 PDFBibTeX XMLCite \textit{M.-a. Hashimoto} et al., Big-bang nucleosynthesis. Thermonuclear history in the early universe. Singapore: Springer (2018; Zbl 1423.85002) Full Text: DOI
Arai, Toshiyasu Proof-theoretic strengths of weak theories for positive inductive definitions. (English) Zbl 1502.03021 J. Symb. Log. 83, No. 3, 1091-1111 (2018). MSC: 03F35 03F15 PDFBibTeX XMLCite \textit{T. Arai}, J. Symb. Log. 83, No. 3, 1091--1111 (2018; Zbl 1502.03021) Full Text: DOI arXiv
Arai, Toshiyasu Cut-elimination for \(\omega_{1}\). (English) Zbl 1522.03316 Ann. Pure Appl. Logic 169, No. 12, 1246-1269 (2018). MSC: 03F05 03F07 03F15 PDFBibTeX XMLCite \textit{T. Arai}, Ann. Pure Appl. Logic 169, No. 12, 1246--1269 (2018; Zbl 1522.03316) Full Text: DOI arXiv
Arai, Zin; Ishii, Yutaka; Takahasi, Hiroki Boundary of the horseshoe locus for the Hénon family. (English) Zbl 1408.37059 SIAM J. Appl. Dyn. Syst. 17, No. 3, 2234-2248 (2018). MSC: 37D35 37E30 37G25 37F99 PDFBibTeX XMLCite \textit{Z. Arai} et al., SIAM J. Appl. Dyn. Syst. 17, No. 3, 2234--2248 (2018; Zbl 1408.37059) Full Text: DOI arXiv
Arai, Toshiyasu Derivatives of normal functions and \(\omega \)-models. (English) Zbl 1496.03241 Arch. Math. Logic 57, No. 5-6, 649-664 (2018). MSC: 03F35 03F15 03B30 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 57, No. 5--6, 649--664 (2018; Zbl 1496.03241) Full Text: DOI arXiv
Arai, Tatsuya Devaney’s and Li-Yorke’s chaos in uniform spaces. (English) Zbl 1384.54020 J. Dyn. Control Syst. 24, No. 1, 93-100 (2018); corrigendum ibid. 25, No. 3, 517–518 (2019). Reviewer: Mihai Turinici (Iaşi) MSC: 54H20 37B05 PDFBibTeX XMLCite \textit{T. Arai}, J. Dyn. Control Syst. 24, No. 1, 93--100 (2018; Zbl 1384.54020) Full Text: DOI
Arai, Toshiyasu Grzegorczyk sequence. arXiv:1811.09958 Preprint, arXiv:1811.09958 [math.LO] (2018). MSC: 03F30 BibTeX Cite \textit{T. Arai}, ``Grzegorczyk sequence'', Preprint, arXiv:1811.09958 [math.LO] (2018) Full Text: arXiv OA License
Arai, Toshiyasu Hydra games for recursively Mahlo operations. arXiv:1808.04522 Preprint, arXiv:1808.04522 [math.LO] (2018). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Hydra games for recursively Mahlo operations'', Preprint, arXiv:1808.04522 [math.LO] (2018) Full Text: arXiv OA License
Arai, Takuji; Imai, Yuto On the difference between locally risk-minimizing and delta hedging strategies for exponential Lévy models. (English) Zbl 1386.91133 Japan J. Ind. Appl. Math. 34, No. 3, 845-858 (2017). MSC: 91G20 60G51 60H07 91G60 PDFBibTeX XMLCite \textit{T. Arai} and \textit{Y. Imai}, Japan J. Ind. Appl. Math. 34, No. 3, 845--858 (2017; Zbl 1386.91133) Full Text: DOI arXiv
Arai, Takuji; Imai, Yuto; Suzuki, Ryoichi Local risk-minimization for Barndorff-Nielsen and Shephard models. (English) Zbl 1378.91116 Finance Stoch. 21, No. 2, 551-592 (2017). Reviewer: Elisa Alòs (Barcelona) MSC: 91G20 60G51 60H07 91G60 PDFBibTeX XMLCite \textit{T. Arai} et al., Finance Stoch. 21, No. 2, 551--592 (2017; Zbl 1378.91116) Full Text: DOI arXiv
Arai, Takuji Good deal bounds with convex constraints. (English) Zbl 1360.91159 Int. J. Theor. Appl. Finance 20, No. 2, Article ID 1750011, 15 p. (2017). MSC: 91G70 91G99 91B25 PDFBibTeX XMLCite \textit{T. Arai}, Int. J. Theor. Appl. Finance 20, No. 2, Article ID 1750011, 15 p. (2017; Zbl 1360.91159) Full Text: DOI arXiv
Arai, Toshiyasu Cut-eliminability in second order logic calculi. arXiv:1701.00929 Preprint, arXiv:1701.00929 [math.LO] (2017). MSC: 03F05 BibTeX Cite \textit{T. Arai}, ``Cut-eliminability in second order logic calculi'', Preprint, arXiv:1701.00929 [math.LO] (2017) Full Text: arXiv OA License
Arai, Toshiyuki; Ho, Choon-Lin; Ide, Yusuke; Konno, Norio Periodicity for space-inhomogeneous quantum walks on the cycle. (English) Zbl 1397.81114 Yokohama Math. J. 62, 39-50 (2016). MSC: 81S25 81Q35 05C50 PDFBibTeX XMLCite \textit{T. Arai} et al., Yokohama Math. J. 62, 39--50 (2016; Zbl 1397.81114) Full Text: arXiv Link
Basikolo, Thomas; Arai, Hiroyuki APRD-MUSIC algorithm DOA estimation for reactance based uniform circular array. (English) Zbl 1392.94089 IEEE Trans. Antennas Propag. 64, No. 10, 4415-4422 (2016). MSC: 94A12 PDFBibTeX XMLCite \textit{T. Basikolo} and \textit{H. Arai}, IEEE Trans. Antennas Propag. 64, No. 10, 4415--4422 (2016; Zbl 1392.94089) Full Text: DOI
Arai, Takuji Local risk-minimization for Barndorff-Nielsen and Shephard models with volatility risk premium. (English) Zbl 1409.91225 Kusuoka, Shigeo (ed.) et al., Advances in mathematical economics. Vol. 20. Selected papers based on the presentations at the 6th conference on mathematical analysis in economic theory, Tokyo, Japan, January 26–29, 2015. Singapore: Springer. Adv. Math. Econ. 20, 3-22 (2016). MSC: 91G20 60H07 60G51 60J60 60G44 PDFBibTeX XMLCite \textit{T. Arai}, Adv. Math. Econ. 20, 3--22 (2016; Zbl 1409.91225) Full Text: DOI arXiv
Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H. Race against the teens – benchmarking mechanized math on pre-university problems. (English) Zbl 1475.68459 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 213-227 (2016). MSC: 68V35 68T50 68V20 68W30 97U40 PDFBibTeX XMLCite \textit{T. Matsuzaki} et al., Lect. Notes Comput. Sci. 9706, 213--227 (2016; Zbl 1475.68459) Full Text: DOI
Arai, Takuji; Imai, Yuto; Suzuki, Ryoichi Numerical analysis on local risk-minimization for exponential Lévy models. (English) Zbl 1337.91127 Int. J. Theor. Appl. Finance 19, No. 2, Article ID 1650008, 27 p. (2016). MSC: 91G60 65T50 60G51 60J75 91G20 PDFBibTeX XMLCite \textit{T. Arai} et al., Int. J. Theor. Appl. Finance 19, No. 2, Article ID 1650008, 27 p. (2016; Zbl 1337.91127) Full Text: DOI arXiv
Arai, Tatsuya The structure of dendrites constructed by pointwise \(P\)-expansive maps on the unit interval. (English) Zbl 1371.37074 Discrete Contin. Dyn. Syst. 36, No. 1, 43-61 (2016). MSC: 37E05 54C05 54F50 PDFBibTeX XMLCite \textit{T. Arai}, Discrete Contin. Dyn. Syst. 36, No. 1, 43--61 (2016; Zbl 1371.37074) Full Text: DOI
Imai, Yuto; Arai, Takuji Comparison of local risk minimization and delta hedging strategy for exponential Lévy models. (English) Zbl 1419.91618 JSIAM Lett. 7, 77-80 (2015). MSC: 91G20 60G51 44A10 PDFBibTeX XMLCite \textit{Y. Imai} and \textit{T. Arai}, JSIAM Lett. 7, 77--80 (2015; Zbl 1419.91618) Full Text: DOI
Arai, Toshiyasu Proof theory for theories of ordinals. III: \(\Pi_{N}\)-reflection. (English) Zbl 1378.03049 Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 357-424 (2015). MSC: 03F35 03F15 PDFBibTeX XMLCite \textit{T. Arai}, in: Gentzen's centenary. The quest for consistency. Cham: Springer. 357--424 (2015; Zbl 1378.03049) Full Text: DOI arXiv
Arai, Takashi Asymptotic expansion of pair production probability in a time-dependent electric field. (English) Zbl 1336.81096 Int. J. Mod. Phys. A 30, No. 35, Article ID 1550210, 14 p. (2015). MSC: 81V10 82B10 82B80 PDFBibTeX XMLCite \textit{T. Arai}, Int. J. Mod. Phys. A 30, No. 35, Article ID 1550210, 14 p. (2015; Zbl 1336.81096) Full Text: DOI arXiv
Arai, Tomihiro; Chakraborty, Kalyan; Kanemitsu, Shigeru On modular relations. (English) Zbl 1379.11090 Kaneko, Masanobu (ed.) et al., Number theory. Plowing and starring through high wave forms. Proceedings of the 7th China-Japan Seminar, Fukuoka, Japan, October 28 – November 1, 2013. Hackensack, NJ: World Scientific (ISBN 978-981-4644-92-1/hbk; 978-981-4644-94-5/ebook). Series on Number Theory and Its Applications 11, 1-64 (2015). MSC: 11R42 11M41 33C10 PDFBibTeX XMLCite \textit{T. Arai} et al., Ser. Number Theory Appl. 11, 1--64 (2015; Zbl 1379.11090) Full Text: DOI
Arai, Hiromi; Emura, Keita; Matsuda, Takahiro Anonymous data collection system with mediators. (English) Zbl 1401.94137 Ors, Berna (ed.) et al., Cryptography and information security in the Balkans. First international conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16–17, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-21355-2/pbk; 978-3-319-21356-9/ebook). Lecture Notes in Computer Science 9024, 141-160 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{H. Arai} et al., Lect. Notes Comput. Sci. 9024, 141--160 (2015; Zbl 1401.94137) Full Text: DOI
Arai, Toshiyasu Intuitionistic fixed point theories over set theories. (English) Zbl 1380.03073 Arch. Math. Logic 54, No. 5-6, 531-553 (2015). MSC: 03F55 03F05 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 54, No. 5--6, 531--553 (2015; Zbl 1380.03073) Full Text: DOI arXiv
Arai, Toshiyasu Predicatively computable functions on sets. (English) Zbl 1371.03094 Arch. Math. Logic 54, No. 3-4, 471-485 (2015). MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 54, No. 3--4, 471--485 (2015; Zbl 1371.03094) Full Text: DOI arXiv
Arai, Toshiyasu Hydras for \(\omega_{1}\). arXiv:1508.01548 Preprint, arXiv:1508.01548 [math.LO] (2015). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Hydras for $\omega_{1}$'', Preprint, arXiv:1508.01548 [math.LO] (2015) Full Text: arXiv OA License
Arai, Toshiyasu \(omega_{1}\) under \(Pi_{1}\)-Collection. arXiv:1508.01547 Preprint, arXiv:1508.01547 [math.LO] (2015). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``$omega_{1}$ under $Pi_{1}$-Collection'', Preprint, arXiv:1508.01547 [math.LO] (2015) Full Text: arXiv OA License
Arai, Toshiyasu Well-foundedness proof for first-order reflection. arXiv:1506.05280 Preprint, arXiv:1506.05280 [math.LO] (2015). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Well-foundedness proof for first-order reflection'', Preprint, arXiv:1506.05280 [math.LO] (2015) Full Text: arXiv OA License
Arai, Toshiyasu WITHDRAWN: Axiomatizing some small classes of set functions. arXiv:1503.07982 Preprint, arXiv:1503.07982 [math.LO] (2015); retraction notice ibid. MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``WITHDRAWN: Axiomatizing some small classes of set functions'', Preprint, arXiv:1503.07982 [math.LO] (2015); retraction notice ibid. Full Text: arXiv OA License
Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu Mathematics by machine. (English) Zbl 1325.68212 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 1-8 (2014). MSC: 68T15 03B35 03C10 68T50 PDFBibTeX XMLCite \textit{N. H. Arai} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 1--8 (2014; Zbl 1325.68212) Full Text: DOI
Arai, Takuji Convex risk measures for càdlàg processes on Orlicz hearts. (English) Zbl 1308.91074 SIAM J. Financ. Math. 5, 609-625 (2014). MSC: 91B30 91G99 46N10 60G07 60G40 PDFBibTeX XMLCite \textit{T. Arai}, SIAM J. Financ. Math. 5, 609--625 (2014; Zbl 1308.91074) Full Text: DOI Link
Arai, Toshiyasu Conservations of first-order reflections. (English) Zbl 1354.03089 J. Symb. Log. 79, No. 3, 814-825 (2014). MSC: 03F15 03F05 03E55 PDFBibTeX XMLCite \textit{T. Arai}, J. Symb. Log. 79, No. 3, 814--825 (2014; Zbl 1354.03089) Full Text: DOI arXiv
Arai, Takahiro; Inaba, Takashi; Kano, Yosuke Reeb orbits trapped by Denjoy minimal sets. (English) Zbl 1351.37088 Arch. Math. 103, No. 4, 381-388 (2014). MSC: 37C27 53D10 57R30 PDFBibTeX XMLCite \textit{T. Arai} et al., Arch. Math. 103, No. 4, 381--388 (2014; Zbl 1351.37088) Full Text: DOI arXiv
Arai, Toshiyasu Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory. (English) Zbl 1337.03085 J. Symb. Log. 79, No. 2, 325-354 (2014). MSC: 03F15 03E30 PDFBibTeX XMLCite \textit{T. Arai}, J. Symb. Log. 79, No. 2, 325--354 (2014; Zbl 1337.03085) Full Text: DOI arXiv
Arai, Takuji; Fukasawa, Masaaki Convex risk measures for good deal bounds. (English) Zbl 1314.91131 Math. Finance 24, No. 3, 464-484 (2014). MSC: 91G70 91G99 91B25 PDFBibTeX XMLCite \textit{T. Arai} and \textit{M. Fukasawa}, Math. Finance 24, No. 3, 464--484 (2014; Zbl 1314.91131) Full Text: DOI arXiv
Arai, Toshiyasu Lifting proof theory to the countable ordinals II: second-order indescribable cardinals. arXiv:1409.1336 Preprint, arXiv:1409.1336 [math.LO] (2014). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Lifting proof theory to the countable ordinals II: second-order indescribable cardinals'', Preprint, arXiv:1409.1336 [math.LO] (2014) Full Text: arXiv OA License
Arai, Toshiyasu Proof theory of weak compactness. (English) Zbl 1291.03110 J. Math. Log. 13, No. 1, Article ID 1350003, 26 p. (2013). MSC: 03F07 03F20 PDFBibTeX XMLCite \textit{T. Arai}, J. Math. Log. 13, No. 1, Article ID 1350003, 26 p. (2013; Zbl 1291.03110) Full Text: DOI arXiv
Arai, Toshiyasu Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette’s schema. arXiv:1312.1136 Preprint, arXiv:1312.1136 [math.LO] (2013). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema'', Preprint, arXiv:1312.1136 [math.LO] (2013) Full Text: arXiv OA License
Arai, Toshiyasu A polynomial time complete disjunction property in intuitionistic propositional logic. arXiv:1312.3059 Preprint, arXiv:1312.3059 [math.LO] (2013). MSC: 03F99 BibTeX Cite \textit{T. Arai}, ``A polynomial time complete disjunction property in intuitionistic propositional logic'', Preprint, arXiv:1312.3059 [math.LO] (2013) Full Text: arXiv OA License
Arai, Toshiyasu A sneak preview of proof theory of ordinals. (English) Zbl 1275.03153 Ann. Jap. Assoc. Philos. Sci. 20, 29-47 (2012). MSC: 03F15 PDFBibTeX XMLCite \textit{T. Arai}, Ann. Japan Assoc. Philos. Sci. 20, 29--47 (2012; Zbl 1275.03153) Full Text: DOI arXiv
Arai, Toshiyasu Provably \(\Delta ^0_2\) and weakly descending chains. (English) Zbl 1277.03041 Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 1-21 (2012). Reviewer: M. Yasuhara (Princeton) MSC: 03D55 03D30 03F30 PDFBibTeX XMLCite \textit{T. Arai}, in: Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22--27, 2009. Hackensack, NJ: World Scientific. 1--21 (2012; Zbl 1277.03041) Full Text: DOI arXiv
Arai, Takashi Nonperturbative infrared effects for light scalar fields in de Sitter space. (English) Zbl 1266.83092 Classical Quantum Gravity 29, No. 21, Article ID 215014, 10 p. (2012). MSC: 83C47 81T17 81T20 PDFBibTeX XMLCite \textit{T. Arai}, Classical Quantum Gravity 29, No. 21, Article ID 215014, 10 p. (2012; Zbl 1266.83092) Full Text: DOI arXiv
Arai, Zin; Gameiro, Marcio; Gedeon, Tomas; Kokubu, Hiroshi; Mischaikow, Konstantin; Oka, Hiroe Graph-based topological approximation of saddle-node bifurcation in maps. (English) Zbl 1254.37014 RIMS Kôkyûroku Bessatsu B31, 225-241 (2012). MSC: 37B25 37B35 37G35 37M20 PDFBibTeX XMLCite \textit{Z. Arai} et al., RIMS Kôkyûroku Bessatsu B31, 225--241 (2012; Zbl 1254.37014) Full Text: Link
Arai, Asao; Fuda, Toru Some mathematical aspects of quantum Zeno effect. (English) Zbl 1250.81017 Lett. Math. Phys. 100, No. 3, 245-260 (2012). MSC: 81P15 81Q10 81Q05 47B25 PDFBibTeX XMLCite \textit{A. Arai} and \textit{T. Fuda}, Lett. Math. Phys. 100, No. 3, 245--260 (2012; Zbl 1250.81017) Full Text: DOI Link
Arai, Toshiyasu (ed.); Feng, Qi (ed.); Kim, Byunghan (ed.); Wu, Guohua (ed.); Yang, Yue (ed.) Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. (English) Zbl 1253.03002 Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). x, 181 p. (2012). MSC: 03-06 00B25 00B30 03B45 03Cxx 03Dxx PDFBibTeX XMLCite \textit{T. Arai} (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22--27, 2009. Hackensack, NJ: World Scientific (2012; Zbl 1253.03002) Full Text: Link
Arai, Toshiyasu Quick cut-elimination for strictly positive cuts. (English) Zbl 1273.03158 Ann. Pure Appl. Logic 162, No. 10, 807-815 (2011). MSC: 03F05 03F30 03F50 03F55 PDFBibTeX XMLCite \textit{T. Arai}, Ann. Pure Appl. Logic 162, No. 10, 807--815 (2011; Zbl 1273.03158) Full Text: DOI arXiv
Tajiri, Masayoshi; Arai, Takahito On existence of a parameter-sensitive region: quasi-line soliton interactions of the Kadomtsev-Petviashvili I equation. (English) Zbl 1222.35178 J. Phys. A, Math. Theor. 44, No. 33, 15 p. (2011). MSC: 35Q53 35Q51 35C08 PDFBibTeX XMLCite \textit{M. Tajiri} and \textit{T. Arai}, J. Phys. A, Math. Theor. 44, No. 33, 15 p. (2011; Zbl 1222.35178) Full Text: DOI
Tajiri, Masayoshi; Arai, Takahito Quasi-line soliton interactions of the Davey-Stewartson I equation: on the existence of long-range interaction between two quasi-line solitons through a periodic soliton. (English) Zbl 1326.76019 J. Phys. A, Math. Theor. 44, No. 23, Article ID 235204, 18 p. (2011). MSC: 76B25 35Q51 PDFBibTeX XMLCite \textit{M. Tajiri} and \textit{T. Arai}, J. Phys. A, Math. Theor. 44, No. 23, Article ID 235204, 18 p. (2011; Zbl 1326.76019) Full Text: DOI
Arai, Takuji; Suzuki, Takamasa How much can investors discount? (English) Zbl 1216.91031 Kusuoka, Shigeo (ed.) et al., Advances in mathematical economics. The workshop on mathematical economics 2009, Tokyo, Japan, November 13–15, 2009. Revised selected papers. Tokyo: Springer (ISBN 978-4-431-53882-0/hbk; 978-4-431-53883-7/ebook). Advances in Mathematical Economics 14, 1-16 (2011). MSC: 91G20 46N10 91B30 91G40 PDFBibTeX XMLCite \textit{T. Arai} and \textit{T. Suzuki}, Adv. Math. Econ. 14, 1--16 (2011; Zbl 1216.91031) Full Text: DOI
Arai, Toshiyasu Exact bounds on epsilon processes. (English) Zbl 1225.03074 Arch. Math. Logic 50, No. 3-4, 445-458 (2011). Reviewer: Henry Towsner (Los Angeles) MSC: 03F05 03F35 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 50, No. 3--4, 445--458 (2011; Zbl 1225.03074) Full Text: DOI arXiv
Arai, Toshiyasu Nested PLS. (English) Zbl 1232.03052 Arch. Math. Logic 50, No. 3-4, 395-409 (2011). MSC: 03F30 03D15 03F20 68Q25 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 50, No. 3--4, 395--409 (2011; Zbl 1232.03052) Full Text: DOI arXiv
Arai, Takuji Good deal bounds induced by shortfall risk. (English) Zbl 1205.91148 SIAM J. Financ. Math. 2, 1-21 (2011). MSC: 91G10 46N10 60H05 91B30 PDFBibTeX XMLCite \textit{T. Arai}, SIAM J. Financ. Math. 2, 1--21 (2011; Zbl 1205.91148) Full Text: DOI arXiv
Arai, Takuji Convex risk measures on Orlicz spaces: inf-convolution and shortfall. (English) Zbl 1255.91173 Math. Financ. Econ. 3, No. 2, 73-88 (2010). MSC: 91B30 60H30 91G80 46N10 60H05 PDFBibTeX XMLCite \textit{T. Arai}, Math. Financ. Econ. 3, No. 2, 73--88 (2010; Zbl 1255.91173) Full Text: DOI
Arai, Toshiyasu Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators. (English) Zbl 1263.03054 Ann. Pure Appl. Logic 162, No. 2, 107-143 (2010). MSC: 03F15 03D70 PDFBibTeX XMLCite \textit{T. Arai}, Ann. Pure Appl. Logic 162, No. 2, 107--143 (2010; Zbl 1263.03054) Full Text: DOI arXiv
Arai, Toshiyasu Intuitionistic fixed point theories over Heyting arithmetic. (English) Zbl 1228.03042 Feferman, Solomon (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (ISBN 978-1-84890-012-7/pbk). Tributes 13, 1-14 (2010). Reviewer: Valery Plisko (Moskva) MSC: 03F55 03F05 PDFBibTeX XMLCite \textit{T. Arai}, Tributes 13, 1--14 (2010; Zbl 1228.03042) Full Text: arXiv
Kaku, Ko-Hei; Arai, Masahiro; Fukuoka, Takahiro; Matsuda, Tetsuya Evaluation of thermo-viscoelastic property of CFRP laminate based on a homogenization theory. (English) Zbl 1397.74165 Acta Mech. 214, No. 1-2, 111-121 (2010). MSC: 74Q15 74Q20 74E30 74S05 74F05 74D05 PDFBibTeX XMLCite \textit{K.-H. Kaku} et al., Acta Mech. 214, No. 1--2, 111--121 (2010; Zbl 1397.74165) Full Text: DOI
Hamaya, Yoshihiro; Arai, Takatugu Permanence of an SIR epidemic model with diffusion. (English) Zbl 1195.35168 Nonlinear Stud. 17, No. 1, 69-79 (2010). MSC: 35K51 92C60 35R09 35B50 PDFBibTeX XMLCite \textit{Y. Hamaya} and \textit{T. Arai}, Nonlinear Stud. 17, No. 1, 69--79 (2010; Zbl 1195.35168)
Sueki, Takeshi; Takaishi, Takehisa; Ikeda, Mitsuru; Arai, Norio Application of porous material to reduce aerodynamic sound from bluff bodies. (English) Zbl 1423.76014 Fluid Dyn. Res. 42, No. 1, Article ID 015004 (2010). MSC: 76-05 76G25 76Q05 76S05 76N25 PDFBibTeX XMLCite \textit{T. Sueki} et al., Fluid Dyn. Res. 42, No. 1, Article ID 015004 (2010; Zbl 1423.76014) Full Text: DOI
Arai, T. (ed.); Brendle, J. (ed.); Kikyo, H. (ed.); Chong, C. T. (ed.); Downey, R. (ed.); Feng, Q. (ed.); Ono, H. (ed.) Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. (English) Zbl 1185.03004 Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). ix, 393 p. (2010). MSC: 03-06 03Exx 00B25 54-06 54A35 PDFBibTeX XMLCite \textit{T. Arai} (ed.) et al., Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1--6, 2008. Hackensack, NJ: World Scientific (2010; Zbl 1185.03004)
Arai, Toshiyasu Iterating the recursively Mahlo operations. (English) Zbl 1419.03053 Glymour, Clark (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 13th international congress, Beijing, China, August 2007. London: College Publications. 21-35 (2009). MSC: 03F35 03F15 PDFBibTeX XMLCite \textit{T. Arai}, in: Logic, methodology and philosophy of science. Proceedings of the 13th international congress, Beijing, China, August 2007. London: College Publications. 21--35 (2009; Zbl 1419.03053) Full Text: arXiv
Arai, Toshiyasu; Eguchi, Naohi A new function algebra of EXPTIME functions by safe nested recursion. (English) Zbl 1351.03027 ACM Trans. Comput. Log. 10, No. 4, Article No. 24, 19 p. (2009). MSC: 03D15 03D20 68Q15 PDFBibTeX XMLCite \textit{T. Arai} and \textit{N. Eguchi}, ACM Trans. Comput. Log. 10, No. 4, Article No. 24, 19 p. (2009; Zbl 1351.03027) Full Text: DOI arXiv
Hao, Tang; Tamio, Arai Look-ahead control of conveyor-serviced production station by using potential-based online policy iteration. (English) Zbl 1178.93147 Int. J. Control 82, No. 10, 1917-1928 (2009). MSC: 93E20 68T05 62C12 90B30 PDFBibTeX XMLCite \textit{T. Hao} and \textit{A. Tamio}, Int. J. Control 82, No. 10, 1917--1928 (2009; Zbl 1178.93147) Full Text: DOI
Arai, Toshiyasu (ed.) 10th Asian Logic Conference, sponsored by the Association for Symbolic Logic. Kobe, Japan, September 1–6, 2008. (English) Zbl 1162.03301 Bull. Symb. Log. 15, No. 2, 246-265 (2009). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{T. Arai} (ed.), Bull. Symb. Log. 15, No. 2, 246--265 (2009; Zbl 1162.03301) Full Text: DOI