宮部賢志（ミヤベケンシ）
News
23 May 2025, Accepted
26 Apr 2025, New preprint
26 Dec 2024, New Page
Title
Real closed fields via strong Solovay reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
Type
Research paper
Journal
Accepted by Computability on 23 May, 2025
Download
preprint
News
2 May, 2025: New page
Title
Quantifier Variations in Solovay Reducibility
Type
American Mathematical Society 2025 Spring Western Sectional Meeting
San Luis Obispo, CA – California Polytechnic, San Luis Obispo, CA
May 3-4, 2025 (Saturday – Sunday)
Special Session on Logic and Analysis, III
News
12 Apr 2025, New Page
Title
Quantifier Variations in Solovay Reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki
Type
Research paper
Journal
Submitted to a journal
Download
Solovay_variant-20250412-preprint
News
25 Mar, 2025: The slide file was uploaded
Title
How to study mathematics in the era of generative AI
Type
Meiji University Affiliated Junior High School Collaborative Event
25 Mar, 2025
In Japanese
Download
slide
News
17 Mar, 2025: The slide file was uploaded
Title
Quantifier variations in Solovay reducibility
Type
Talk at MSJ Spring Meeting 2025 at Waseda University
with Kumabe Masahiro (Open Univ.) and Toshio Suzuki (TMU)
18 Mar, 2025
In Japanese
Download
mathsoc
Solovay-variation