https://tube.yangruizhi.cyou/about/instance/homehttps://tube.yangruizhi.cyou/videos/browse?scope=localhttps://tube.yangruizhi.cyou/homehttps://tube.yangruizhi.cyou/w/4j4R2FbPwq1TkRnhfyL3bThttps://tube.yangruizhi.cyou/lazy-static/thumbnails/8e2794d2-0d2e-49a3-af9b-a73f40c4b3c7.jpg0314-徐天一：类型论与自动定理证明 第1讲0314-徐天一：类型论与自动定理证明 第1讲https://tube.yangruizhi.cyou/static/streaming-playlists/hls/1ad12c71-7367-4c78-b469-26fbfd8f97df/6b1dbd94-bb1b-4c06-afe9-2d0f1cbda8a2-master.m3u8https://tube.yangruizhi.cyou/videos/embed/4j4R2FbPwq1TkRnhfyL3bT57200762025-06-12T01:55:08.477ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/weaRWYqt3zWFjGFbdftPqmhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/c7895888-2a1d-4e47-a28f-0dd93a89e7c3.jpg0315-徐天一：类型论与自动定理证明 第二讲0315-徐天一：类型论与自动定理证明 第二讲https://tube.yangruizhi.cyou/static/streaming-playlists/hls/f4c8e7ed-b7ee-4258-a833-54b6e0d97bb8/2471c9db-a05a-410f-b4d2-26d3188c5ebb-master.m3u8https://tube.yangruizhi.cyou/videos/embed/weaRWYqt3zWFjGFbdftPqm7548082025-06-12T04:04:55.115ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/vFZh8yfkt8NHNUbT2PwFSphttps://tube.yangruizhi.cyou/lazy-static/thumbnails/10d0f4fc-34eb-49c6-9b2d-b539ab4d2134.jpg0524-徐天一：类型论与自动定理证明 第三讲https://logic.fudan.edu.cn/event2025/leanhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/f06e53ba-1392-425b-a358-93c45ebcc3e7/f0774ed9-d1a6-4a75-8b68-f3603f0dba45-master.m3u8https://tube.yangruizhi.cyou/videos/embed/vFZh8yfkt8NHNUbT2PwFSp9049082025-08-23T04:38:39.160ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/6PYV7MD2rQh8rRZd6djzN6https://tube.yangruizhi.cyou/lazy-static/thumbnails/0b6fb768-5065-4466-b926-0d3e10e64129.jpg0525-徐天一：类型论与自动定理证明 第四讲https://logic.fudan.edu.cn/event2025/leanhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/2f30b9e1-fbb8-4b8a-bf89-48cd88f75445/64f50d25-3ffb-4ee6-95c9-625b4b030fa5-master.m3u8https://tube.yangruizhi.cyou/videos/embed/6PYV7MD2rQh8rRZd6djzN64840042025-08-23T03:39:08.336ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/iNwiiiqWsqyKRq9CfPwXvChttps://tube.yangruizhi.cyou/lazy-static/thumbnails/a7b0e201-7acb-4012-976a-14b5fdf573a4.jpg喻良：递归论基础及其应用 01 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/902a3e1a-ded7-4ed8-8ae1-5f316cc7d1d2/896114be-6def-4109-9d68-513be7387552-master.m3u8https://tube.yangruizhi.cyou/videos/embed/iNwiiiqWsqyKRq9CfPwXvC44960202025-08-23T06:17:48.048ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/hXsgSYTbExNgbYJ2eaqJK2https://tube.yangruizhi.cyou/lazy-static/thumbnails/84b122fa-26aa-451c-8bb7-f17c7b72d4b9.jpg喻良：递归论基础及其应用 02 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/89505154-bd31-4772-a19a-071cba360b57/151405f4-6627-4c82-9b05-d2472b244866-master.m3u8https://tube.yangruizhi.cyou/videos/embed/hXsgSYTbExNgbYJ2eaqJK25010012025-08-23T07:44:18.676ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/fHYptWEiGWcVpfAmf4o5afhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/3331af55-8d90-44a7-89ff-47e65e9b655a.jpg喻良：递归论基础及其应用 03 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/773c3250-5bd0-4a32-9338-6d1d76995e08/b540f098-b13c-484b-bbc7-2159d6f3ddf3-master.m3u8https://tube.yangruizhi.cyou/videos/embed/fHYptWEiGWcVpfAmf4o5af3929002025-08-23T08:25:00.344ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/x2r2FBsmvQgBHovNPqAyQBhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/f40a47cd-24d4-439d-8ba0-c14cd89d115a.jpg喻良：递归论基础及其应用 04 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/fb3e7787-5aaf-4466-9b87-49a8c16d6eb3/218c2baa-2397-4530-9db7-55532ecb2fae-master.m3u8https://tube.yangruizhi.cyou/videos/embed/x2r2FBsmvQgBHovNPqAyQB5546012025-08-23T09:38:34.025ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/hhnurjAinX62LeoqM1HzjWhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/0bc576ba-c1e4-4154-9efd-032d2f1748bb.jpg喻良：递归论基础及其应用 05 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/83db5cdc-7404-47ed-a2b8-692ff06ad176/3142c131-6920-4749-83ce-dfc0b135dfdb-master.m3u8https://tube.yangruizhi.cyou/videos/embed/hhnurjAinX62LeoqM1HzjW3751002025-08-23T11:11:12.461ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/1t9mteaWyFWDDUJSnbY5gXhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/ee08cc92-4c6f-4e6d-89c9-87a833bc1e30.jpg喻良：递归论基础及其应用 06 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/03ca3abd-ee55-4c31-9ba8-3d01c24a752d/17655da6-485b-40d5-8182-e4e79c62ae5d-master.m3u8https://tube.yangruizhi.cyou/videos/embed/1t9mteaWyFWDDUJSnbY5gX5756002025-08-23T12:32:06.791ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/t3Ac1gcGQrvmkvVcQRW1nahttps://tube.yangruizhi.cyou/lazy-static/thumbnails/da18f753-e45c-489b-98d0-110f0302bf0d.jpg喻良：递归论基础及其应用 07 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/db034d31-28c0-4472-b690-491e0acb9b8b/87fd7995-b011-4a40-bda0-c4a5861bac8c-master.m3u8https://tube.yangruizhi.cyou/videos/embed/t3Ac1gcGQrvmkvVcQRW1na4487002025-08-23T14:08:20.253ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/vCbpkf4axKbJA4o9EvDkKGhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/2efc3079-c812-4e48-9e93-92b81e9b6d81.jpg喻良：递归论基础及其应用 08 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/efe6351d-e5bd-404f-92a5-20e6ccaef3ea/381b0829-f079-42b8-a3ec-02e2f318b379-master.m3u8https://tube.yangruizhi.cyou/videos/embed/vCbpkf4axKbJA4o9EvDkKG6087002025-08-23T15:39:50.925ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/8T5NnT1cpzCYZiV854FRNChttps://tube.yangruizhi.cyou/lazy-static/thumbnails/e3d09c48-1b39-4015-8ce1-ec139a388873.jpg喻良：递归论基础及其应用 09 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/3fd1dc5a-5069-4600-83e7-11fabc196b7c/e8ddb051-b241-43d8-aa9d-4a72fc65ad91-master.m3u8https://tube.yangruizhi.cyou/videos/embed/8T5NnT1cpzCYZiV854FRNC3710002025-08-23T16:48:50.891ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/qyk3nRohZ2e3Y5UHfKBFQghttps://tube.yangruizhi.cyou/lazy-static/thumbnails/6cdd38a3-5bd1-4b75-870e-04a0e183a00f.jpg喻良：递归论基础及其应用 10 2025复旦大学数理逻辑暑期学校https://logic.fudan.edu.cn/event2025/summerhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/c6dedce6-fd6f-4396-913b-fcebec3a3593/f4f4a910-63dd-4c80-acb3-529c22495705-master.m3u8https://tube.yangruizhi.cyou/videos/embed/qyk3nRohZ2e3Y5UHfKBFQg5900022025-08-23T18:18:41.044ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/qyghJKY3Xtn4LDew5k76PWhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/31cf3d61-cb67-431b-9409-7e684fb4f261.jpgBen Castle: Strong Minimality and Geometric Stability Theory 1 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/c6dc8ce6-d6f1-4ff2-accb-a4455f2bfd30/a0f52ced-b22d-4c08-b6b9-2fc2d3145924-master.m3u8https://tube.yangruizhi.cyou/videos/embed/qyghJKY3Xtn4LDew5k76PW92570122025-08-25T12:16:20.020ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/bVed5HNw8j6Zxf5HkNTGuBhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/41b71209-4a5b-4dd4-98d3-2b1ca66a79e3.jpgBen Castle: Strong Minimality and Geometric Stability Theory 2 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/5869f241-a07a-48ef-85e3-7d0baca9a813/1141937f-5f44-48da-b88d-0cced7eb6b1c-master.m3u8https://tube.yangruizhi.cyou/videos/embed/bVed5HNw8j6Zxf5HkNTGuB9236022025-08-25T13:05:38.365ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/x8KoKsr1u63MX3nLjoYsbRhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/9b356045-218e-4a1f-8095-697a7b3672c6.jpgBen Castle: Strong Minimality and Geometric Stability Theory 3 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/fc203f0a-ec9c-4286-8735-509e816230fd/3560f57c-09cc-4d1d-aada-add94dfaa4bc-master.m3u8https://tube.yangruizhi.cyou/videos/embed/x8KoKsr1u63MX3nLjoYsbR9324032025-08-25T14:01:00.386ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/vbVbDA2KcyYwiZavVaufVHhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/eed6d10a-7ddb-49f3-ab3d-2567ef7abea9.jpgBen Castle: Strong Minimality and Geometric Stability Theory 4 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/ec5f3c00-f6fd-4595-84bb-40f40d33aef3/8a62dfdb-9141-415f-b043-008b08c698c1-master.m3u8https://tube.yangruizhi.cyou/videos/embed/vbVbDA2KcyYwiZavVaufVH9371032025-08-25T15:57:15.049ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/dhrVyHtnhVQDKc2hTuegRghttps://tube.yangruizhi.cyou/lazy-static/thumbnails/374986c4-930b-47ca-bb21-b55ea8e7ec9c.jpgBen Castle: Strong Minimality and Geometric Stability Theory 5 - 2025 Fudan Logic Summer Schoolhttps://logic.fudan.edu.cn/event2025/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/63798a48-f206-477d-a614-131fd368dc6d/8e823a19-2095-43bc-8ce4-49c857a5d111-master.m3u8https://tube.yangruizhi.cyou/videos/embed/dhrVyHtnhVQDKc2hTuegRg9417042025-08-25T14:51:59.036ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/9eFYLScvcHE7FaJwrwsNUThttps://tube.yangruizhi.cyou/lazy-static/thumbnails/0a0f42fc-a7d1-47b3-b48d-8703d0348515.jpgJoel D. Hamkins: Philosophy of Mathematics 01https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/42b26a87-c56b-43c7-a0a4-918237bf0083/4196e723-9629-41c8-8b2a-b2944199d905-master.m3u8https://tube.yangruizhi.cyou/videos/embed/9eFYLScvcHE7FaJwrwsNUT77730252025-08-28T12:08:27.625ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/apU11Jiat9C8QT4zk49q8yhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/8cceb0e6-c88b-4da6-b847-da8129502aec.jpgJoel D. Hamkins: Philosophy of Mathematics 02https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/4c3866a2-d4e4-44a9-bd9d-0c3c590a2d26/56cb6248-2b9e-4bf9-8cf8-0274a9bb5a90-master.m3u8https://tube.yangruizhi.cyou/videos/embed/apU11Jiat9C8QT4zk49q8y8041032025-08-28T13:55:59.380ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/kHEaPfrPo8T7y8E3avNcQVhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/20eb34fc-5174-4d23-901b-a8782962724c.jpgJoel D. Hamkins: Philosophy of Mathematics 03https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/9faea6d7-858b-4713-9b5f-32cdcb458ec1/7950abdb-82b5-4a71-a8f2-639adb97c18d-master.m3u8https://tube.yangruizhi.cyou/videos/embed/kHEaPfrPo8T7y8E3avNcQV7835022025-08-28T16:37:26.732ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/2w823afmGunUnM7tstEy3khttps://tube.yangruizhi.cyou/lazy-static/thumbnails/9e1fb38c-8dcb-4973-ae7c-56d3e580f226.jpgJoel D. Hamkins: Philosophy of Mathematics 04https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/0c4dc6d4-c73a-40ae-bcd3-bf7e795628a7/afcdbc2b-9f9e-4758-9888-aeb7a94988f4-master.m3u8https://tube.yangruizhi.cyou/videos/embed/2w823afmGunUnM7tstEy3k7935022025-08-28T19:04:05.121ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/3Q9au2KV1mfMqzNaQnM8Jyhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/6b6ac85e-76c3-4b54-a5de-e58825ea1e53.jpgJoel D. Hamkins: Philosophy of Mathematics 05https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/16eb025c-2625-4421-a930-784a248bcf38/e7d702ce-e0d4-4de6-beff-f17272839bde-master.m3u8https://tube.yangruizhi.cyou/videos/embed/3Q9au2KV1mfMqzNaQnM8Jy8232012025-08-28T21:33:32.389ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/xbzR4P3R7ozouQgCiwxB98https://tube.yangruizhi.cyou/lazy-static/thumbnails/d5faa4a1-c98f-471d-a575-548b521026fc.jpgJoel D. Hamkins: Philosophy of Mathematics 06https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/fc85982f-71c5-4cd3-8f78-0da16369769b/564350e3-c30e-47a6-b44e-80b02fb56961-master.m3u8https://tube.yangruizhi.cyou/videos/embed/xbzR4P3R7ozouQgCiwxB987753052025-08-29T00:03:15.267ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/otZr9vqJnfycZbZcc49nahhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/7ad7d078-013d-4161-b39f-5b70fbbb0641.jpgJoel D. Hamkins: Philosophy of Mathematics 07https://jdh.hamkins.org/lecture-series-on-the-philosophy-of-mathematics/ https://logic.fudan.edu.cn/event2025/jdhhttps://tube.yangruizhi.cyou/static/streaming-playlists/hls/b61186e9-867a-4495-907e-930cf9ead79e/baa3b201-e8ba-45d8-aeb0-a86998ec5d76-master.m3u8https://tube.yangruizhi.cyou/videos/embed/otZr9vqJnfycZbZcc49nah8267032025-08-29T02:31:37.217ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/6tAEJRhsyZyVZ996sowQLnhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/8203d296-4468-46f4-9dbb-15e7547bff37.jpgFudan Logic Student Seminar: The Coding Conception of Set 01, 陈俊宏 CHEN, JunhongSpeaker: 陈俊宏 CHEN, Junhong Time: 13:30 - 15:00, March 20, 2026. Location: HGW2403. Title: The Coding Conception of Set Abstract: This report focuses on a new Conception of Set developed in current research. This Conception takes ordinals as prior to sets and maintains that set theory ought to be regarded as a consequence of ordinal theory. Specifically, we argue that ZFGC is in fact a true first-order ordinal theory, while the true second-order ordinal theory admits three possible directions of divergence. Each of these directions offers a distinct prediction concerning the shape of the true set-theoretic universe: the ZFGC2 single universe, the countabilist single universe, and a new maximal single universe constructed from a multiverse perspective, which we refer to as the coding multiverse. By conducting technical derivations on the potential of the strengthened theories associated with these three possible directions, combined with philosophical arguments, we demonstrate that the third type of universe is sufficiently justified to be accepted, thereby proposing a new set-theoretic worldview. Finally, we briefly outline prospects for the possible Gödel Program within this worldview.https://tube.yangruizhi.cyou/static/streaming-playlists/hls/2c5823d3-ad22-40bc-b078-0484eada6c5d/8153f595-df9e-4a23-a434-47d795e0f5e4-master.m3u8https://tube.yangruizhi.cyou/videos/embed/6tAEJRhsyZyVZ996sowQLn32560272026-03-21T15:30:12.929ZLogicFudan Logic Student SeminarSet theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/7GHWKiZ7kahpJjo4DYRCDchttps://tube.yangruizhi.cyou/lazy-static/thumbnails/e4063caf-8264-43d0-bd87-661a2dc495ff.jpgFudan Logic Student Seminar: The Coding Conception of Set 02, 陈俊宏 CHEN, JunhongSpeaker: 陈俊宏 CHEN, Junhong Time: 13:30 - 15:00, March 20, 2026. Location: HGW2403. Title: The Coding Conception of Set Abstract: This report focuses on a new Conception of Set developed in current research. This Conception takes ordinals as prior to sets and maintains that set theory ought to be regarded as a consequence of ordinal theory. Specifically, we argue that ZFGC is in fact a true first-order ordinal theory, while the true second-order ordinal theory admits three possible directions of divergence. Each of these directions offers a distinct prediction concerning the shape of the true set-theoretic universe: the ZFGC2 single universe, the countabilist single universe, and a new maximal single universe constructed from a multiverse perspective, which we refer to as the coding multiverse. By conducting technical derivations on the potential of the strengthened theories associated with these three possible directions, combined with philosophical arguments, we demonstrate that the third type of universe is sufficiently justified to be accepted, thereby proposing a new set-theoretic worldview. Finally, we briefly outline prospects for the possible Gödel Program within this worldview.https://tube.yangruizhi.cyou/static/streaming-playlists/hls/36466e7e-2502-47ae-9b4d-5c6320d47a85/36fd75fb-36f3-45f8-b2af-55c08959b550-master.m3u8https://tube.yangruizhi.cyou/videos/embed/7GHWKiZ7kahpJjo4DYRCDc2437012026-03-21T15:21:57.571ZLogicFudan Logic Student Seminarset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/47erQfSFSacLdLGQiyVVFhhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/8a1e4747-d2ce-4c39-94f9-42bd2cdc11fb.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 01https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/192a2a23-d865-48b7-89ae-b9d24f1a6942/eab1d60a-5aa8-405e-b552-71c4ec6e8443-master.m3u8https://tube.yangruizhi.cyou/videos/embed/47erQfSFSacLdLGQiyVVFh44220102026-08-17T10:46:58.207Zmathematical logicmodel theorysummer schoolJan DobrowolskiYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/wS5a4KeqHgPpU4yyVxogBihttps://tube.yangruizhi.cyou/lazy-static/thumbnails/0613da32-e276-468a-835b-5bb059dff60d.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 02https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/f9efe8e2-3767-46a1-823b-adcd0a60429b/c752116d-ba4c-4cfe-b05a-2c6b08d4ce57-master.m3u8https://tube.yangruizhi.cyou/videos/embed/wS5a4KeqHgPpU4yyVxogBi4697022026-08-18T13:54:19.979ZJan Dobrowolski mathematical logicmodel theorysummer schoolYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/qv5A3Eb81TavGMXaDLqkCihttps://tube.yangruizhi.cyou/lazy-static/thumbnails/c01b1e26-c286-4f05-9f50-cdd7fda98ad8.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 03https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/c66ab958-87f2-485e-9218-6ed3b1af3745/b218dd49-d68a-4e81-a957-228836fd00b1-master.m3u8https://tube.yangruizhi.cyou/videos/embed/qv5A3Eb81TavGMXaDLqkCi4667002026-08-19T07:45:46.715Zmathematical logicJan Dobrowolskimodel theorysummer schoolYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/fBZKE9VXvn8uDQtPbRicFwhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/0470faa7-3f5c-49c0-a7d9-8f4c0b8b58d8.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 04https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/76669087-9562-484f-8166-e1f6dbaef9b8/9bf24f16-8912-4fa2-b3fa-3233ee0bc293-master.m3u8https://tube.yangruizhi.cyou/videos/embed/fBZKE9VXvn8uDQtPbRicFw3902002026-08-19T08:45:25.854ZYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/16mVJwaDoV5sWjBGwp2Gnkhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/f09a3ebe-e7d6-4ef9-a371-4c28b5be69e3.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 05https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/00bf9d7f-3818-4658-965b-f14b2fac514d/c0641874-f238-4eb2-9767-3e6087d656e1-master.m3u8https://tube.yangruizhi.cyou/videos/embed/16mVJwaDoV5sWjBGwp2Gnk4401012026-08-19T09:56:13.793Zsummer schoolJan Dobrowolskimathematical logicmodel theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/9meybGiXrPqsT7i4GhCw5zhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/8b0c1051-bc6b-43cb-9b45-59919d60a931.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 06https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/439c5693-5a5b-4b8b-af7b-4dbc5352fc21/afa34622-e3df-419f-8157-44f5c8a85269-master.m3u8https://tube.yangruizhi.cyou/videos/embed/9meybGiXrPqsT7i4GhCw5z4616002026-08-19T10:37:01.774ZJan Dobrowolskisummer schoolmathematical logicmodel theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/qpavBLXQ8B9vfrk4hWmPPchttps://tube.yangruizhi.cyou/lazy-static/thumbnails/e6e3135c-9ad4-42f2-b8d0-ee3d42038e64.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 07https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/c5974bb2-1e92-4c75-b23a-e9aa4bb23e0d/c685b0f0-54d6-4f08-87b2-5c0d0b90fa01-master.m3u8https://tube.yangruizhi.cyou/videos/embed/qpavBLXQ8B9vfrk4hWmPPc4507002026-08-20T15:36:35.803Zsummer schoolJan Dobrowolskimathematical logicmodel theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/gXVCh7osVDfcM6kfe5Nuzrhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/c74a8356-c99f-4520-94f6-b48f73c67383.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 08https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/814808fd-f7e5-48a6-9b32-238967d75a13/7d333788-4266-4787-a88a-485065015a90-master.m3u8https://tube.yangruizhi.cyou/videos/embed/gXVCh7osVDfcM6kfe5Nuzr4617002026-08-20T16:51:05.804ZJan Dobrowolskisummer schoolmodel theorymathematical logicYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/2PnHGCBecuHguUm93a3bgchttps://tube.yangruizhi.cyou/lazy-static/thumbnails/55d1c9f6-4f4d-49da-973c-1db3058078a3.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 09https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/0eb67b0b-782c-42ec-aa65-c6d64ab3eff9/6d0a4483-7312-415d-b7a3-1ffd8ed4891b-master.m3u8https://tube.yangruizhi.cyou/videos/embed/2PnHGCBecuHguUm93a3bgc4461002026-08-21T08:02:41.239ZJan Dobrowolskisummer schoolmathematical logicmodel theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/2RL7PkHXiTx82vs7E5ufa2https://tube.yangruizhi.cyou/lazy-static/thumbnails/c7d622fa-091f-4da1-9af0-1bd0cc9d336f.jpgJan Dobrowolski: Some applications of model theory to algebraic combinatorics 10https://logic.fudan.edu.cn/event2026/summer#Lecture1https://tube.yangruizhi.cyou/static/streaming-playlists/hls/0f0bc593-41bd-42e8-8af8-6c5d712611e3/75f28420-0354-4cb4-be9f-10746bab5b44-master.m3u8https://tube.yangruizhi.cyou/videos/embed/2RL7PkHXiTx82vs7E5ufa24892002026-08-21T09:22:22.581ZJan Dobrowolskisummer schoolmathematical logicmodel theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/bBUSAjgGzdtzQTVJDqueYQhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/81db0bc8-2e4b-4a13-a41d-432692c7e5fb.jpgJoan Bagaria: The world of large cardinals 01https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/55ff0093-0c10-4fb6-b208-432e42cecfb4/2590b58c-975d-4852-a6f2-e23ba4154110-master.m3u8https://tube.yangruizhi.cyou/videos/embed/bBUSAjgGzdtzQTVJDqueYQ45460162026-08-24T13:56:51.915ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/rS9KNdNwSqxqksBmJs9FE4https://tube.yangruizhi.cyou/lazy-static/thumbnails/5a635157-7f8b-4f2a-b4b0-ed97a65d7d8a.jpgJoan Bagaria: The world of large cardinals 02https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/d1750cef-c4e9-46ba-9ae4-4782c6a466bb/18286a6d-2f1e-4025-88c6-ddd54e84c2e5-master.m3u8https://tube.yangruizhi.cyou/videos/embed/rS9KNdNwSqxqksBmJs9FE44685032026-08-24T15:13:55.603ZJoan Bagariamathematical logicset theorysummer schoolYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/j813xFUP69vQmQ9MhfSaZwhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/257d73fd-449f-4e56-aa9f-04e9370d103a.jpgJoan Bagaria: The world of large cardinals 03https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/92bebab5-16cf-4f95-ac77-bfb4839f9d3c/f4a95bc0-44fa-4dbb-a9cd-158cd73e35d7-master.m3u8https://tube.yangruizhi.cyou/videos/embed/j813xFUP69vQmQ9MhfSaZw4339002026-08-25T12:26:54.732ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/4UgT13uFvMGuKwoB7oUwK5https://tube.yangruizhi.cyou/lazy-static/thumbnails/4edaa012-e27d-4b08-8d26-5c041400fc01.jpgJoan Bagaria: The world of large cardinals 04https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/1f97e0c4-a4b1-4e64-9148-54c954cca2fa/aac615ac-7c18-4701-ba81-2e0ab46c36da-master.m3u8https://tube.yangruizhi.cyou/videos/embed/4UgT13uFvMGuKwoB7oUwK54945002026-08-25T13:46:40.343ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/3hxhEzjp5hz7Xk3QhdbvY9https://tube.yangruizhi.cyou/lazy-static/thumbnails/5391a55e-1b36-4d94-baae-10c47b04cef1.jpgJoan Bagaria: The world of large cardinals 05https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/1281758a-4c13-4d12-be87-9c1c2bfab01c/3558b9da-639c-41fb-873d-50f39d8394c0-master.m3u8https://tube.yangruizhi.cyou/videos/embed/3hxhEzjp5hz7Xk3QhdbvY94525032026-08-27T02:31:36.470ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/st4GoFPxWKXRVQjXuQ8sHrhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/0868c959-3df1-4cb8-bd1c-41f1ba6d0348.jpgJoan Bagaria: The world of large cardinals 06https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/d654f706-15aa-477c-af6e-4fe08133d963/73ecc5a4-1a3a-4233-899d-0dc45d71914e-master.m3u8https://tube.yangruizhi.cyou/videos/embed/st4GoFPxWKXRVQjXuQ8sHr4790022026-08-27T03:50:36.444ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/iKCkGhvCqq1NUjZnrva4cbhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/bdc11234-7af8-4f85-9e41-ac42587ba7ef.jpgJoan Bagaria: The world of large cardinals 07https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/8fc2bc00-5827-4c53-a311-6bd92e7b788c/d95428ba-c12d-4104-a19c-82e740fb6671-master.m3u8https://tube.yangruizhi.cyou/videos/embed/iKCkGhvCqq1NUjZnrva4cb4475022026-08-27T15:19:42.676ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/wD46arbkY4tuF7g7ovJzQhhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/452ce0c5-7338-4d9d-b8d0-45cedd7ded00.jpgJoan Bagaria: The world of large cardinals 08https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/f81e953c-e6e4-4b24-8bab-d89c3d4454b4/d381b143-cfcb-4d99-a504-7e02361471fd-master.m3u8https://tube.yangruizhi.cyou/videos/embed/wD46arbkY4tuF7g7ovJzQh5081012026-08-27T16:42:39.791ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/1fFah5dmuRFEmoexySKw8Yhttps://tube.yangruizhi.cyou/lazy-static/thumbnails/51d7e9dc-dd34-47a3-90bb-9c6ee5ca3148.jpgJoan Bagaria: The world of large cardinals 09https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/020c8bc3-d343-4b9c-a8b2-b220395cba1e/e5e6a5c2-d095-4c06-a99b-57076060b2c2-master.m3u8https://tube.yangruizhi.cyou/videos/embed/1fFah5dmuRFEmoexySKw8Y4550042026-08-28T14:25:06.596ZJoan Bagariasummer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/w/jjAnry84NoVRzgBkU1S9h5https://tube.yangruizhi.cyou/lazy-static/thumbnails/1fcb04b5-e927-4694-b4a1-cb9ce5e51675.jpgJoan Bagaria: The world of large cardinals 10https://logic.fudan.edu.cn/event2026/summer#Lecture2https://tube.yangruizhi.cyou/static/streaming-playlists/hls/945d1096-a3b4-438b-bdbd-10fdc4f58854/9c06d294-e90a-401f-ac14-df9e06e4286a-master.m3u8https://tube.yangruizhi.cyou/videos/embed/jjAnry84NoVRzgBkU1S9h54295022026-08-28T15:34:50.132ZJoan Bagaria summer schoolmathematical logicset theoryYESLogic FudanNOhttps://tube.yangruizhi.cyou/c/logic_fudan/videoshttps://tube.yangruizhi.cyou/a/logicfudan/video-channels