corpus.blog
41554 blogs · [ { "id": "01a08793-ad01-724e-88f3-ce3eb1bfb668", "title": "I asked ChatGPT to look at a proof, here's what happened...", "url": "https://karagila.org/2026/chatgpt/", "published_at": "2026-01-12T05:41:50+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb1d1ef89", "title": "How to give a talk", "url": "https://karagila.org/2025/talks/", "published_at": "2025-09-04T00:08:29+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb268ce6d", "title": "I trained neural nets on large cardinal axioms", "url": "https://karagila.org/2025/lc-notes/", "published_at": "2025-05-14T22:48:12+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb2ba41a5", "title": "The Lighthouse Problem", "url": "https://karagila.org/2024/lighthouse/", "published_at": "2024-10-03T18:08:25+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb32ef9e6", "title": "Conferences: unsolicited advice", "url": "https://karagila.org/2024/conferences/", "published_at": "2024-07-12T16:02:32+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb42d003f", "title": "120 Years of Choice: Final call for registration!", "url": "https://karagila.org/2024/120-years-reg-final/", "published_at": "2024-06-11T20:08:11+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb4ad5c7c", "title": "120 Years of Choice: Registration is open", "url": "https://karagila.org/2024/120-years-reg/", "published_at": "2024-02-15T18:22:31+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb4de84a3", "title": "120 Years of Choice: First Announcement", "url": "https://karagila.org/2023/120-years-annoucement/", "published_at": "2023-12-19T00:21:21+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb5c3f208", "title": "What is best in science?", "url": "https://karagila.org/2023/what-is-best/", "published_at": "2023-08-26T22:51:42+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb657e348", "title": "I trained neural nets to do forcing and symmetric extensions", "url": "https://karagila.org/2023/forcing-notes/", "published_at": "2023-06-01T13:24:34+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb6e05c48", "title": "How to prove theorems?", "url": "https://karagila.org/2023/theorems/", "published_at": "2023-04-26T20:46:13+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb6fc7cd2", "title": "Safe spaces", "url": "https://karagila.org/2023/safe-spaces/", "published_at": "2023-01-08T11:58:10+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb7b3ddfd", "title": "Everything Wrong With The Princess Bride", "url": "https://karagila.org/2022/the-princess-bride/", "published_at": "2022-09-04T23:38:21+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb8591f34", "title": "Multiple Choice", "url": "https://karagila.org/2022/quiz-question/", "published_at": "2022-08-13T08:16:26+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb92d5507", "title": "Question on Dually Dedekind-infinite sets", "url": "https://karagila.org/2022/dual-df-maps/", "published_at": "2022-07-27T08:42:51+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb9786054", "title": "Changes", "url": "https://karagila.org/2022/changes/", "published_at": "2022-03-31T21:02:24+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb9a9982f", "title": "Engaged", "url": "https://karagila.org/2021/engaged/", "published_at": "2021-07-09T16:02:24+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb9baa13a", "title": "Flow and the Partition Principle II (2 updates)", "url": "https://karagila.org/2021/flow-redux/", "published_at": "2021-03-31T07:01:41+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb9ca3f6c", "title": "Factorial algorithms and recursive thoughts", "url": "https://karagila.org/2020/recursion/", "published_at": "2020-12-29T21:03:11+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eb9e6ecf6", "title": "Hindsight: 2020", "url": "https://karagila.org/2020/hindsight-2020/", "published_at": "2020-12-22T21:33:40+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eba943856", "title": "Prikry Forcing Online", "url": "https://karagila.org/2020/pfo/", "published_at": "2020-11-19T14:07:52+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebac49fc8", "title": "Flow and the Partition Principle: Conclusions", "url": "https://karagila.org/2020/flowing-to-conclusions/", "published_at": "2020-10-26T20:10:49+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebb1574d8", "title": "Flow and the Partition Principle (6 updates)", "url": "https://karagila.org/2020/going-with-the-flow/", "published_at": "2020-10-09T13:30:02+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebb7d3d4e", "title": "Zornian Functional Analysis coming to arXiv!", "url": "https://karagila.org/2020/zornian-functional-analysis-coming-to-arxiv/", "published_at": "2020-10-07T14:23:46+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebc1bea43", "title": "YouTubers Wanted", "url": "https://karagila.org/2020/youtubers-wanted/", "published_at": "2020-09-04T11:23:21+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebcc3f59f", "title": "Guest comic: Foundations of Forcing", "url": "https://karagila.org/2020/ways-to-do-forcing/", "published_at": "2020-07-28T12:29:32+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebccb683c", "title": "Want jobs?", "url": "https://karagila.org/2020/want-jobs/", "published_at": "2020-06-17T17:02:21+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebd6e8824", "title": "Speak up", "url": "https://karagila.org/2020/speak-up/", "published_at": "2020-06-03T12:54:39+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebdbeacff", "title": "What can you learn about writing papers from cooking pasta?", "url": "https://karagila.org/2020/pasta/", "published_at": "2020-05-25T20:40:52+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebe86892a", "title": "On \"trivial\" statements", "url": "https://karagila.org/2020/on-trivial-statements/", "published_at": "2020-05-08T15:08:12+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebf05af8a", "title": "Yes! Future Leaders Fellowship!", "url": "https://karagila.org/2020/future-leaders-fellowship/", "published_at": "2020-04-23T09:13:28+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebf76d87a", "title": "Choose your own adventure (redux)", "url": "https://karagila.org/2020/fatalistic-adventure/", "published_at": "2020-04-16T11:39:13+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ebf810ed0", "title": "Countable sets of reals", "url": "https://karagila.org/2020/countable-sets-of-reals/", "published_at": "2020-04-06T12:15:17+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec000b926", "title": "Bonus questions", "url": "https://karagila.org/2020/bonus-questions/", "published_at": "2020-03-31T11:25:33+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec07318a8", "title": "Looking Back at the 2010s", "url": "https://karagila.org/2019/looking-back-at-2010s/", "published_at": "2019-12-27T18:53:28+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec1287508", "title": "Methods in Higher Forcing Axioms: The inevitable conclusion", "url": "https://karagila.org/2019/mehifox-conclusions/", "published_at": "2019-09-17T16:42:31+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec2052892", "title": "Methods in Higher Forcing Axioms", "url": "https://karagila.org/2019/mehifox/", "published_at": "2019-09-09T15:12:31+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec2d0f79f", "title": "7 Easy Hacks to Improve Your Math Skills", "url": "https://karagila.org/2019/quick-hacks/", "published_at": "2019-08-22T18:55:31+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec31f89ac", "title": "New notes online!", "url": "https://karagila.org/2019/new-notes/", "published_at": "2019-07-22T16:40:12+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec38be078", "title": "In praise of Replacement", "url": "https://karagila.org/2019/in-praise-of-replacement/", "published_at": "2019-03-06T22:20:42+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec3e184fe", "title": "Preserving Properness", "url": "https://karagila.org/2018/preserving-properness/", "published_at": "2018-11-23T20:03:26+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec4df81f4", "title": "Pickles!", "url": "https://karagila.org/2018/pickles/", "published_at": "2018-11-16T10:03:26+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec5be0b80", "title": "Cohen's Oddity", "url": "https://karagila.org/2018/cohens-oddity/", "published_at": "2018-10-20T11:05:13+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec67aeb9a", "title": "Five Star Theorems", "url": "https://karagila.org/2018/five-star-theorems/", "published_at": "2018-08-24T15:35:13+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec76bcef8", "title": "Definable Models Without Choice", "url": "https://karagila.org/2018/definable-models-without-choice/", "published_at": "2018-06-07T22:48:13+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec7cb3d50", "title": "Critical Cardinals", "url": "https://karagila.org/2018/critical-cardinals/", "published_at": "2018-05-10T06:48:13+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec891ebdc", "title": "Open Problems!", "url": "https://karagila.org/2018/problems/", "published_at": "2018-04-08T00:14:52+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec8f67387", "title": "New website!", "url": "https://karagila.org/2018/new-site/", "published_at": "2018-04-05T17:02:17+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec906b80e", "title": "In praise of failure", "url": "https://karagila.org/2018/in-praise-of-failure/", "published_at": "2018-03-13T17:30:17+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ec9efcadf", "title": "Trust me, I'm a doctor!", "url": "https://karagila.org/2017/trust-me-im-a-doctor/", "published_at": "2017-11-02T19:31:38+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eca957d70", "title": "Some thoughts about teaching introductory courses in set theory", "url": "https://karagila.org/2017/some-thoughts-about-teaching-introductory-courses-in-set-theory/", "published_at": "2017-09-21T23:39:02+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecad03a60", "title": "Dangerous knowledge in the Information Age", "url": "https://karagila.org/2017/dangerous-knowledge-in-the-information-age/", "published_at": "2017-08-11T12:09:46+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecb48e0b8", "title": "The transitive multiverse", "url": "https://karagila.org/2017/the-transitive-multiverse/", "published_at": "2017-07-22T21:18:32+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecc0ab56f", "title": "Strong coloring", "url": "https://karagila.org/2017/strong-coloring/", "published_at": "2017-07-07T11:02:35+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eccca8cfa", "title": "Moment of Zen", "url": "https://karagila.org/2017/moment-of-zen/", "published_at": "2017-05-16T13:26:40+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecd0ab2a2", "title": "What a long strange trip it's been...", "url": "https://karagila.org/2017/what-a-long-strange-trip-its-been/", "published_at": "2017-04-25T08:28:11+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecd25782c", "title": "Stationary preserving permutations are the identity on a club", "url": "https://karagila.org/2017/stationary-preserving-permutations-are-the-identity-on-a-club/", "published_at": "2017-03-20T23:50:40+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecdd5f985", "title": "Got jobs?", "url": "https://karagila.org/2017/got-jobs/", "published_at": "2017-02-19T15:42:56+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eced5f649", "title": "Farewell, Matti", "url": "https://karagila.org/2017/farewell-matti/", "published_at": "2017-02-06T19:06:00+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecfaed056", "title": "Mathematical philosophy on YouTube!", "url": "https://karagila.org/2016/mathematical-philosophy-on-youtube/", "published_at": "2016-12-23T10:07:05+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecfcc61d8", "title": "Some thoughts about teaching advanced set theory", "url": "https://karagila.org/2016/some-thoughts-about-teaching-advanced-set-theory/", "published_at": "2016-11-14T00:14:40+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ecfe5726d", "title": "Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice", "url": "https://karagila.org/2016/zornian-functional-analysis-or-how-i-learned-to-stop-worrying-and-love-the-axiom-of-choice/", "published_at": "2016-10-10T18:34:33+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed0e13710", "title": "In praise of some history", "url": "https://karagila.org/2016/in-praise-of-some-history/", "published_at": "2016-07-10T00:19:44+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed1aecf7a", "title": "Constructive proof that large cardinals are consistent", "url": "https://karagila.org/2016/constructive-proof-that-large-cardinals-are-consistent/", "published_at": "2016-07-06T12:30:15+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed1b6e8e9", "title": "Some thoughts about \"automated theorem searching\"", "url": "https://karagila.org/2016/some-thoughts-about-automated-theorem-searching/", "published_at": "2016-06-27T00:02:26+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed2a94fda", "title": "Iterating Symmetric Extensions", "url": "https://karagila.org/2016/iterating-symmetric-extensions/", "published_at": "2016-06-22T06:43:40+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed2e93d2f", "title": "Syntactic T-Rex: Irregularized", "url": "https://karagila.org/2016/syntactic-t-rex-irregularized/", "published_at": "2016-06-20T19:39:12+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed368bba4", "title": "MM70: YouTube links!", "url": "https://karagila.org/2016/mm70-youtube-links/", "published_at": "2016-06-14T14:46:45+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed4176f31", "title": "Quick update from Norwich", "url": "https://karagila.org/2016/quick-update-from-norwich/", "published_at": "2016-06-11T03:03:38+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed4558b89", "title": "Vsauce on cardinals and ordinals", "url": "https://karagila.org/2016/vsauce-on-cardinals-and-ordinals/", "published_at": "2016-04-09T20:11:11+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed54fddca", "title": "What I realized recently", "url": "https://karagila.org/2016/what-i-realized-recently/", "published_at": "2016-03-30T17:04:42+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed61f2fab", "title": "The Five WH's of Set Theory", "url": "https://karagila.org/2016/the-five-whs-of-set-theory/", "published_at": "2016-01-23T11:11:56+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed643095c", "title": "MM70: Travel Grants for Students!", "url": "https://karagila.org/2015/mm70-travel-grants-for-students/", "published_at": "2015-12-30T23:17:30+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed6bcd1c7", "title": "Goodbye, Oren.", "url": "https://karagila.org/2015/goodbye-oren/", "published_at": "2015-12-28T01:04:11+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed785eb7b", "title": "Michael, you're awesome.", "url": "https://karagila.org/2015/michael-youre-awesome/", "published_at": "2015-12-09T00:13:05+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed86144af", "title": "MM70: Registration is now open!", "url": "https://karagila.org/2015/mm70-registration-is-now-open/", "published_at": "2015-12-02T19:01:29+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed944887b", "title": "Cofinality and the axiom of choice", "url": "https://karagila.org/2015/cofinality-and-the-axiom-of-choice/", "published_at": "2015-11-29T22:35:41+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ed980ed7e", "title": "Don't worry about it", "url": "https://karagila.org/2015/dont-worry-about-it/", "published_at": "2015-11-09T16:37:02+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eda07e0d6", "title": "How do you read a paper?", "url": "https://karagila.org/2015/how-do-you-read-a-paper/", "published_at": "2015-11-01T10:29:27+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3eda73d09c", "title": "Banach-Tarski Banach-T-Rex", "url": "https://karagila.org/2015/banach-tarski-banach-t-rex/", "published_at": "2015-10-21T00:10:16+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edb14b31e", "title": "The Thing Explainer Challenge", "url": "https://karagila.org/2015/the-thing-explainer-challenge/", "published_at": "2015-09-24T18:51:47+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edbac2a66", "title": "Name that number", "url": "https://karagila.org/2015/name-that-number/", "published_at": "2015-09-21T04:21:06+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edc26d2fe", "title": "How to solve your problems", "url": "https://karagila.org/2015/how-to-solve-your-problems/", "published_at": "2015-09-05T00:46:48+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edcc25aba", "title": "Mathematical T-Rex", "url": "https://karagila.org/2015/mathematical-t-rex/", "published_at": "2015-08-28T21:53:52+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edcc834b7", "title": "Is the Continuum Hypothesis a definite problem?", "url": "https://karagila.org/2015/is-the-continuum-hypothesis-a-definite-problem/", "published_at": "2015-08-07T03:44:55+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edd9a1721", "title": "Blurbs!", "url": "https://karagila.org/2015/blurbs/", "published_at": "2015-07-29T21:08:59+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ede5f1f92", "title": "Young Set Theory 2015", "url": "https://karagila.org/2015/young-set-theory-2015/", "published_at": "2015-07-20T00:34:17+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ede9110fd", "title": "The rules of research", "url": "https://karagila.org/2015/the-rules-of-research/", "published_at": "2015-07-08T02:27:49+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edf5fa37b", "title": "When the box means nothing", "url": "https://karagila.org/2015/when-the-box-means-nothing/", "published_at": "2015-05-26T09:44:43+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3edfefedef", "title": "I need your help!", "url": "https://karagila.org/2015/i-need-your-help/", "published_at": "2015-05-08T14:51:39+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee0c9019c", "title": "A problem and a possible solution", "url": "https://karagila.org/2015/a-problem-and-a-possible-solution/", "published_at": "2015-05-06T08:41:26+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee0eb26fc", "title": "The Torture of Mathematical Research", "url": "https://karagila.org/2015/the-torture-of-mathematical-research/", "published_at": "2015-04-22T07:12:02+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee162d09b", "title": "Turning Green!", "url": "https://karagila.org/2015/turning-green/", "published_at": "2015-03-17T00:16:14+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee205849c", "title": "Existentialism II, like Colonel Kurtz", "url": "https://karagila.org/2015/existentialism-ii-like-colonel-kurtz/", "published_at": "2015-03-11T00:34:48+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee20bf5fe", "title": "Existentialism", "url": "https://karagila.org/2015/post-post-modern-existentialism/", "published_at": "2015-03-10T00:34:26+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee25f6329", "title": "Much needed terminology, that isn't going to happen any time soon", "url": "https://karagila.org/2015/much-needed-terminology-that-isnt-going-to-happen-any-time-soon/", "published_at": "2015-02-02T20:29:45+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee2ce49cf", "title": "On the Partition Principle", "url": "https://karagila.org/2014/on-the-partition-principle/", "published_at": "2014-12-20T20:45:25+00:00" }, { "id": "01a08793-ad01-724e-88f3-ce3ee38bb639", "title": "To Colloops a cardinal", "url": "https://karagila.org/2014/to-colloops-a-cardinal/", "published_at": "2014-10-05T20:24:10+00:00" }, { "id": "01a08793-ad02-7395-bf12-373ebd2c1e86", "title": "Huge cardinals are huge!", "url": "https://karagila.org/2014/huge-cardinals-are-huge/", "published_at": "2014-10-03T04:32:34+00:00" }, { "id": "01a08793-ad02-7395-bf12-373ebd47ad32", "title": "Anti-anti Banach-Tarski arguments", "url": "https://karagila.org/2014/anti-anti-banach-tarski-arguments/", "published_at": "2014-09-22T12:31:38+00:00" } ] posts Claim your blog
Back to Blog Archive | Asaf Karagila
Blog · corpus.blog/blogs/karagila.org/posts

Blog Archive | Asaf Karagila

karagila.org

2026

I asked ChatGPT to look at a proof, here's what happened...original ↗
12 Jan 2026

2025

How to give a talkoriginal ↗
4 Sept 2025
I trained neural nets on large cardinal axiomsoriginal ↗
14 May 2025

2024

The Lighthouse Problemoriginal ↗
3 Oct 2024
Conferences: unsolicited adviceoriginal ↗
12 Jul 2024
120 Years of Choice: Final call for registration!original ↗
11 Jun 2024
120 Years of Choice: Registration is openoriginal ↗
15 Feb 2024

2023

120 Years of Choice: First Announcementoriginal ↗
19 Dec 2023
What is best in science?original ↗
26 Aug 2023
I trained neural nets to do forcing and symmetric extensionsoriginal ↗
1 Jun 2023
How to prove theorems?original ↗
26 Apr 2023
Safe spacesoriginal ↗
8 Jan 2023

2022

Everything Wrong With The Princess Brideoriginal ↗
4 Sept 2022
Multiple Choiceoriginal ↗
13 Aug 2022
Question on Dually Dedekind-infinite setsoriginal ↗
27 Jul 2022
Changesoriginal ↗
31 Mar 2022

2021

Engagedoriginal ↗
9 Jul 2021
Flow and the Partition Principle II (2 updates)original ↗
31 Mar 2021

2020

Factorial algorithms and recursive thoughtsoriginal ↗
29 Dec 2020
Hindsight: 2020original ↗
22 Dec 2020
Prikry Forcing Onlineoriginal ↗
19 Nov 2020
Flow and the Partition Principle: Conclusionsoriginal ↗
26 Oct 2020
Flow and the Partition Principle (6 updates)original ↗
9 Oct 2020
Zornian Functional Analysis coming to arXiv!original ↗
7 Oct 2020
YouTubers Wantedoriginal ↗
4 Sept 2020
Guest comic: Foundations of Forcingoriginal ↗
28 Jul 2020
Want jobs?original ↗
17 Jun 2020
Speak uporiginal ↗
3 Jun 2020
What can you learn about writing papers from cooking pasta?original ↗
25 May 2020
On "trivial" statementsoriginal ↗
8 May 2020
Yes! Future Leaders Fellowship!original ↗
23 Apr 2020
Choose your own adventure (redux)original ↗
16 Apr 2020
Countable sets of realsoriginal ↗
6 Apr 2020
Bonus questionsoriginal ↗
31 Mar 2020

2019

Looking Back at the 2010soriginal ↗
27 Dec 2019
Methods in Higher Forcing Axioms: The inevitable conclusionoriginal ↗
17 Sept 2019
Methods in Higher Forcing Axiomsoriginal ↗
9 Sept 2019
7 Easy Hacks to Improve Your Math Skillsoriginal ↗
22 Aug 2019
New notes online!original ↗
22 Jul 2019
In praise of Replacementoriginal ↗
6 Mar 2019

2018

Preserving Propernessoriginal ↗
23 Nov 2018
Pickles!original ↗
16 Nov 2018
Cohen's Oddityoriginal ↗
20 Oct 2018
Five Star Theoremsoriginal ↗
24 Aug 2018
Definable Models Without Choiceoriginal ↗
7 Jun 2018
Critical Cardinalsoriginal ↗
10 May 2018
Open Problems!original ↗
8 Apr 2018
New website!original ↗
5 Apr 2018
In praise of failureoriginal ↗
13 Mar 2018

2017

Trust me, I'm a doctor!original ↗
2 Nov 2017
Some thoughts about teaching introductory courses in set theoryoriginal ↗
21 Sept 2017
Dangerous knowledge in the Information Ageoriginal ↗
11 Aug 2017
The transitive multiverseoriginal ↗
22 Jul 2017
Strong coloringoriginal ↗
7 Jul 2017
Moment of Zenoriginal ↗
16 May 2017
What a long strange trip it's been...original ↗
25 Apr 2017
Stationary preserving permutations are the identity on a cluboriginal ↗
20 Mar 2017
Got jobs?original ↗
19 Feb 2017
Farewell, Mattioriginal ↗
6 Feb 2017

2016

Mathematical philosophy on YouTube!original ↗
23 Dec 2016
Some thoughts about teaching advanced set theoryoriginal ↗
14 Nov 2016
Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choiceoriginal ↗
10 Oct 2016
In praise of some historyoriginal ↗
10 Jul 2016
Constructive proof that large cardinals are consistentoriginal ↗
6 Jul 2016
Some thoughts about "automated theorem searching"original ↗
27 Jun 2016
Iterating Symmetric Extensionsoriginal ↗
22 Jun 2016
Syntactic T-Rex: Irregularizedoriginal ↗
20 Jun 2016
MM70: YouTube links!original ↗
14 Jun 2016
Quick update from Norwichoriginal ↗
11 Jun 2016
Vsauce on cardinals and ordinalsoriginal ↗
9 Apr 2016
What I realized recentlyoriginal ↗
30 Mar 2016
The Five WH's of Set Theoryoriginal ↗
23 Jan 2016

2015

MM70: Travel Grants for Students!original ↗
30 Dec 2015
Goodbye, Oren.original ↗
28 Dec 2015
Michael, you're awesome.original ↗
9 Dec 2015
MM70: Registration is now open!original ↗
2 Dec 2015
Cofinality and the axiom of choiceoriginal ↗
29 Nov 2015
Don't worry about itoriginal ↗
9 Nov 2015
How do you read a paper?original ↗
1 Nov 2015
Banach-Tarski Banach-T-Rexoriginal ↗
21 Oct 2015
The Thing Explainer Challengeoriginal ↗
24 Sept 2015
Name that numberoriginal ↗
21 Sept 2015
How to solve your problemsoriginal ↗
5 Sept 2015
Mathematical T-Rexoriginal ↗
28 Aug 2015
Is the Continuum Hypothesis a definite problem?original ↗
7 Aug 2015
Blurbs!original ↗
29 Jul 2015
Young Set Theory 2015original ↗
20 Jul 2015
The rules of researchoriginal ↗
8 Jul 2015
When the box means nothingoriginal ↗
26 May 2015
I need your help!original ↗
8 May 2015
A problem and a possible solutionoriginal ↗
6 May 2015
The Torture of Mathematical Researchoriginal ↗
22 Apr 2015
Turning Green!original ↗
17 Mar 2015
Existentialism II, like Colonel Kurtzoriginal ↗
11 Mar 2015
Existentialismoriginal ↗
10 Mar 2015
Much needed terminology, that isn't going to happen any time soonoriginal ↗
2 Feb 2015

2014

On the Partition Principleoriginal ↗
20 Dec 2014
To Colloops a cardinaloriginal ↗
5 Oct 2014
Huge cardinals are huge!original ↗
3 Oct 2014
Anti-anti Banach-Tarski argumentsoriginal ↗
22 Sept 2014
Next