Skip to content

Kenshi Miyabe

宮部賢志（ミヤベケンシ）

  • Contact
  • CV
  • Publications
  • Talks
  • Language: English
    • English English
    • 日本語 日本語
Posted on December 12, 2023 by miyabe

Strong Solovay reducibility

News
12 Dec, 2023: The slide was uploaded

Title
Strong Solovay reducibility

Type
Talk on Proof theory workshop@RIMS

Download
rims

CategoriesTalks

Post navigation

Previous PostPrevious Computable prediction
Next PostNext Strong Solovay reducibility

ここは研究者としての宮部賢志のウェブサイトです．教育に関する情報は宮部研究室ウェブサイトを御覧ください．

The website of Miyabe Lab contains information about teaching in Japanese.

Language:

  • English
  • 日本語

Contents

  • Contact
  • CV
  • Research Interest
  • Publications
  • Talks
  • Picture&Video
  • Links

Categories

  • Diary (10)
  • Publication (43)
  • Talks (132)

Recent Posts

  • Quantifier Variations in Solovay Reducibility
  • Real closed fields via strong Solovay reducibility
  • Quantifier Variations in Solovay Reducibility
  • How to study mathematics in the era of generative AI
  • Quantifier variations in Solovay reducibility

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Monthly Archives

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress