Exploring Non-Deterministic Inductive Definitions in Reverse Mathematics 🧠
Join Hajime Ishihara as he delves into the reverse mathematics of non-deterministic inductive definitions, part of the Hausdorff Trimester Program on Types, Sets, and Constructions. Discover foundational insights and advanced concepts in this intriguing l
Hausdorff Center for Mathematics
121 views • Aug 6, 2018
About this video
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions.
Abstract:
We present some reverse mathematics within a constructive set theory in terms of non-deterministic inductive definition (NID) principles. This is a joint work with Ayana Hirata, Tatsuji Kawai and Takako Nemoto.
Abstract:
We present some reverse mathematics within a constructive set theory in terms of non-deterministic inductive definition (NID) principles. This is a joint work with Ayana Hirata, Tatsuji Kawai and Takako Nemoto.
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
121
Likes
2
Duration
31:32
Published
Aug 6, 2018
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.