المؤلفون: Aguilera, Juan P., Suzuki, Yudai, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2411.17415

المؤلفون: Houérou, Quentin Le, Patey, Ludovic Levy, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic, 03F30, 03B30, 05D10

URL الوصول: http://arxiv.org/abs/2404.18974

المؤلفون: Houérou, Quentin Le, Patey, Ludovic Levy, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2402.11616

المؤلفون: Suzuki, Yudai, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2402.07136

المؤلفون: Suzuki, Yudai, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2305.07321

المؤلفون: Fernández-Duque, David, Shafer, Paul, Towsner, Henry, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2302.08874

المؤلفون: Dzhafarov, Damir D., Solomon, Reed, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2301.12733

المؤلفون: Chen, Yijia, Müller, Moritz, Yokoyama, Keita

مصطلحات موضوعية: Computer Science - Computational Complexity, Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2211.06121

المؤلفون: Pacheco, Leonardo, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic, 03B30, 03F35, 03F25, 03H15

URL الوصول: http://arxiv.org/abs/2209.04082

المؤلفون: FUJIWARA, MAKOTO, ISHIHARA, HAJIME, NEMOTO, TAKAKO, SUZUKI, NOBU-YUKI, YOKOYAMA, KEITA

المصدر: The Bulletin of Symbolic Logic, 2023 Sep 01. 29(3), 311-353.

URL الوصول: https://www.jstor.org/stable/27253532

المؤلفون: Fiori-Carones, Marta, Kołodziejczyk, Leszek Aleksander, Wong, Tin Lok, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic, 03H15, 03C10, 03B30, 03C62, 03F30, 03F35

URL الوصول: http://arxiv.org/abs/2112.10876

المؤلفون: Simpson, Stephen G., Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2101.00636

المؤلفون: Wang, Yuan, Wang, Chenwei, Ling, Yinan, Yokoyama, Keita, Wu, Hsin-Tai, Fang, Yi

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Computers and Society

URL الوصول: http://arxiv.org/abs/2011.03158

المؤلفون: Kołodziejczyk, Leszek Aleksander, Kowalik, Katarzyna W., Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic, 03B30, 03F30, 03F35, 03H15

URL الوصول: http://arxiv.org/abs/2011.02550

المؤلفون: Kołodziejczyk, Leszek Aleksander, Wong, Tin Lok, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic, 03B30, 03F35, 03F20 (Primary), 03F25, 03F30, 03H15, 05D10 (Secondary)

URL الوصول: http://arxiv.org/abs/2005.06854

المؤلفون: Le Houérou, Quentin, Levy Patey, Ludovic, Yokoyama, Keita

المساهمون: Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), School of Information Science Ishikawa, Japan Advanced Institute of Science and Technology (JAIST)

المصدر: ISSN: 0002-9947.

مصطلحات موضوعية: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

الاتاحة: https://hal.science/hal-04464369
https://hal.science/hal-04464369v1/document
https://hal.science/hal-04464369v1/file/conservation-rt22-wf.pdf

المؤلفون: Fernández-Duque, David, Shafer, Paul, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/1902.03915

المؤلفون: Davis, Caleb, Hirschfeldt, Denis R., Hirst, Jeffry L., Pardo, Jake, Pauly, Arno, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic, 03B30, 03F35, 03D30

URL الوصول: http://arxiv.org/abs/1812.09943

المؤلفون: Towsner, Henry, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Logic

URL الوصول: http://arxiv.org/abs/1807.04452

المؤلفون: Kołodziejczyk, Leszek Aleksander, Yokoyama, Keita

مصطلحات موضوعية: Mathematics - Combinatorics, Mathematics - Logic, 05D10, 03F30, 03F35, 03B30

URL الوصول: http://arxiv.org/abs/1807.00616