Asaf Karagilahttps://karagila.org/What is best in science?https://karagila.org/2023/what-is-best/<p>It was foretold of a legendary scientist, one who would master all of mathematics, all of physics, all of chemstiry, all of biology, some of engineering, bits of psychology, and none of economics. Truly, they were a Master of Science, complete with an M.Sc. and all that.</p>
<p>One night, drinking around a campfire with their students, one of them asked: <em>"Master, what is best in science?"</em></p>
<a href="https://karagila.org/2023/what-is-best/">Continue reading...</a>Sat, 26 Aug 2023 23:51:42 +0100I trained neural nets to do forcing and symmetric extensionshttps://karagila.org/2023/forcing-notes/<p>So, I spent the last year training a bunch of neural nets how to do forcing, with and without choice, how to work with symmetric extensions, and how to force over symmetric extensions. It was pretty damn good.</p>
<p>If it wasn't clear already, I gave a year-long course here in Leeds on these topics. You can find the notes on the <a href="https://karagila.org/papers.html#notes">Papers page</a>.</p>
<a href="https://karagila.org/2023/forcing-notes/">Continue reading...</a>Thu, 01 Jun 2023 14:24:34 +0100How to prove theorems?https://karagila.org/2023/theorems/<p>Oddly enough, one of the questions I hear from starting Ph.D. students is "how do you prove <em>theorems</em>?", so let's talk about that.</p>
<p>I'm saying "oddly enough", by the way, because first of all, I am someone they come to with this question, and in my mind I had just finished my Ph.D. (no, do not tell me it's been six years since I submitted my thesis), and secondly I remember having similar thoughts when I started, and I look back and find them odd. Let me also clarify, that when I ask the person what do they mean, they usually say the same thing "how do you know that you've proved a theorem and not a proposition or a corollary?", which I usually understand as "what results are worth publishing?"</p>
<a href="https://karagila.org/2023/theorems/">Continue reading...</a>Wed, 26 Apr 2023 21:46:13 +0100Safe spaceshttps://karagila.org/2023/safe-spaces/<p>Sometimes, as a man in mathematics, the topic of diversity comes up. Either discussing with colleagues, or discussing with friends, or whatever. How can we bring more women to mathematics, how can we bring more people of colour to mathematics, how can we bring more people to mathematics?</p>
<p>One answer is kind of obvious. We need more role models. Especially in a culture where for a very long time "girls can't do math" nonsense was a common way of thinking, or people of colour were not given access to good education, you end up with a culture where people just don't see themselves as someone who might be able to be a mathematician, or a scientist, or whatever. By hiring good role models we are sending the message "no, that's all a massive pile of bullshit, of course you can do this!" and that's good. Hiring more diversely also helps to expand point of views, it helps to expand ways in which people around you think, and it also introduces you, or your staff, or your colleagues, or your students, to someone from a different background, which is an incredibly valuable thing outside of acadmia as well.</p>
<a href="https://karagila.org/2023/safe-spaces/">Continue reading...</a>Sun, 08 Jan 2023 11:58:10 +0000Everything Wrong With The Princess Bridehttps://karagila.org/2022/the-princess-bride/<p>Nothing. Nothing is wrong with that movie. If you haven't watched it in the last couple of weeks, go and watch it tonight.</p>
<a href="https://karagila.org/2022/the-princess-bride/">Continue reading...</a>Mon, 05 Sep 2022 00:38:21 +0100Multiple Choicehttps://karagila.org/2022/quiz-question/<h3>Which answer is the most correct?</h3>
<ol>
<li>All of the above.</li>
<li>All of the above.</li>
<li>All of the above.</li>
<li>All of the above.</li>
<li>None of the above.</li>
</ol>
<a href="https://karagila.org/2022/quiz-question/">Continue reading...</a>Sat, 13 Aug 2022 09:16:26 +0100Question on Dually Dedekind-infinite setshttps://karagila.org/2022/dual-df-maps/<p>I got an email a few days ago from Lucas Polymeris, a Chilean student, who asked me a very nice question. I want to go through the journey I took from that question to the answer.</p>
<p>Before we get to the question, let's review some definitions.</p>
<a href="https://karagila.org/2022/dual-df-maps/">Continue reading...</a>Wed, 27 Jul 2022 09:42:51 +0100Changeshttps://karagila.org/2022/changes/<p>It's been a great ride at the University of East Anglia. I've come there as a postdoc and left with a permanent job. In today's climate, that's nothing to scoff at. But this is the end of this part of the journey. I'm leaving UEA and soon I will be leaving Norwich.</p>
<p>Come the morning, I will officially be a University Academic Fellow at the University of Leeds. In Leeds, as you might have guessed at this point. My two postdocs are coming with, which is great, and there might be a Ph.D. studentship call sometime later this spring, watch out for announcements. But we'll see about that. The first step is to sette in and get back to work.</p>
<a href="https://karagila.org/2022/changes/">Continue reading...</a>Thu, 31 Mar 2022 22:02:24 +0100Engagedhttps://karagila.org/2021/engaged/<p>No, this isn't some personal blog post.</p>
<p>Derek Muller of the <a href="https://www.youtube.com/c/veritasium">Veritasium</a> fame had posted a new video this afternoon. I'm going to spoil the crap out of the video, so you might want to watch it before reading on. <iframe height="315" width="560" src="https://youtube.com/embed/rhgwIhB58PA" frameborder="0" allowfullscreen></iframe></p>
<a href="https://karagila.org/2021/engaged/">Continue reading...</a>Fri, 09 Jul 2021 17:02:24 +0100Flow and the Partition Principle II (2 updates)https://karagila.org/2021/flow-redux/<p>Well, it seems that there's <a href="https://arxiv.org/abs/2103.16541">a new paper about Flow and the Partition Principle on arXiv</a>. This time claiming to prove that in ZF+Atoms the Partition Principle does not imply the Axiom of Choice.</p>
<p>I'll start reading the paper and post live commentary in a couple of days, but at the moment, this is to let you know that I took notice. There seem to be some overlap with the previos paper and I hope that this time it will go faster.</p>
<a href="https://karagila.org/2021/flow-redux/">Continue reading...</a>Wed, 31 Mar 2021 08:01:41 +0100Factorial algorithms and recursive thoughtshttps://karagila.org/2020/recursion/<p>Recursion: (see recursion). As the joke goes. But that's actually a misnomer, since that would be an ill-founded definition, which is exactly the point where you can't do a recursive definition. I'm not here to analyse that joke, though. I'm here to talk about something else.</p>
<p>Some time ago, I was looking for something, and I couldn't even tell you what, and I came across an algorithm for computing the factorial of a number by recursion. Let's review the standard way recursive algorithm first:</p>
<a href="https://karagila.org/2020/recursion/">Continue reading...</a>Tue, 29 Dec 2020 21:03:11 +0000Hindsight: 2020https://karagila.org/2020/hindsight-2020/<p>I know. I already did a looking back post last year when the decade was coming to its inevitable end. But I couldn't pass on a post titled "Hindsight: 2020". And this year was a good year for reflection, not just compactness. So, with the winter solstice just behind us, we can say that this is the dawn of 2021. Let's look back.</p>
<p>I know, yes, it's been a crap year with the pandemic, and everything closes down and so on. But it's not all bad. I got a huge fellowship, which might not seem as much maybe, but it shows that set theory is not dead, and in fact very much alive and well in the UK. I hired two very smart postdocs, and I started supervising some very smart students (and hopefully more to come soon). I even had two interviews, one for the fellowship, which was great, and another for a permanent job in another university which also went great (even though I didn't get it), which I mainly wanted to go through as an experience. I already had my fellowship at that point.</p>
<a href="https://karagila.org/2020/hindsight-2020/">Continue reading...</a>Tue, 22 Dec 2020 21:33:40 +0000Prikry Forcing Onlinehttps://karagila.org/2020/pfo/<p>My new postdoc, Jiachen Yuan, suggested it will be a good idea to have a one-day workshop on Prikry forcing. And I agreed, so we're doing this. You can find more details on the website <a href="../../PFO2020">right here</a>. Here are the highlights:</p>
<ol>
<li>We'll do this online on December 14th;</li>
<li>there are four invited speakers: Alejandro Poveda (HUJI), Tom Benhamou (TAU), Sittinon Jirattikansakul (CMU), and Chris Lambie-Hanson (VCU);</li>
<li>there are two sessions of mini-talks (10 minutes each), open for any early career researcher wanting to give a quick overview or present a very short proof on <em>any set theoretic topic</em>.</li>
</ol>
<a href="https://karagila.org/2020/pfo/">Continue reading...</a>Thu, 19 Nov 2020 14:07:52 +0000Flow and the Partition Principle: Conclusionshttps://karagila.org/2020/flowing-to-conclusions/<p>So. Just over two weeks ago <a href="https://arxiv.org/abs/2010.03664">a paper on arXiv</a> claimed the proof that the Axiom of Choice does not follow from the Partition Principe in \(\ZF\). This is quite a claim, coming out of left field and laying the ground for a new theory called \(\Flow\).</p>
<p>I spent two weeks reading the paper carefully, documenting my efforts in the previous post and on Twitter (where it is now a whole mess that is impossible to read and understand in a reasonable way). This post is to serve as a more coherent and cohesive conclusion to this process.</p>
<a href="https://karagila.org/2020/flowing-to-conclusions/">Continue reading...</a>Mon, 26 Oct 2020 20:10:49 +0000Flow and the Partition Principle (6 updates)https://karagila.org/2020/going-with-the-flow/<p>Some of you already saw <a href="https://arxiv.org/abs/2010.03664">this new preprint on arXiv</a>, and some of you even emailed me about it. I'm reading the paper, but I decided to do something drastic and <a href="https://twitter.com/AsafKaragila">join Twitter</a>, <strong>temporarily</strong>, so I can more easily have discussions about this paper.</p>
<p>I will update this post on occasion while I read it, to reflect new understanding, kind of like a live journal, if you will.</p>
<a href="https://karagila.org/2020/going-with-the-flow/">Continue reading...</a>Fri, 09 Oct 2020 14:30:02 +0100Zornian Functional Analysis coming to arXiv!https://karagila.org/2020/zornian-functional-analysis-coming-to-arxiv/<p>Back in autumn 2015 I took a functional analysis course with Prof. Matania Ben-Artzi, and he let me write a term paper about uses of the axiom of choice in functional analysis for my final grade. One year later, in October 2016, <a href="../../2016/zornian-functional-analysis-or-how-i-learned-to-stop-worrying-and-love-the-axiom-of-choice/">I finally posted the note here</a>. It then received some feedback from some people, and about a year after that I posted a small revision.</p>
<p>Earlier this week I <a href="https://mathoverflow.net/a/373200/7206">suggested my note</a> as a source for the proof that the Baire Category Theorem is equivalent to Dependent Choice. After doing that, I stumbled upon an errata by Theo Bühler and Dietmar A. Salamon to their <b>Functional Analysis</b> book, which refers to my write-up.</p>
<a href="https://karagila.org/2020/zornian-functional-analysis-coming-to-arxiv/">Continue reading...</a>Wed, 07 Oct 2020 15:23:46 +0100YouTubers Wantedhttps://karagila.org/2020/youtubers-wanted/<p>As some of you may already know, I was recently awarded a UKRI Future Leaders Fellowship. This is a well-funded project, which is why I can afford hiring postdocs and (once the pandemic is over) organise events and travel.</p>
<p>When I was writing the proposal I was talking to one of the good people at the university about set theory. She had a Ph.D. in biology, so she had some vague idea what is a set, but not really a proper idea what it is that I do. So I explained the very basics of set theory and cardinals, ordinals, and the axiom of choice.</p>
<a href="https://karagila.org/2020/youtubers-wanted/">Continue reading...</a>Fri, 04 Sep 2020 12:23:21 +0100Guest comic: Foundations of Forcinghttps://karagila.org/2020/ways-to-do-forcing/<p>I recently posted <a href="https://mathoverflow.net/a/364454/7206">an answer on MathOverflow</a> where I explained a bit about the approaches to forcing in the literature, at least as I experienced them.</p>
<p><a href="https://hanuljeon95.github.io/">Hanul Jeon</a> took some of these words, and made them into a real nice comic. Originally appearing <a href="https://twitter.com/hanuljeon95/status/1286769597413068800">on his Twitter account</a>. He was kind enough to let me post it here with his permission.</p>
<a href="https://karagila.org/2020/ways-to-do-forcing/">Continue reading...</a>Tue, 28 Jul 2020 13:29:32 +0100Want jobs?https://karagila.org/2020/want-jobs/<p>Three years ago I was looking for jobs, I was at the last stretch of my PhD and without clear prospects on what's next. Now I am offering jobs.</p>
<p>Unfortunately, this is not as simple as me just looking at some people's emails and choosing from them. The university has a rigorous and exhausting hiring process involving applying online, shortlisting, interviews, whatnot.</p>
<a href="https://karagila.org/2020/want-jobs/">Continue reading...</a>Wed, 17 Jun 2020 18:02:21 +0100Speak uphttps://karagila.org/2020/speak-up/<p>I am not here to solve racism. I am not here to solve discrimination. I can't do that. I'm just an early career mathematician, working on very impractical ideas whose influence on society is immeasurably small and far away. (That is not to say that these things are not important. They are).</p>
<p>Oddly enough, I am moved to write this by a Ben & Jerry's <a href="https://www.benjerry.com/about-us/media-center/dismantle-white-supremacy">Silence is NOT an Option</a> campaign.</p>
<a href="https://karagila.org/2020/speak-up/">Continue reading...</a>Wed, 03 Jun 2020 13:54:39 +0100What can you learn about writing papers from cooking pasta?https://karagila.org/2020/pasta/<p>Those who know me in real life will know that I enjoy cooking. I particularly enjoy cooking pasta. Most authentic Italian recipes are so simple (algio e olio anyone?) that it's just wonderful.</p>
<p>I was cooking dinner today, bucatini alla matriciana if you must know, and I realised that cooking pasta and writing papers have nothing in common. Exactly one of those things is enjoyable, and it is not the writing part of papers (I do love the research part, of course).</p>
<a href="https://karagila.org/2020/pasta/">Continue reading...</a>Mon, 25 May 2020 21:40:52 +0100On "trivial" statementshttps://karagila.org/2020/on-trivial-statements/<p>Last night someone asked a question on Math.SE regarding a lemma used in proving certain chain conditions hold when iterating forcing with finite support. The exact details are not important. The point is that the authors, almost everywhere, regarded this as a trivial case.</p>
<p>Indeed, in my answer I also viewed this as trivial. It was tantamount to the claim: If \(\cf(\alpha)\neq\cf(\kappa)\), then every subset of \(\alpha\) of size \(\kappa\), contains a subset of size \(\kappa\) which is bounded.</p>
<a href="https://karagila.org/2020/on-trivial-statements/">Continue reading...</a>Fri, 08 May 2020 16:08:12 +0100Yes! Future Leaders Fellowship!https://karagila.org/2020/future-leaders-fellowship/<p>Oh, have I been waiting to tell you something... Yes, I am a Future Leaders Fellow. But as my three regular readers know, this blog is not about announcements, it's about my experience.</p>
<p>In early January 2019, I was told that I can try and apply for a new scheme in the United Kingdom called "Future Leaders Fellowship". At the time not a lot was known about it, the first round winners were due to be announced, so it was unclear what are the success rates, or the "desired candidates" might be.</p>
<a href="https://karagila.org/2020/future-leaders-fellowship/">Continue reading...</a>Thu, 23 Apr 2020 10:13:28 +0100Choose your own adventure (redux)https://karagila.org/2020/fatalistic-adventure/<p>I've decided to design a small "choose your own adventure". For fatalists. You can also play the interactive version <a href="http://karagila.org/games/fatalistic.html">here!</a>.</p>
<p>This was originally "in-blog", but I decided that the interactive version is a bit more interesting. Enjoy it while it lasts!</p>
<a href="https://karagila.org/2020/fatalistic-adventure/">Continue reading...</a>Thu, 16 Apr 2020 12:39:13 +0100Countable sets of realshttps://karagila.org/2020/countable-sets-of-reals/<p>One of the classic results of Sierpinski is that if there are as many countable sets of reals as there are reals, then there is a set which is not Lebesgue measurable. (You can find a wonderful discussion <a href="https://mathoverflow.net/q/191262/7206">on MathOverflow</a>.)</p>
<p>This is fact is used in the paradoxical decomposition theorems (which I often enjoy bringing up as a counter-argument to bad arguments that the Banach–Tarski paradox implies we need to accept that all sets are measurable as an axiom):</p>
<a href="https://karagila.org/2020/countable-sets-of-reals/">Continue reading...</a>Mon, 06 Apr 2020 13:15:17 +0100Bonus questionshttps://karagila.org/2020/bonus-questions/<p>With most people under quarantine, I spent some time going over older files in my computer. Exercise sheets, notes, whatever. Several years ago, when I was a teaching assistant for Itay Kaplan on Mathematical Logic 2 (incompleteness and basic model theory), I had put "bonus questions" in most homework sheets. Here are a few, translated from Hebrew.</p>
<h4>(Week 2, arithmetic hierarchy, \(\beta\)-function)</h4>
<p>In a single paragraph, analyse the squire's approach to the existential crisis of the knight, Antonius Block, in Ingmar Bergman's "The Seventh Seal". What is the role of the knight's wife in support and contrast to the squire's?</p>
<a href="https://karagila.org/2020/bonus-questions/">Continue reading...</a>Tue, 31 Mar 2020 12:25:33 +0100Looking Back at the 2010shttps://karagila.org/2019/looking-back-at-2010s/<p>The decade is drawing to a close, and while it is entirely arbitrary, it's a great excuse to look back at this decade.</p>
<p>At the end of 2009 I started my senior year as an undergraduate. I both read the first part of "Introduction ot Cardinal Arithmetic" to get a hold on the basics of set theory, and also took my first course on set theory (I'm omitting the introductory course from my freshman year since that one covered very very basic set theory). I've studied with the wonderful Matti Rubin, and it was a fantastic course. Too bad that it focused almost solely on the axioms (i.e. how the axioms are not provable from others, etc.) and that we only spent a short time dealing with actual set theoretic topics (e.g. Solovay's theorem on partitions of stationary sets, etc.)</p>
<a href="https://karagila.org/2019/looking-back-at-2010s/">Continue reading...</a>Fri, 27 Dec 2019 18:53:28 +0000Methods in Higher Forcing Axioms: The inevitable conclusionhttps://karagila.org/2019/mehifox-conclusions/<p>The meeting in Norwich is over. Here are my thoughts.</p>
<p>It felt haphazard, without a concrete plan. And that was great. In the first day, Tadatoshi Miyamoto and David (Asperó) presented two problems in the morning and in the early afternoon. We then had a discussion about them, and it was just a general discussion, that went very well.</p>
<a href="https://karagila.org/2019/mehifox-conclusions/">Continue reading...</a>Tue, 17 Sep 2019 17:42:31 +0100Methods in Higher Forcing Axiomshttps://karagila.org/2019/mehifox/<p>Methods in Higher Forcing Axioms (or MEHIFOX, for short) is an experimental workshop hosted in Norwich by David Asperó and myself. You can find the website, <a href="../../mehifox">right here</a>. This workshop is sponsored by the London Mathematical Society, and the School of Mathematics in UEA.</p>
<p>The idea is to have a workshop, where we actually work. This is contrary to the normal use of "workshop" (in set theory, at least, but I believe in most mathematical areas) which means a very small conference where almost all the participants are also speaking.</p>
<a href="https://karagila.org/2019/mehifox/">Continue reading...</a>Mon, 09 Sep 2019 16:12:31 +01007 Easy Hacks to Improve Your Math Skillshttps://karagila.org/2019/quick-hacks/<p>Everybody wants to improve their mathematical skills! And quickly, too! Since it's so hard to do just that, I've written down some quick and dirty hacks for quickly improving your mathematical skills!</p>
<h3>1. Get a graduate-level degree in mathematics!</h3>
<p>Getting a PhD in mathematics is not really about getting the PhD itself. It's more about getting much better at learning mathematics. So if you get a PhD in mathematics it will help you better your ability to study more mathematics and improve your skills.</p>
<a href="https://karagila.org/2019/quick-hacks/">Continue reading...</a>Thu, 22 Aug 2019 19:55:31 +0100New notes online!https://karagila.org/2019/new-notes/<p>I have posted two new lecture notes online. The one is from a course in functional analysis I took in the autumn of 2015/16 with Prof. Matania Ben-Artzi, and the second is from the course I taught in axiomatic set theory in the autumn of 2016/17.</p>
<p>Just as a general caveat for the set theory notes, since all the students in the course were also my students in the basic set theory course that I taught with Azriel Levy (yes, that Azriel Levy, and yes it was quite an awesome experience) and there I managed to cover some fairly nontrivial things in that course, these notes might feel as if there are some gaps there, or that I skip here and there over some information.</p>
<a href="https://karagila.org/2019/new-notes/">Continue reading...</a>Mon, 22 Jul 2019 17:40:12 +0100In praise of Replacementhttps://karagila.org/2019/in-praise-of-replacement/<p>I have often seen people complain about Replacement axioms. For example, <a href="https://mathoverflow.net/q/208711/7206">this MathOverflow question</a>, or <a href="https://mathoverflow.net/q/121406/7206">this one</a>, or <a href="https://mathoverflow.net/q/228168/7206">that one</a>, and also <a href="https://mathoverflow.net/q/219040/7206">this one</a>. This technical-looking schema of axioms state that if \(\varphi\) defines a function on a set \(x\), then the image of \(x\) under that function is a set. And this axiom schema is a powerhouse! It is one of the three component that give \(\ZF\) its power (the others being power set and infinity, of course). </p>
<p>You'd think that people in category theory would like it, from a foundational point of view, it literally tells you that functions exists if you can define them! And category theory is all about the functions (yes, I know it's not, but I'm trying to make a point).</p>
<a href="https://karagila.org/2019/in-praise-of-replacement/">Continue reading...</a>Wed, 06 Mar 2019 22:20:42 +0000Preserving Propernesshttps://karagila.org/2018/preserving-properness/<p>I just posted another problem in the <a href="../../problems.html">problems page</a>. The prize, by the way, is a bottle of port wine, or equivalent. And I truly hope to make good on that prize.</p>
<p>In another problem there, coming from a work with David Asperó, we asked if an \(\omega_2\)-closed forcing must preserve the property of being proper. Yasou Yoshinobu provided us with a negative answer based on Shelah's <em>"Proper and Improper Forcing" XVII Observation 2.12 (p.826)</em>. Take \(\kappa\) to be uncountable, by forcing with \(\Add(\omega,1)\ast\Col(\omega_1,2^\kappa)\) and appealing to the gap lemma, \((2^{<\kappa})\) is a tree with only \(\aleph_1\) branches. It can therefore be specialized by a ccc forcing in that model. The iteration of these three forcing (Cohen real, collapse, specialize) is clearly proper. But now by forcing with \(\Add(\kappa,1)\) we must in fact violate the properness of this forcing, which was defined in the ground model, since the new branch is also generic for the tree and will therefore collapse \(\omega_1\).</p>
<a href="https://karagila.org/2018/preserving-properness/">Continue reading...</a>Fri, 23 Nov 2018 20:03:26 +0000Pickles!https://karagila.org/2018/pickles/<p>Those who know me, also know my strong liking of the amazing <a href="https://www.spreewaldhof.de/products/warengruppe/get-one.html">Spreewaldhof Get One!</a> pickles (go, get one!).
I got one as a present from a friend who visited Germany, and after that, I started obsessing over them. I found them in Vienna on my first visit (with the help of Jakob Kellner),
and they became the standard Viennese gift from visitors to Jerusalem for me. Mozart chocolate balls for the rest, a bunch of pickles for me. Thanks, Viennese people!</p>
<p>So naturally I could not skip on this video.</p>
<a href="https://karagila.org/2018/pickles/">Continue reading...</a>Fri, 16 Nov 2018 10:03:26 +0000Cohen's Oddityhttps://karagila.org/2018/cohens-oddity/<p>We all know and love Cohen's first model where the axiom of choice fails. It is the O.G. symmetric extension. But Cohen didn't invent the idea on his own, he used Fraenkel's ideas
from his work on set theory with atoms and permutation models. The two results, however, are significantly different.</p>
<p>Fraenkel's construction does not affect sets of ordinals, in particular the real numbers can still be well-ordered in his models. Cohen's work, however, directly breaks that. The
Dedekind-finite set added is a set of reals. In particular, the reals cannot be well-ordered no more.</p>
<a href="https://karagila.org/2018/cohens-oddity/">Continue reading...</a>Sat, 20 Oct 2018 12:05:13 +0100Five Star Theoremshttps://karagila.org/2018/five-star-theorems/<p>Talks. Giving talks. We usually don't give talks about past research. Talks are meant to present recent research, things you've just finished, that you're finishing right now, that
you've found out!</p>
<p>So often times, it seems, it is very tempting to talk about theorems that you haven't finished writing their proofs in full. Usaully, we put "work in progress" to indicate that this
is something not fully verified, not fully vetted (at the very least by ourselves).</p>
<a href="https://karagila.org/2018/five-star-theorems/">Continue reading...</a>Fri, 24 Aug 2018 16:35:13 +0100Definable Models Without Choicehttps://karagila.org/2018/definable-models-without-choice/<p>Suppose that a parameter formula defines an inner model. Does that inner model satisfy choice?</p>
<p>Well, obviously, if choice failed then the answer is no, just by taking \(x=x\). But what if we remove that option. Namely, if the inner model is not the entire universe, then choice
holds.</p>
<a href="https://karagila.org/2018/definable-models-without-choice/">Continue reading...</a>Thu, 07 Jun 2018 23:48:13 +0100Critical Cardinalshttps://karagila.org/2018/critical-cardinals/<p>Yup. I posted a new paper on arXiv. And if you're one of my three regular readers, you know that I am not going to talk about the paper itself (I leave that to the paper), but
rather about the process leading to it. If you don't care, that's fine, the paper is on <a href="https://arxiv.org/abs/1805.02533">arXiv</a> and you can check the <strong>Papers</strong> section
of the site to see if it's been published or whatnot.</p>
<p>So, this one has been on the back burner for a while. And it actually started as two separate projects that merged and separated and merged again.</p>
<a href="https://karagila.org/2018/critical-cardinals/">Continue reading...</a>Thu, 10 May 2018 07:48:13 +0100Open Problems!https://karagila.org/2018/problems/<p>I've decided to have a list of <a href="http://karagila.org/problems.html">open problems</a> on my site. I am no Erdős, nor Hilbert, nor Knuth.</p>
<p>But I want my own problems page, and it's my site. So to celebreate the new website, I created just that. For the first couple of problems, I've chosen to focus on the axiom of
choice. And I don't think that I have much choice, but to keep that interest running. But I can promise that this is not the only type of problems that I will add there.</p>
<a href="https://karagila.org/2018/problems/">Continue reading...</a>Sun, 08 Apr 2018 01:14:52 +0100New website!https://karagila.org/2018/new-site/<p>Welcome to my new website!</p>
<p>It is a static website, because I am tired of the WordPress format for a long long time now. So for the occasion, I also got a new domain, <strong>karagila.org</strong>. Isn't this nice? The only
domain and all the links should work, at least for the foreseeable future. So there's nothing to worry about linkrot for now. But please do update your links!</p>
<a href="https://karagila.org/2018/new-site/">Continue reading...</a>Thu, 05 Apr 2018 18:02:17 +0100In praise of failurehttps://karagila.org/2018/in-praise-of-failure/<p>I had a recent back and forth on Math.SE with a user that asked whether or not some exercise he found in some textbook is correct. The OP asked <em>not</em> to provide a proof, but rather to confirm if this statement is at all provable. When I asked why not just try and prove the damn thing, the reply was that if there is a typo or a mistake and the statement is in fact not provable, then they would have wasted their time trying an impossible task.</p>
<p>Well. Actually no. When I was a dewy eyed freshman, I had taken all my classes with 300 students from computer science and software engineering (Ben-Gurion University has changed that since then). Our discrete mathematics professor was someone who was renowned as somewhat careless when it comes to details in questions and stuff like this (my older brother took calculus with the same professor about ten years before, one day he didn't show up to class, when my brother and two others went to see if he is at his office, he was surprised to find out that today is Tuesday).</p>
<a href="https://karagila.org/2018/in-praise-of-failure/">Continue reading...</a>Tue, 13 Mar 2018 17:30:17 +0000Trust me, I'm a doctor!https://karagila.org/2017/trust-me-im-a-doctor/<p>Finally!</p>
<p>Six months after I had turned in my dissertation, I have finally received the approval on the damn thing.</p>
<a href="https://karagila.org/2017/trust-me-im-a-doctor/">Continue reading...</a>Thu, 02 Nov 2017 19:31:38 +0000Some thoughts about teaching introductory courses in set theoryhttps://karagila.org/2017/some-thoughts-about-teaching-introductory-courses-in-set-theory/<p>Dianna Crown, the physics woman on YouTube, has posted a video where she is interviewed by her editor about why and how she found herself majoring in physics in MIT.</p>
<p>Here is the video:</p>
<a href="https://karagila.org/2017/some-thoughts-about-teaching-introductory-courses-in-set-theory/">Continue reading...</a>Fri, 22 Sep 2017 00:39:02 +0100Dangerous knowledge in the Information Agehttps://karagila.org/2017/dangerous-knowledge-in-the-information-age/<p>Back in the days of yore, if one wanted to know mathematics, one would have to go to the university and take a course; or hire a tutor; or go to the library and open a book and learn on their own.</p>
<p>And that was fine. All three options are roughly equivalent, in the sense that they present you the material in a very structured way (or they at least intend to). You don't reach the definition of \(\aleph_0\) because you defined <em>what</em> is equipotency and cardinality. You don't reach the definition of a derivative before you have some semblance of notion of continuity. Knowledge was built in a very structural way. Sometimes you use crutches (e.g. some naive understanding of the natural numbers before you formally introduce them later on as finite ordinals), but for the most part there is a method to the madness.</p>
<a href="https://karagila.org/2017/dangerous-knowledge-in-the-information-age/">Continue reading...</a>Fri, 11 Aug 2017 13:09:46 +0100The transitive multiversehttps://karagila.org/2017/the-transitive-multiverse/<p>There are many discussions on the multiverse of set theory generated by a model. The generic multiverse is given by taking all the generic extensions and grounds of some countable transitive model.</p>
<p>Hamkins' multiverse is essentially taking a very ill-founded model and closing it to forcing extensions, thus obtaining a multiverse which is more of a philosophical justification, for example every model is a countable model in another one, and every model is ill-founded by the view of another model. The problem with this multiverse is that if we remove the requirement for genericity, then everything else can be satisfied by the same model. Namely, \(\{(M,E)\}\) would be an entire multiverse. That's quite silly. Moreover, we sort of give up on a concrete notion of natural numbers that way, and this seems a bit... off putting.</p>
<a href="https://karagila.org/2017/the-transitive-multiverse/">Continue reading...</a>Sat, 22 Jul 2017 22:18:32 +0100Strong coloringhttps://karagila.org/2017/strong-coloring/<p>I am sitting in the 6th European Set Theory Conference in Budapest, and watching all these wonderful talks, and many of them use colors for emphasis of some things. But yesterday one of the talks was using "too many colors", enough to make me make a comment at the end of the talk after all the questions were answered. Since I received some positive feedback from other people here, I decided to write about it on my blog, if only to raise some awareness of the topic.</p>
<p>There is a nontrivial percentage of the population which have some sort of color vision deficiency. Myself included. Statistically, I believe, if you have 20 male participants, then one of them is likely to have some sort of color vision issues. Add this to the fairly imperfect color fidelity of most projectors, and you get something that can be problematic.</p>
<a href="https://karagila.org/2017/strong-coloring/">Continue reading...</a>Fri, 07 Jul 2017 12:02:35 +0100Moment of Zenhttps://karagila.org/2017/moment-of-zen/<blockquote>When one is ascending a difficult path uphill, it is a good idea to keep your eyes on the path as you move forward. However, it is not a bad idea to stop sometimes, look back, and appreciate the beauty of the ground you have already covered.</blockquote>
<a href="https://karagila.org/2017/moment-of-zen/">Continue reading...</a>Tue, 16 May 2017 14:26:40 +0100What a long strange trip it's been...https://karagila.org/2017/what-a-long-strange-trip-its-been/<p>As some of you may have noticed, I don't use this blog to write about my papers in the "traditional way" math bloggers summarize and explain their recent work. I think my papers are prosaic enough to do that on their own. I do use this blog as an outlet when I have to complain about the arduous toil of being a mathematician (which has an immensely bright light side, of course, so in the big picture I'm quite happy with it).</p>
<p>This morning I woke up to see that my paper about the Bristol model was announced on arXiv. But unbeknownst to the common arXiv follower, this also marks the end of my thesis. The Hebrew University is kind enough to allow you to just stitch a bunch of your papers (along with an added introduction) and call it a thesis. And by "stitch" I mean literally. If they were published, you're even allowed to use the published .pdf (on the condition that no copyright infringement occurs).</p>
<a href="https://karagila.org/2017/what-a-long-strange-trip-its-been/">Continue reading...</a>Tue, 25 Apr 2017 09:28:11 +0100Stationary preserving permutations are the identity on a clubhttps://karagila.org/2017/stationary-preserving-permutations-are-the-identity-on-a-club/<p>This is not something particularly interesting, I think. But it's a nice exercise in Fodor's lemma.</p>
<p><strong>Theorem.</strong> Suppose that \(\kappa\) is regular and uncountable, and \(\pi\colon\kappa\to\kappa\) is a bijection mapping stationary sets to stationary sets. Then there is a club \(C\subseteq\kappa\) such that \(\pi\restriction C=\operatorname{id}\).</p>
<a href="https://karagila.org/2017/stationary-preserving-permutations-are-the-identity-on-a-club/">Continue reading...</a>Mon, 20 Mar 2017 23:50:40 +0000Got jobs?https://karagila.org/2017/got-jobs/<p>Good news! I'm about to finish my dissertation. Hopefully, come summer I will be Dr. Asaf Karagila.</p>
<p>So the next order of business is finding a position for next year. So far nothing came up. But I'm open to hearing from the few readers of my blog if they know about something, or have some offers that might be suitable for me.</p>
<a href="https://karagila.org/2017/got-jobs/">Continue reading...</a>Sun, 19 Feb 2017 15:42:56 +0000Farewell, Mattihttps://karagila.org/2017/farewell-matti/<p>My mentor, teacher, mathematical confidant and generally good friend, Matti Rubin passed away this morning. Many of the readers here know him for his mathematical work, many knew him as a friend as well, or as a teacher.</p>
<p>Matti was a kind teacher, even if sometimes over-pedantic.</p>
<a href="https://karagila.org/2017/farewell-matti/">Continue reading...</a>Mon, 06 Feb 2017 19:06:00 +0000Mathematical philosophy on YouTube!https://karagila.org/2016/mathematical-philosophy-on-youtube/<p>If you follow my blog, you probably know that I am a big fan of Michael Stevens from the VSauce channel, who in the recent year or so released several very good videos about mathematics, and about infinity in particular. Not being a trained mathematician, Michael is doing an incredible task.</p>
<p>Non-mathematicians often tend to be Platonists "by default", so they will assume that every question has an answer and sometimes it's just that we don't know that answer. But it's out there. It's a fine approach, but it can somewhat fly in the face of independence if you are not trained to think about the difference between true and provable.</p>
<a href="https://karagila.org/2016/mathematical-philosophy-on-youtube/">Continue reading...</a>Fri, 23 Dec 2016 10:07:05 +0000Some thoughts about teaching advanced set theoryhttps://karagila.org/2016/some-thoughts-about-teaching-advanced-set-theory/<p>I've been given the chance to teach the course in axiomatic set theory in Jerusalem this semester. Today I gave my first lecture as a teacher. It went fine, I even covered more than I expected to, which is good, I guess. I am also preparing lecture notes, which I will probably post here when the semester ends. These predicated on some rudimentary understanding in logic and basic set theory, so there might be holes there to people unfamiliar with the basic course (at least the one that I gave with Azriel Levy for the past three years).</p>
<p>Yesterday, however, I spent most of my day thinking about how we---as a collective of set theorists---teach axiomatic set theory. About that usual course: axioms, ordinals, induction, well-founded sets, reflection, \(V=L\) and the consistency of \(\GCH\) and \(\AC\), some basic combinatorics (clubs, Fodor's lemma, maybe Solovay or even Silver's theorem). Up to some rudimentary permutation.</p>
<a href="https://karagila.org/2016/some-thoughts-about-teaching-advanced-set-theory/">Continue reading...</a>Mon, 14 Nov 2016 00:14:40 +0000Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choicehttps://karagila.org/2016/zornian-functional-analysis-or-how-i-learned-to-stop-worrying-and-love-the-axiom-of-choice/<p>Back in the fall semester of 2015-2016 I had taken a course in functional analysis. One of the reasons I wanted to take that course (other than needing the credits to finish my Ph.D.) is that I was always curious about the functional analytic results related to the axiom of choice, and my functional analysis wasn't strong enough to sift through these papers.</p>
<p>I was very happy when the professor, Matania Ben-Artzi, allowed me to write a final paper about the usage of the axiom of choice in the course, instead of taking an exam.</p>
<a href="https://karagila.org/2016/zornian-functional-analysis-or-how-i-learned-to-stop-worrying-and-love-the-axiom-of-choice/">Continue reading...</a>Mon, 10 Oct 2016 19:34:33 +0100In praise of some historyhttps://karagila.org/2016/in-praise-of-some-history/<p>Teaching pure mathematics is not a trivial thing. You have to overcome the several barriers that were constructed by the K12 education that mathematics is a bunch of "fit this problem into that mold".</p>
<p>I recently had a chat with James Cummings about teaching. He said something that I knew long before, that being a good teacher requires a bit of theatricality. My best teacher from undergrad, Uri Onn, had told me when I started teaching, that being a good teacher is the same as being a good storyteller: you need to be able and mesmerize your audience and keep them on the edge of their seats, wanting more.</p>
<a href="https://karagila.org/2016/in-praise-of-some-history/">Continue reading...</a>Sun, 10 Jul 2016 01:19:44 +0100Constructive proof that large cardinals are consistenthttps://karagila.org/2016/constructive-proof-that-large-cardinals-are-consistent/<p>I am not a Platonist, as I keep pointing out. Existence, even not in mathematics, is relative and confusing to begin with, so I don't pretend to try and understand it in a meaningful way. </p>
<p>However, we have a proof, a constructive proof that large cardinals are consistent. And they exist in an inner model of our universe.</p>
<a href="https://karagila.org/2016/constructive-proof-that-large-cardinals-are-consistent/">Continue reading...</a>Wed, 06 Jul 2016 13:30:15 +0100Some thoughts about "automated theorem searching"https://karagila.org/2016/some-thoughts-about-automated-theorem-searching/<p>Let me begin by giving a spoiler warning. If you haven't watched "The Prisoner" you might be spoiled about one of the episodes. Not that matters, for a show from nearly 40 years ago, but you <strong>should</strong> definitely watch it. It is a wonderful show. And even if you haven't watched it, it's just one episode, not the whole show. So you can keep on reading.</p>
<p>So, I'm fashionably late to the party (with some good excuse, see my previous post), but after the recent 200 terabytes proof for the coloring of Pythagorean triples, the same old questions are raised about whether or not at some point computers will be better than us in finding new theorems, and proving them too.</p>
<a href="https://karagila.org/2016/some-thoughts-about-automated-theorem-searching/">Continue reading...</a>Mon, 27 Jun 2016 01:02:26 +0100Iterating Symmetric Extensionshttps://karagila.org/2016/iterating-symmetric-extensions/<p>I don't usually like to write about new papers. I mean, it's a paper, you can read it, you can email me and ask about it if you'd like. It's there. And indeed, for my previous papers, I didn't even mention them being posted on arXiv/submitted/accepted/published. This paper is a bit different; but don't worry, this is not your typical "new paper" post.</p>
<p>If you don't follow arXiv very closely, I have posted a paper titled "<a href="http://arxiv.org/abs/1606.06718">Iterating Symmetric Extensions</a>". This is going to be the first part of my dissertation. The paper is concerned with developing a general framework for iterating symmetric extensions, which oddly enough, is something that we didn't really know how to do until now. There is a refinement of the general framework to something I call "productive iterations" which impose some additional requirements, but allow greater freedom in the choice of filters used to interpret the names. There is an example of a class-length iteration, which effectively takes everything that was done in the paper and uses it to produce a class-length iteration—and thus a class length sequence of models—where slowly, but surely, Kinna-Wagner Principles fail more and more. This means that we are forcing "diagonally" away from the ordinals. So the models produced there will not be defined by their set of ordinals, and sets of sets of ordinals, and so on.</p>
<a href="https://karagila.org/2016/iterating-symmetric-extensions/">Continue reading...</a>Wed, 22 Jun 2016 07:43:40 +0100Syntactic T-Rex: Irregularizedhttps://karagila.org/2016/syntactic-t-rex-irregularized/<p>One of my huge pet peeves is with people who think that writing \(1+2+3+\ldots=-\frac1{12}\) is a reasonable thing without context. Convention dictates that when no context is set, we interpret infinite summation as the usual convergence of a series, namely the limit of the partial sums, if it exists (and of course that \(1+2+3+\ldots\) does not converge to any real number). However, a lot of people who are [probably] not mathematicians per se, insist that just because you <em>can</em> set up a context in which the above equality holds, e.g., Ramanujan summation or zeta regularization, then it is automatically perfectly fine to write this out of nowhere without context and being treated as wrong.</p>
<p>But those people forget that \(0=1\) is also very true in the ring with a single element; or you know, just in any structure for a language including the two constant symbols \(0\) and \(1\), where both constants are interpreted to be the same object. And hey, who even said that \(0\) and \(1\) have to denote constants? Why not ternary relations, or some other thing?</p>
<a href="https://karagila.org/2016/syntactic-t-rex-irregularized/">Continue reading...</a>Mon, 20 Jun 2016 20:39:12 +0100MM70: YouTube links!https://karagila.org/2016/mm70-youtube-links/<p>During the first day of the conference we realized that it might be a good idea to get the lectured videoed, so we quickly set up the videos for the second and third day. With the exception of one speaker who asked not to be videoed, you can find all the lectures from the second and third day of the conference in this <a href="https://www.youtube.com/playlist?list=PLT-roSWIpp1Hvj2GNhztmfNIJ0Shtu2P8" target="_blank">YouTube Playlist</a>.</p>
<p>Enjoy!</p>
<a href="https://karagila.org/2016/mm70-youtube-links/">Continue reading...</a>Tue, 14 Jun 2016 15:46:45 +0100Quick update from Norwichhttps://karagila.org/2016/quick-update-from-norwich/<p>It's been a while, quite a while, since I last posted anything. Even a blurb.</p>
<p>I'm visiting David Asperó in Norwich at the moment, and on Sunday, the 12th, I will return home. It seems that the pattern is that you work most of the day, then head for a few drinks and dinner. Mathematics is eligible for the first two beers, philosophy of mathematics for the next two, and mathematical education for the fifth beer. Then it's probably a good idea to stop. Also it is usually last call, so you kinda have to stop.</p>
<a href="https://karagila.org/2016/quick-update-from-norwich/">Continue reading...</a>Sat, 11 Jun 2016 04:03:38 +0100Vsauce on cardinals and ordinalshttps://karagila.org/2016/vsauce-on-cardinals-and-ordinals/<p>To the readers of my blog, it should come as no surprise that I have a lot of appreciation to what Michael Stevens is doing in Vsauce. In the past Michael, who is not a mathematician, created an excellent video about the Banach-Tarski paradox, as well another one on supertasks. And now he tackled infinite cardinals and ordinals.</p>
<p>You can find the video here:</p>
<a href="https://karagila.org/2016/vsauce-on-cardinals-and-ordinals/">Continue reading...</a>Sat, 09 Apr 2016 21:11:11 +0100What I realized recentlyhttps://karagila.org/2016/what-i-realized-recently/<p>I recently learned that diamonds are cut and polished with the dust of other diamonds. And I recently realized that success is cut and polished with the dust of failures.</p>
<p>In particular a successful mathematical idea is polished with the dust of the many failed ideas that preceded it.</p>
<a href="https://karagila.org/2016/what-i-realized-recently/">Continue reading...</a>Wed, 30 Mar 2016 18:04:42 +0100The Five WH's of Set Theoryhttps://karagila.org/2016/the-five-whs-of-set-theory/<p>I was asked to write a short introduction to set theory for the <a href="https://ests.wordpress.com/">European Set Theory Society</a> website. I attempted to give a short answer to what is set theory, why study it, when and how to study it and where to find resources.</p>
<p>You can find the article on the ESTS' website <a href="https://ests.wordpress.com/resources/">"Resources"</a> page, or in the Papers section of my website.</p>
<a href="https://karagila.org/2016/the-five-whs-of-set-theory/">Continue reading...</a>Sat, 23 Jan 2016 11:11:56 +0000MM70: Travel Grants for Students!https://karagila.org/2015/mm70-travel-grants-for-students/<p>The registration to Menachem Magidor's 70th Birthday Conference is still open!</p>
<p>If you happen to be a student and a member of the Association for Symbolic Logic, you can apply for an ASL travel award. For more information as to how, <a href="http://ma.huji.ac.il/~mm70/#support" target=_blank>please see here</a>. There's just enough time to still submit your request!</p>
<a href="https://karagila.org/2015/mm70-travel-grants-for-students/">Continue reading...</a>Wed, 30 Dec 2015 23:17:30 +0000Goodbye, Oren.https://karagila.org/2015/goodbye-oren/<p>I recently heard the news that Oren Kolman passed away a couple of weeks ago.</p>
<p>Some of you may have known him through MathOverflow as "Avshalom" where he often appeared in the comments with generally useful references, and some of you may have known him in real life as a teacher or a colleague, or a student. Some of you may have even knew him as Eoin Coleman.</p>
<a href="https://karagila.org/2015/goodbye-oren/">Continue reading...</a>Mon, 28 Dec 2015 01:04:11 +0000Michael, you're awesome.https://karagila.org/2015/michael-youre-awesome/<p>After so many terrible YouTube videos about math, about four months ago Michael Stevens made a really nice video about the Banach-Tarski (Banach-T-Rex) paradox. This video was made surprisingly well by someone who has little to none formal mathematical education, but certainly the desire and [at least basic] prowess to understand that perhaps things are not as simple in mathematics - especially when infinite objects are involved - and perhaps you can't just drop something on your audience in hope they view you as a magician. Instead, Michael tried to educate the viewers, in a fairly reasonable way, about infinite objects and the preliminaries needed for the Banach-Tarski paradox.</p>
<p>You can find that video right here: <iframe height="315" width="560" src="https://youtube.com/embed/s86-Z-CbaHA" frameborder="0" allowfullscreen></iframe></p>
<a href="https://karagila.org/2015/michael-youre-awesome/">Continue reading...</a>Wed, 09 Dec 2015 00:13:05 +0000MM70: Registration is now open!https://karagila.org/2015/mm70-registration-is-now-open/<p>I am happy to announce, on behalf of the organizing committee, that the registration for Menachem Magidor's 70th Birthday Conference is now open!</p>
<p><a href="http://ma.huji.ac.il/~mm70/#registration"><img src="http://ma.huji.ac.il/~mm70/poster-small.jpg" alt="MM70 Poster"></a></p>
<a href="https://karagila.org/2015/mm70-registration-is-now-open/">Continue reading...</a>Wed, 02 Dec 2015 19:01:29 +0000Cofinality and the axiom of choicehttps://karagila.org/2015/cofinality-and-the-axiom-of-choice/<p>What is cofinality of a[n infinite] cardinal? If we think about the cardinals as ordinals, as we should in the case the axiom of choice holds, then the cofinality of a cardinal is just the smallest cardinality of an unbounded set. It can be thought of as the least ordinal from which there is an unbounded function into our cardinal. Or it could be thought as the smallest cardinality of a partition whose parts are all "small".</p>
<p>Not assuming the axiom of choice the definition of cofinality remains the same, if we restrict ourselves to ordinals and \(\aleph\) numbers. But why should we? There is a rich world out there, new colors that were not on the choice-y rainbow from before. So anything which is inherently based on the ordering properties of the ordinals should not be considered as <em>the</em> definition of an ordinal. So first let's recall the two ways we can order cardinals without choice.</p>
<a href="https://karagila.org/2015/cofinality-and-the-axiom-of-choice/">Continue reading...</a>Sun, 29 Nov 2015 22:35:41 +0000Don't worry about ithttps://karagila.org/2015/dont-worry-about-it/<p>In a recent Math.SE question about the foundations of category theory without set theory, someone made a claim that \(\ZF\) makes it hard to learn mathematics, because in \(\ZF\) the questions "is \(\RR\subseteq\pi\)?" and "is \(\RR\in\pi\)?" can be phrased. They continued to argue that there are questions like whether or not hom-sets are disjoint or not, which are hard to explain to people who are "drunk on ZF's kool-aid".</p>
<p>So I raised a question in the comment, and got replies from two other people who kept repeating the age old silly arguments of what are the elements of \(\RR\times\RR\) or what are these or that elements. And supposedly the correct pedagogical answer is "It does not matter what are the elements of \(\RR\times\RR\)." With that I strongly agree, and when I taught my students about ordered pairs on the very first class of the semester, I made it very clear that there are other ways to define ordered pairs and that we only do that because we want to show that there is at least one way in which ordered pairs can be realized as sets; but ultimately we couldn't care less about what way they encode ordered pairs into sets, as long it is a "legal" way.</p>
<a href="https://karagila.org/2015/dont-worry-about-it/">Continue reading...</a>Mon, 09 Nov 2015 16:37:02 +0000How do you read a paper?https://karagila.org/2015/how-do-you-read-a-paper/<p>Some time ago I was talking to some people about how they read a paper. And I learned that I am somewhat significantly different from a lot of people. I spent some time thinking about it, and I arrived at some interesting conclusions.</p>
<p>So here is how I read a paper, and I'd like to ask you to think about how you read a paper, and why you read it this way.</p>
<a href="https://karagila.org/2015/how-do-you-read-a-paper/">Continue reading...</a>Sun, 01 Nov 2015 10:29:27 +0000Banach-Tarski Banach-T-Rexhttps://karagila.org/2015/banach-tarski-banach-t-rex/<p>I had already written about <a href="../../2014/anti-anti-banach-tarski-arguments/">anti-anti-Banach-Tarski</a> arguments. But now the Mathematical T-Rex has something to say too.</p>
<p><a href="../../wp-content/uploads/2015/10/LM-BT.png"><img src="../../wp-content/uploads/2015/10/LM-BT.png" alt="LM-BT"></a></p>
<a href="https://karagila.org/2015/banach-tarski-banach-t-rex/">Continue reading...</a>Wed, 21 Oct 2015 01:10:16 +0100The Thing Explainer Challengehttps://karagila.org/2015/the-thing-explainer-challenge/<p>Randall Munroe of the xkcd fame has a new book coming up where he explains various concepts using a small repository of "simple" words (this is based on <a href="http://xkcd.com/1133/" target="_blank">this xkcd comic</a>). He recently posted <a href="http://blog.xkcd.com/2015/09/22/a-thing-explainer-word-checker/" target="_blank">this blog post</a>, where he reveals a word checker program that he wrote to help him with the task.</p>
<p>So I figured, why not use this for explaining mathematical theorems.</p>
<a href="https://karagila.org/2015/the-thing-explainer-challenge/">Continue reading...</a>Thu, 24 Sep 2015 19:51:47 +0100Name that numberhttps://karagila.org/2015/name-that-number/<p>In the best TV show ever produced, Patrick McGoohan plays the mysterious No. Six. He lives in The Village, where former spies are held. The people there are essentially captive, and they all have numbers instead of names. But he is <em>not a number</em>! He is a free man!</p>
<p>We find a similar concept in Zelda's poem "Every man has a name" (לכל איש יש שם), which in Israel is closely associated with the Holocaust and with assigning numbers to people. But alas, we are all numbers in some database. Our ID numbers, employer number, the index under which you appear in the database. You are your phone number, and your bank account number. You are the aggregation of all these numbers. And more.</p>
<a href="https://karagila.org/2015/name-that-number/">Continue reading...</a>Mon, 21 Sep 2015 05:21:06 +0100How to solve your problemshttps://karagila.org/2015/how-to-solve-your-problems/<p>Anyone who peruses mathematical Q&A sites, or had students come to office hours or send questions via other means (email, designated forums, carrier pigeons, or written on a note tied to a brick tossed into your office) knows the following statement: "I don't know where to begin", or at least one of its variants.</p>
<p>Richard Feynman, who was this awesome guy who did a lot of cool things (and also some physics (but I won't hold it against him today)), has a famous three-steps algorithm for solving any problem.
<ol>
<li> Write the problem down.</li>
<li> Think. <em>Real</em>. Hard.</li>
<li> Write the solution down.</li>
</ol></p>
<a href="https://karagila.org/2015/how-to-solve-your-problems/">Continue reading...</a>Sat, 05 Sep 2015 01:46:48 +0100Mathematical T-Rexhttps://karagila.org/2015/mathematical-t-rex/<p>Ever explained to a "working mathematician" about the undecidability of the continuum hypothesis? I bet you too had felt like this T-Rex.</p>
<p><a href="../../wp-content/uploads/2015/08/Cohen-CH.png"><img src="../../wp-content/uploads/2015/08/Cohen-CH.png" alt="T-Rex: CH"></a></p>
<a href="https://karagila.org/2015/mathematical-t-rex/">Continue reading...</a>Fri, 28 Aug 2015 22:53:52 +0100Is the Continuum Hypothesis a definite problem?https://karagila.org/2015/is-the-continuum-hypothesis-a-definite-problem/<p>I am not a Platonist.</p>
<p>In general, while I do find it entertaining to think about god, afterlife, or a concrete mathematical universe, I find more comfort in the uncertainty of existence than I do in the likelihood that my belief is wrong, or in the terrifying conviction that comes along with believing in something (and everyone else is wrong).</p>
<a href="https://karagila.org/2015/is-the-continuum-hypothesis-a-definite-problem/">Continue reading...</a>Fri, 07 Aug 2015 04:44:55 +0100Blurbs!https://karagila.org/2015/blurbs/<p>I don't like social media very much. I never really subscribed to the whole Friendster, MySpace, Facebook, Twitter, Google Wave, Google+, and what have you social network sort of approach that you need to have "friends" and "followers" and "follow" other people.</p>
<p>I always preferred to be the master of my domain. The king of my castle. But literally, not the Seinfeld euphemisms sense. In any case. I've been thinking about a page where I can post short thoughts about math, life and otherwise. The blog is not suitable, since I'm not going to add a post each time I have a new thought. So instead I've started a blurbs page. Each blurb has a number, and an anchored link that you can use in case you want to share it.</p>
<a href="https://karagila.org/2015/blurbs/">Continue reading...</a>Wed, 29 Jul 2015 22:08:59 +0100Young Set Theory 2015https://karagila.org/2015/young-set-theory-2015/<p>Have you heard? Young Set Theory 2015 will take place in Jerusalem! How exciting is that?
Tomorrow (Monday, July 20th) is the last day for registration. This means that you have only a few hours to get yourself together and send an application!</p>
<p>If you are not <a href="http://settheory.mathtalks.org/yst2015/">on this list</a>, you better hurry up to <a href="http://www.as.huji.ac.il/schools/math19/application">this application form</a> and register! Come on, what are you waiting for???</p>
<a href="https://karagila.org/2015/young-set-theory-2015/">Continue reading...</a>Mon, 20 Jul 2015 01:34:17 +0100The rules of researchhttps://karagila.org/2015/the-rules-of-research/<p>Here are the rules of research. Feel free to add your own.</p>
<ol>
<li>If it seems obvious, it's probably false as stated.</li>
<li>If it seems obvious and true, it's probably false without additional hypotheses.</li>
<li>If you think that you wrote a proof, you probably missed something obvious. See (1) and/or (2).</li>
<li>You missed something obvious, see (1).</li>
<li>When you go to see your advisor, suddenly all your thoughts align, and you find the solution.</li>
<li>Two hours after finally talking with your advisor, you realize that your solution is obvious, therefore (1) or (2) apply.</li>
<li>If you use forcing to prove the argument, then you probably missed some object being encoded generically.</li>
<li>If you use forcing, and you didn't miss some crucial object, then you missed some other crucial object not being coded by the generic.</li>
<li>When the truth is found to be lies, and all the joy within you dies...</li>
<li>It's not false if you can force it.</li>
<li>It's not true if you used the axiom of choice more than three times in the proof.</li>
<li>It's not cheating if you asked a visitor to the university whose visit did not span longer than two weeks from the moment you asked them.</li>
<li>If your question was about inner models, you may extend the above timespan to a month. Equally, if the question is about the axiom of choice, it should be shortened to a week.</li>
<li>It's not considered unethical to make sacrifice in order to appease Mayan and Aztec gods. Just in case we got it wrong, and they're in charge of the mathematical universe.</li>
<li>If it still seems obvious, you're probably right. It's still false, though.</li>
<li>If you need six technical lemmas, whose proof is reduced to a single line (or just one lemma with an actual proof), then it's probably obvious. Unfortunately, see (1) and (2).</li>
<li>If by some chance something is obvious, but you wrote out the proof, and it checks out, then it wasn't obvious at all.</li>
<li>Remember what the dormouse said: feed your head.</li>
<li>If you haven't watched Futurama in a while, then you're doing something wrong.</li>
<li>Whatever happens, it's the other guy's fault. Also, see (1).</li>
<li>I just work here, you know? I don't.</li>
<li>Rolling a D20 die to determine the truth value of a statement is the original algorithm behind proof verification software.</li>
<li>When you hit the wall, and you're about to give up and decide that whatever you're trying to prove is false, see (4).</li>
<li>The only proofs that write themselves are obvious proofs. If your proof is obvious, see (2) and (3).</li>
<li>To be honest, it needs more cowbell.</li>
<li>Seriously, you're gonna want that cowbell in your proof.</li>
<li>See (1), (2) and (4).</li>
</ol>
<a href="https://karagila.org/2015/the-rules-of-research/">Continue reading...</a>Wed, 08 Jul 2015 03:27:49 +0100When the box means nothinghttps://karagila.org/2015/when-the-box-means-nothing/<p>When assuming the axiom of choice the product topology and box the topology are quite different when considering infinite products. For example the Tychonoff product of countably many sets of three elements is compact, metrizable an all in all a very nice space. On the other hand, the box product is not separable or second countable at all.</p>
<p>But without the axiom of choice the world is indeed a strange place. This was posted as answer <a href="http://math.stackexchange.com/a/1299027/622">on math.SE</a> earlier today.</p>
<a href="https://karagila.org/2015/when-the-box-means-nothing/">Continue reading...</a>Tue, 26 May 2015 10:44:43 +0100I need your help!https://karagila.org/2015/i-need-your-help/<p>The account has been suspended, I'd like to thank everyone who helped! I have removed the comments posted by "Isa Bria" after the real Isa Bria has contacted me and asked to remove them.</p>
<p>We have verified, in the meantime, that the same person impersonating me on Quora is the one who used Isa's name in those comments.</p>
<a href="https://karagila.org/2015/i-need-your-help/">Continue reading...</a>Fri, 08 May 2015 15:51:39 +0100A problem and a possible solutionhttps://karagila.org/2015/a-problem-and-a-possible-solution/<p>So closing in on my third year, and in theory I should finish my dissertation by next summer. This means that I should probably start the writing process around April (I'm a fast writer, what with having a quality keyboard and knowing LaTeX quite well).</p>
<p>But if I want to be sure that I can finish next year, I should probably omit one of the problems I originally wanted to solve; and keep that for later, unless it turns out to be particularly simple when I finish the rest.</p>
<a href="https://karagila.org/2015/a-problem-and-a-possible-solution/">Continue reading...</a>Wed, 06 May 2015 09:41:26 +0100The Torture of Mathematical Researchhttps://karagila.org/2015/the-torture-of-mathematical-research/<p>In a manner more befitting to Edgar Allan Poe, Mathematics is a cruel and unforgiving mistress.</p>
<p>Mathematics will often dangle in front of you some ideas, and you will work them out, to find a mistake. Then you will go back to the beginning, find new ideas that she had in store, work those out and proceed only to find a mistake much later. Then you go back to the beginning, and you find yet another minor idea that was missing, and now when everything works you continue. But then you find another gap, and you have to go back to the beginning and hope to find yet another idea. And don't get me started on those ideas that you find not to work during all these searches.</p>
<a href="https://karagila.org/2015/the-torture-of-mathematical-research/">Continue reading...</a>Wed, 22 Apr 2015 08:12:02 +0100Turning Green!https://karagila.org/2015/turning-green/<p>Well, it's that special day of the year again. The holiest of days. The day we celebrate the patron of alcohol enthusiasts, Saint Patrick.
So raise your whiskey glasses (my recommendation is Jameson 12 for those with deep pockets; Kilbeggan for those with shallow pockets), your Guinness pints, and wear green. Because tomorrow is all about soaking your brains in ethanol while listening to Irish folk songs, Irish punk rock (Thin Lizzy and Flogging Molly, for example) and other drinking songs.</p>
<a href="https://karagila.org/2015/turning-green/">Continue reading...</a>Tue, 17 Mar 2015 00:16:14 +0000Existentialism II, like Colonel Kurtzhttps://karagila.org/2015/existentialism-ii-like-colonel-kurtz/<p>Last night I posted a strange story about a gecko and a moth.</p>
<p>It occurred to me today that this is a very Kurtzian story, if we take the Brando interpretation of Mistah Kurtz (he dead) in Apocalypse Now! (the Redux version is one of my favorite movies, I guess). In the movie Harrison Ford plays a tape where Kurtz is describing a snail crawling along the straight edge of a razor, crawling slithering, this is his dream, this is his nightmare.</p>
<a href="https://karagila.org/2015/existentialism-ii-like-colonel-kurtz/">Continue reading...</a>Wed, 11 Mar 2015 00:34:48 +0000Existentialismhttps://karagila.org/2015/post-post-modern-existentialism/<p>Spring has begun in Israel.</p>
<p>Yesterday was the first day where you could say that the weather is characteristically spring; and today (as well tomorrow) we are expected for a daytime heatwave and a nighttime cold weather (e.g. Beer-Sheva is expecting a whopping 31 degrees centigrade during the day, and 13 during the night).</p>
<a href="https://karagila.org/2015/post-post-modern-existentialism/">Continue reading...</a>Tue, 10 Mar 2015 00:34:26 +0000Much needed terminology, that isn't going to happen any time soonhttps://karagila.org/2015/much-needed-terminology-that-isnt-going-to-happen-any-time-soon/<p>One of the reasons I love set theory so much, and specifically choice related research, is that this is an extremely fertile ground for amusing terminology. We have forcing, cardinals, collapsing, we have all sort of gems and rodents at our disposal... we even have a swamp thing.</p>
<p>Here are a few terminological ideas that I doubt are going to be developed by anyone. But if you plan on doing something similar (or if my terminology inspires some proof) feel free to use these terms, and please let me know!</p>
<a href="https://karagila.org/2015/much-needed-terminology-that-isnt-going-to-happen-any-time-soon/">Continue reading...</a>Mon, 02 Feb 2015 20:29:45 +0000On the Partition Principlehttps://karagila.org/2014/on-the-partition-principle/<p>Last Wednesday I gave a talk about the Partition Principle in our students seminar. This talk covered the historical background of the oldest open problem in set theory, and two proofs that for a long time I avoided learning. I promised to post a summary of the talk here. So here it is. The historical data was taken from the paper by Banaschewski and Moore, "The dual Cantor-Bernstein theorem and the partition principle." (<a href="http://www.ams.org/mathscinet-getitem?mr=1072073">MR1072073</a>) as well Moore's wonderful book "Zermelo’s Axiom of Choice" (which has a Dover reprint!).</p>
<hr />
<a href="https://karagila.org/2014/on-the-partition-principle/">Continue reading...</a>Sat, 20 Dec 2014 20:45:25 +0000To Colloops a cardinalhttps://karagila.org/2014/to-colloops-a-cardinal/<p>This is nothing new, but it's a choice-y way of thinking about it. Which is really what I enjoy doing.</p>
<p><strong>Definition.</strong> Let \(V\) be a model of \(\ZFC\), and \(\PP\in V\) be a notion of forcing. We say that a cardinal \(\kappa\) is "colloopsed" by \(\PP\) (to \(\mu\)) if every \(V\)-generic filter \(G\) adds a bijection from \(\mu\) onto \(\kappa\), but there is an intermediate \(N\subseteq V[G]\) satisfying \(\ZF\) in which there is no such bijection, but there is one for each \(\lambda\lt\kappa\).</p>
<a href="https://karagila.org/2014/to-colloops-a-cardinal/">Continue reading...</a>Sun, 05 Oct 2014 21:24:10 +0100Huge cardinals are huge!https://karagila.org/2014/huge-cardinals-are-huge/<p>In <a title="Ramsey cardinals are large large small large cardinals" href="../../2014/ramsey-cardinals-are-large-large-small-large-cardinals/" target="_blank">a previous post</a>, I gave a humorous classification of large cardinals, dividing them to large large cardinals and small large cardinals, and so on. In particular huge cardinals were classified as large large large large large cardinals. But how large are they? Not surprisingly, very large.</p>
<p>In case you forgot, \(\kappa\) is a huge cardinal if there is an elementary embedding \(j\colon V\to M\), where \(M\) is a transitive class containing all the ordinals, with \(\kappa\) critical, and \(M\) is closed under sequences of length \(j(\kappa)\).</p>
<a href="https://karagila.org/2014/huge-cardinals-are-huge/">Continue reading...</a>Fri, 03 Oct 2014 05:32:34 +0100Anti-anti Banach-Tarski argumentshttps://karagila.org/2014/anti-anti-banach-tarski-arguments/<p>Many people, more often than not these are people from <del>analysis or worse (read: physicists, which in general are not bad, but I am bothered when they think they have a say in how theoretical mathematics should be done),</del> pseudo-mathematical, non-mathematical, philosophical communities, and from time to time actual mathematicians, would say ridiculous things like "We need to omit the axiom of choice, and keep only Dependent Choice, since the axiom of choice is a source for constant bookkeeping in the form of non-measurable sets".</p>
<p>People often like to cite the paradoxical decomposition of the unit sphere given by Banach-Tarski. "Yes, it doesn't make any sense, therefore the axiom of choice needs to be omitted".</p>
<a href="https://karagila.org/2014/anti-anti-banach-tarski-arguments/">Continue reading...</a>Mon, 22 Sep 2014 13:31:38 +0100Ramsey cardinals are large large small large cardinalshttps://karagila.org/2014/ramsey-cardinals-are-large-large-small-large-cardinals/<p>There is no well defined notion for what is a large cardinal. In some contexts those are inaccessibles, in others those are critical points of elementary embeddings, and sometimes \(\aleph_\omega\) is a large cardinal.</p>
<p>But we can clearly see some various degrees of largeness by how much structure the existence of the cardinal imposes. Inaccessible cardinals prove there is a model for second-order \(\ZFC\), and Ramsey cardinals imply \(V\neq L\). Strongly compact cardinals even imply that \(\forall A(V\neq L[A])\).</p>
<a href="https://karagila.org/2014/ramsey-cardinals-are-large-large-small-large-cardinals/">Continue reading...</a>Fri, 19 Sep 2014 22:03:06 +0100My love-hate relationship with forcinghttps://karagila.org/2014/my-love-hate-relationship-with-forcing/<p>Forcing is great. Forcing is an amazing method. If you can think about it, then you can probably force to make it happen. All it requires is some creativity and rudimentary understanding of the objects that you are working with.</p>
<p>Forcing is horrible. If you can think about it, you can encode it into generic objects. If you can't think about it, you can encode it into generic objects. If you think that you can't encode it into generic objects, then you are probably wrong, and you can still encode it into generic objects.</p>
<a href="https://karagila.org/2014/my-love-hate-relationship-with-forcing/">Continue reading...</a>Wed, 10 Sep 2014 08:27:39 +0100How Fields Became "Nobel"https://karagila.org/2014/how-fields-became-nobel/<p>Here is some interesting piece of mathematical history: How the Fields medal went from "Soviet award" to "Mathematical Nobel".</p>
<p><a href="http://www.nytimes.com/2014/08/10/opinion/sunday/how-math-got-its-nobel-.html" target="_blank">How Math Got Its 'Nobel'</a>.</p>
<a href="https://karagila.org/2014/how-fields-became-nobel/">Continue reading...</a>Wed, 13 Aug 2014 11:18:23 +0100This is not a blog post.https://karagila.org/2014/this-is-not-a-blog-post/<p>This is not a blog post.</p>
<p> </p>
<a href="https://karagila.org/2014/this-is-not-a-blog-post/">Continue reading...</a>Tue, 12 Aug 2014 08:35:06 +0100No uniform ultrafiltershttps://karagila.org/2014/no-uniform-ultrafilters/<p>Earlier this morning I received an email question from Yair Hayut. Is it consistent without the axiom of choice, of course, that there are free ultrafilters on the natural numbers but none on the real numbers?</p>
<p>Well, of course that the answer is negative. If \(\cal U\) is a free ultrafilter on \(\omega\) then \(\{X\subseteq\mathcal P(\omega)\mid X\cap\omega\in\cal U\}\) is a free ultrafilter on \(\mathcal P(\omega)\). But that doesn't mean that the question should be trivialized. What Yair asked was actually slightly subtler than that: is it consistent that there are free ultrafilters on \(\omega\), but no uniform ultrafilters on the real numbers?</p>
<a href="https://karagila.org/2014/no-uniform-ultrafilters/">Continue reading...</a>Thu, 24 Jul 2014 11:48:23 +0100Why Carl Sagan was better than Neil deGrasse Tyson, and from the most of us toohttps://karagila.org/2014/why-carl-sagan-was-better-than-neil-degrasse-tyson-and-from-the-most-of-us-too/<p>I've recently watched the finale of Cosmos, the new version, presented by Neil deGrasse Tyson. It was a very nice series which seem to push forward the fact that science is based on not knowing, rather than knowing, and the will to know. No, not will, the <em>need</em> to know. We need to know, and this is why we go on searching the answers to questions that haunt us.</p>
<p>Neil deGrasse Tyson pushed a lot on the point that we really push the planet to its limits, and we might be close to the point of no return from which there is only a terrible Venus-like fate to this planet. And that is an important issue, no doubt.</p>
<a href="https://karagila.org/2014/why-carl-sagan-was-better-than-neil-degrasse-tyson-and-from-the-most-of-us-too/">Continue reading...</a>Wed, 16 Jul 2014 03:23:12 +0100Forcing. This Has To Stop.https://karagila.org/2014/forcing-this-has-to-stop/<p>Most, if not all, set theorists at one point or another were asked by a fellow mathematician to explain how forcing works. And many chose to give as an opening analogy field extensions. You can talk about how the construction of an algebraic closure is a bit similar, since the generic filter is a bit like the maximal ideal you use to make this construction; or you can talk about adding a transcendental number and the things that change as you add it.</p>
<p>But both these analogies would be wrong. They only take you so far, and not further. And if you wish to give a proper explanation to your listener, there will be no escape from the eventual logic and set theory of it all. I stopped, or at least I'm doing my best, using these analogies. I do, however, use the analogy of "How many roots does \(x^{42}-2\) has?" as an example for everyday independence (none in \(\mathbb Q\), two in \(\mathbb R\) and many in \(\mathbb C\)). But this is to motivate a different part of the explanation: the use of models of set theory (e.g. "How can you add a real number??", well how can you add a root to a polynomial?) and the fact that we don't consider the universe per se. Of course, in a model of \(\ZFC\) we can always construct the rest of mathematics internally, but this is not the issue now. Just like we have a model of one theory, we can have a model for another.</p>
<a href="https://karagila.org/2014/forcing-this-has-to-stop/">Continue reading...</a>Sat, 07 Jun 2014 03:36:04 +0100Debates About The Climatehttps://karagila.org/2014/debates-about-the-climate/<p>John Oliver (and his team of writers, I suppose) makes a particularly sharp point about the role of the media in the debate about climate changes.</p>
<p><iframe height="315" width="560" src="https://youtube.com/embed/cjuGCJJUGsg" frameborder="0" allowfullscreen></iframe></p>
<a href="https://karagila.org/2014/debates-about-the-climate/">Continue reading...</a>Mon, 12 May 2014 15:13:50 +0100Downward Löwenheim-Skolem Theorems and Choice Principleshttps://karagila.org/2014/lowenheim-skolem-choice/<p>I have posted a new note on the <a href="../../papers.html"><strong>Papers</strong></a> page.</p>
<p>It's a short little proof that the classic downward Löwenheim-Skolem theorem is equivalent to \(\DC\), and that for a well-ordered \(\kappa\), the downward Löwenheim-Skolem asserting the existence of models of cardinality \(\leq\kappa\) is in fact equivalent to the conjunction of \(\DC\) and \(\AC_\kappa\).</p>
<a href="https://karagila.org/2014/lowenheim-skolem-choice/">Continue reading...</a>Mon, 31 Mar 2014 04:00:47 +0100...And we're back!https://karagila.org/2014/and-were-back/<p>Okay, I took the time to make some changes to my homepage.</p>
<p>Clearly, the theme is different now. I also changed the content of the Papers page. I removed the abstracts (for some reason I thought this is going to be a cool thing to have, but with time it grew to annoy me greatly). I will definitely post a few things there in the coming time, some notes and eventually some nice papers -- I hope!</p>
<a href="https://karagila.org/2014/and-were-back/">Continue reading...</a>Mon, 31 Mar 2014 01:12:27 +0100Equivalent to the axiom of choice that I didn't know abouthttps://karagila.org/2013/equivalent-to-the-axiom-of-choice-that-i-didnt-know-about/<p>First I must apologize. I wanted to write a second post about forcing and preserving choice principles (I gave a nice talk in the student seminar about a week after the previous post), and I had a lot of things to say. I just ended up not writing it, and for absolutely no good reason. And somehow things continued that way and I felt more and more awkward to post anything because of that, but the vicious cycle must break somewhere.</p>
<p>I recently tried to figure out the consequence of some forcing in \(\ZF\). This has led me to the following statement:</p>
<a href="https://karagila.org/2013/equivalent-to-the-axiom-of-choice-that-i-didnt-know-about/">Continue reading...</a>Sun, 13 Oct 2013 11:46:34 +0100The cardinal trichotomy: finite, countable, and uncoutnable.https://karagila.org/2013/the-cardinal-trichotomy-finite-countable-and-uncoutnable/<p>There is a special trichotomy for cardinality of sets. Sets are either finite, or countably infinite, or uncountable. It's an interesting distinction, and it has a very deep root -- at least in my perspective -- in the role of first-order logic.</p>
<p>Finite objects can be characterized in full using first-order logic. The fact that you can write down how many elements a set have, is a huge thing. For example, every finite structure of a first-order logic language has a categorical axiomatization. If the language is finite, then the axiomatization is finite as well.</p>
<a href="https://karagila.org/2013/the-cardinal-trichotomy-finite-countable-and-uncoutnable/">Continue reading...</a>Thu, 18 Jul 2013 03:00:25 +0100Strong chain conditions and preservation of choice principleshttps://karagila.org/2013/strong-chain-conditions-and-preservation-of-choice-principles/<p>I recently returned from a wonderful week in Italy, where I attended the Young Set Theorist 2013 conference. I met a lot of new people, some old acquaintances, baffled people with oversized pickles, and most importantly shared and learned some great ideas.</p>
<p>One of the nicer things I'd done was to work with Thomas Johnstone on some preservation theorem related to forcing and choice principles (see also <a href="http://boolesrings.org/victoriagitman/2013/06/25/on-ground-model-definability/">this announcement by Victoria Gitman</a>). In order to clean up a bit the proof, I'll introduce a new definition which is going to slightly extend the ideas originally discussed in Italy. So without further jibber jabber, let's talk mathematics.</p>
<a href="https://karagila.org/2013/strong-chain-conditions-and-preservation-of-choice-principles/">Continue reading...</a>Fri, 28 Jun 2013 04:04:28 +0100Provable Equality Of Exponentiationhttps://karagila.org/2013/provable-equality-of-exponentiation/<p>It's an almost trivial theorem of cardinal arithmetics in \(\ZF\) that given four cardinals, \(\frak p,q,r,s\) such that \(\frak p<q,\ r<s\) we have \(\frak p^r\leq q^s\).</p>
<p>In <a href="http://math.stackexchange.com/q/402960/622">a recent question on math.SE</a> some user has asked whether or not we always have a strict inequality. Everyone sufficiently familiar with the basics of independence results would know that it is consistent to have \(2^{\aleph_0}=2^{\aleph_1}=\aleph_2\), in which case taking \(\mathfrak{p=r}=\aleph_0,\ \mathfrak{q=s}=\aleph_1\) gives us equality. But it's also trivial to see that we can always pick cardinals whose difference is large enough to keep the inequality true.</p>
<a href="https://karagila.org/2013/provable-equality-of-exponentiation/">Continue reading...</a>Thu, 30 May 2013 01:01:17 +0100Choice Principles: What are they?https://karagila.org/2013/choice-principles-what-are-they/<p>What does the phrase "\(\varphi\) is a choice principle" mean? This is something that I have spent quite a lot of my time thinking about. Directly and indirectly. What are choice principles as we know them? And who gets to decide?</p>
<p>For a set theorist, at least a "classical" set theorist (working within the confines of \(\ZF\) and its extensions to \(\ZFC\) and so on), a choice principle can aptly be defined as "Sentence \(\varphi\) in the language of set theory which is provable from \(\ZFC\) but independent from \(\ZF\)". Indeed that is how I think of choice principles, and how I referred to them in my masters thesis (albeit I prefaced that definition by pointing out its naivety).</p>
<a href="https://karagila.org/2013/choice-principles-what-are-they/">Continue reading...</a>Tue, 05 Mar 2013 02:37:32 +0000Infinite dimensions and the axiom of choicehttps://karagila.org/2013/infinite-dimensions-and-the-axiom-of-choice/<p>In <a href="http://math.stackexchange.com/q/300494/622" target="_blank">a recent math.SE question</a>, Thomas Andrews asked whether or not the existence of an infinite linearly independent set in a vector space which is not finitely generated requires the axiom of choice.</p>
<p>The answer is positive. It does require the axiom of choice. The counterexample is due to Läuchli who constructed a model in which there was a vector space which was not finitely generated, but every proper subspace is finitely generated. Given such vector space it is obvious that no infinite set can be linearly independent.</p>
<a href="https://karagila.org/2013/infinite-dimensions-and-the-axiom-of-choice/">Continue reading...</a>Tue, 19 Feb 2013 01:08:01 +0000Vector Spaces and Antichains of Cardinals in Models of Set Theoryhttps://karagila.org/2013/vector-spaces-and-antichains-of-cardinals-in-models-of-set-theory/<p>I finally uploaded my M.Sc. thesis titled “<a href="../../wp-content/uploads/2012/10/msc-thesis.pdf">Vector Spaces and Antichains of Cardinals in Models of Set Theory</a>”.</p>
<p>There are several changed from the printed and submitted version, but those are minor. The <a title="Papers" href="../../papers.html">Papers</a> page lists them.</p>
<a href="https://karagila.org/2013/vector-spaces-and-antichains-of-cardinals-in-models-of-set-theory/">Continue reading...</a>Mon, 11 Feb 2013 03:28:34 +0000The Philosophy of Cardinality: Pathologies or not?https://karagila.org/2013/the-philosophy-of-cardinality-pathologies-or-not/<p>What are numbers? For the layman numbers are those things we use for counting and measuring. The complex numbers are on the edge of being numbers, but that's only because they are taught in high-schools and many people still consider them imaginary (despite them having some reasonably applicative uses).</p>
<p>But a mathematician knows that a number is basically a notion which represents a quantity. We have so many numbers that I don't even know where to begin if I wanted to list them. Luckily most of the readers (I suppose) are mathematicians and so I don't have to.</p>
<a href="https://karagila.org/2013/the-philosophy-of-cardinality-pathologies-or-not/">Continue reading...</a>Sun, 20 Jan 2013 01:18:10 +0000On Leinster's "Rethinking set theory"https://karagila.org/2013/on-leinsters-rethinking-set-theory/<p>There has been a lot of recent discussions regarding Tom Leinster's paper "<strong>Rethinking set theory</strong>" (<a href="http://arxiv.org/abs/1212.6543">arXiv</a>). Being an opinionated person, I only found it natural that I had an opinion on the paper. Now that I have a blog, I have a place to write this opinion as well.</p>
<p>The paper challenges the hegemony of \(\ZFC\) as the choice set theory. It offers an alternative in the form of \(\newcommand{\ETCS}{\axiom{ETCS}}\newcommand{\ETCSR}{\axiom{ETCS+R}}\ETCS\), a categories based set theory. The problem with \(\ETCS\) is that it is slightly weaker than \(\ZFC\). But we also know how much weaker: it lacks the expressibility of the full replacement schema. In this case we can just add a replacement schema-like list of axioms to have \(\ETCSR\).</p>
<a href="https://karagila.org/2013/on-leinsters-rethinking-set-theory/">Continue reading...</a>Fri, 04 Jan 2013 23:19:30 +0000The Axiom of Choice and Self-Dual Vector Spaceshttps://karagila.org/2012/the-axiom-of-choice-and-self-dual-vector-spaces/<p>I have uploaded a note titled <a href='../../wp-content/uploads/2012/10/dual.pdf'>The Axiom of Choice and Self-Duality of Vector Spaces</a>. Here is a short summary and background.</p>
<p>It is a well known fact (in \(\ZFC\) at least) that if \(V\) is a vector space, and \(V^\ast\) is the algebraic dual of \(V\) then \(V\cong V^{\ast\ast}\) if and only if \(\dim V<\infty\).</p>
<a href="https://karagila.org/2012/the-axiom-of-choice-and-self-dual-vector-spaces/">Continue reading...</a>Sun, 28 Oct 2012 01:28:33 +0000First Posthttps://karagila.org/2012/first-post/<p>Well... This is my first post on this blog, and I have absolutely no idea how to start it.</p>
<p>Should I make it about myself? about my life? about my academic status? How I about I tell cool stories from my life, perhaps inebriated adventures? army experiences? Maybe I should write about mathematics. Perhaps some nice proof or some nice theorem?</p>
<a href="https://karagila.org/2012/first-post/">Continue reading...</a>Fri, 19 Oct 2012 05:46:50 +0100