New Modal Operators for Constructive Mathematics

Explore new modal operators for constructive mathematics in this conference talk by Ingo Blechschmidt. Delve into topics such as preorders, constructive reformulation, wellfounded relations, and the maximum idea. Learn about forced notions, the Napa translation, and positive extensions. Discover how these concepts contribute to the development of new model operators in constructive mathematics. Engage with questions and possible answers presented throughout the talk. Access this 56-minute recording from the thematic meeting "Type Theory, Constructive Mathematics and Geometric Logics" held at the Centre International de Rencontres Mathématiques in Marseille, France. Utilize chapter markers and keywords to navigate specific sections of interest, and explore additional features like abstracts, bibliographies, and Mathematics Subject Classification available through CIRM's Audiovisual Mathematics Library.