## Multiple Choice

Aug 13 2022, 09:16

### Which answer is the most correct?

- All of the above.
- All of the above.
- All of the above.
- All of the above.
- None of the above.

## Question on Dually Dedekind-infinite sets

Jul 27 2022, 09:42

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.

Before we get to the question, let's review some definitions.

Continue reading...## Changes

Mar 31 2022, 22:02

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.

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.

Continue reading...## Engaged

Jul 09 2021, 17:02

No, this isn't some personal blog post.

Derek Muller of the Veritasium 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.

Continue reading...## Flow and the Partition Principle II (2 updates)

Mar 31 2021, 08:01

Well, it seems that there's a new paper about Flow and the Partition Principle on arXiv. This time claiming to prove that in ZF+Atoms the Partition Principle does not imply the Axiom of Choice.

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.

Continue reading...## Factorial algorithms and recursive thoughts

Dec 29 2020, 21:03

Recursion: 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.

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:

Continue reading...## Hindsight: 2020

Dec 22 2020, 21:33

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.

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.

Continue reading...## Prikry Forcing Online

Nov 19 2020, 14:07

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 right here. Here are the highlights:

- We'll do this online on December 14th;
- there are four invited speakers: Alejandro Poveda (HUJI), Tom Benhamou (TAU), Sittinon Jirattikansakul (CMU), and Chris Lambie-Hanson (VCU);
- 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
*any set theoretic topic*.

## Flow and the Partition Principle: Conclusions

Oct 26 2020, 20:10

So. Just over two weeks ago a paper on arXiv 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\).

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.

Continue reading...## Flow and the Partition Principle (6 updates)

Oct 09 2020, 14:30

Some of you already saw this new preprint on arXiv, and some of you even emailed me about it. I'm reading the paper, but I decided to do something drastic and join Twitter, **temporarily**, so I can more easily have discussions about this paper.

I will update this post on occasion while I read it, to reflect new understanding, kind of like a live journal, if you will.

Continue reading...## Zornian Functional Analysis coming to arXiv!

Oct 07 2020, 15:23

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, I finally posted the note here. It then received some feedback from some people, and about a year after that I posted a small revision.

Earlier this week I suggested my note 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 **Functional Analysis** book, which refers to my write-up.

## YouTubers Wanted

Sep 04 2020, 12:23

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.

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.

Continue reading...## Guest comic: Foundations of Forcing

Jul 28 2020, 13:29

I recently posted an answer on MathOverflow where I explained a bit about the approaches to forcing in the literature, at least as I experienced them.

Hanul Jeon took some of these words, and made them into a real nice comic. Originally appearing on his Twitter account. He was kind enough to let me post it here with his permission.

Continue reading...## Want jobs?

Jun 17 2020, 18:02

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.

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.

Continue reading...## Speak up

Jun 03 2020, 13:54

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).

Oddly enough, I am moved to write this by a Ben & Jerry's Silence is NOT an Option campaign.

Continue reading...## What can you learn about writing papers from cooking pasta?

May 25 2020, 21:40

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.

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).

Continue reading...## On "trivial" statements

May 08 2020, 16:08

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.

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.

Continue reading...## Yes! Future Leaders Fellowship!

Apr 23 2020, 10:13

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.

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.

Continue reading...## Choose your own adventure (redux)

Apr 16 2020, 12:39

I've decided to design a small "choose your own adventure". For fatalists. You can also play the interactive version here!.

This was originally "in-blog", but I decided that the interactive version is a bit more interesting. Enjoy it while it lasts!

Continue reading...## Countable sets of reals

Apr 06 2020, 13:15

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 on MathOverflow.)

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):

Continue reading...## Bonus questions

Mar 31 2020, 12:25

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.

#### (Week 2, arithmetic hierarchy, \(\beta\)-function)

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?

Continue reading...## Looking Back at the 2010s

Dec 27 2019, 18:53

The decade is drawing to a close, and while it is entirely arbitrary, it's a great excuse to look back at this decade.

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.)

Continue reading...## Methods in Higher Forcing Axioms: The inevitable conclusion

Sep 17 2019, 17:42

The meeting in Norwich is over. Here are my thoughts.

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.

Continue reading...## Methods in Higher Forcing Axioms

Sep 09 2019, 16:12

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, right here. This workshop is sponsored by the London Mathematical Society, and the School of Mathematics in UEA.

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.

Continue reading...## 7 Easy Hacks to Improve Your Math Skills

Aug 22 2019, 19:55

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!

### 1. Get a graduate-level degree in mathematics!

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.

Continue reading...## New notes online!

Jul 22 2019, 17:40

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.

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.

Continue reading...## In praise of Replacement

Mar 06 2019, 22:20

I have often seen people complain about Replacement axioms. For example, this MathOverflow question, or this one, or that one, and also this one. 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).

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).

Continue reading...## Preserving Properness

Nov 23 2018, 20:03

I just posted another problem in the problems page. The prize, by the way, is a bottle of port wine, or equivalent. And I truly hope to make good on that prize.

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 *"Proper and Improper Forcing" XVII Observation 2.12 (p.826)*. 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\).

## Pickles!

Nov 16 2018, 10:03

Those who know me, also know my strong liking of the amazing Spreewaldhof Get One! 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!

So naturally I could not skip on this video.

Continue reading...## Cohen's Oddity

Oct 20 2018, 12:05

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.

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.

Continue reading...## Five Star Theorems

Aug 24 2018, 16:35

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!

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).

Continue reading...## Definable Models Without Choice

Jun 07 2018, 23:48

Suppose that a parameter formula defines an inner model. Does that inner model satisfy choice?

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.

Continue reading...## Critical Cardinals

May 10 2018, 07:48

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 arXiv and you can check the **Papers** section
of the site to see if it's been published or whatnot.

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.

Continue reading...## Open Problems!

Apr 08 2018, 01:14

I've decided to have a list of open problems on my site. I am no Erdős, nor Hilbert, nor Knuth.

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.

Continue reading...## New website!

Apr 05 2018, 18:02

Welcome to my new website!

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, **karagila.org**. 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!

## In praise of failure

Mar 13 2018, 17:30

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 *not* 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.

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).

Continue reading...## Trust me, I'm a doctor!

Nov 02 2017, 19:31

Finally!

Six months after I had turned in my dissertation, I have finally received the approval on the damn thing.

Continue reading...## Some thoughts about teaching introductory courses in set theory

Sep 22 2017, 00:39

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.

Here is the video:

Continue reading...## Dangerous knowledge in the Information Age

Aug 11 2017, 13:09

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.

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 *what* 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.

## The transitive multiverse

Jul 22 2017, 22:18

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.

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.

Continue reading...## Strong coloring

Jul 07 2017, 12:02

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.

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.

Continue reading...## Moment of Zen

May 16 2017, 14:26

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.Continue reading...

## What a long strange trip it's been...

Apr 25 2017, 09:28

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).

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).

Continue reading...## Stationary preserving permutations are the identity on a club

Mar 20 2017, 23:50

This is not something particularly interesting, I think. But it's a nice exercise in Fodor's lemma.

**Theorem.** 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}\).

## Got jobs?

Feb 19 2017, 15:42

Good news! I'm about to finish my dissertation. Hopefully, come summer I will be Dr. Asaf Karagila.

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.

Continue reading...## Farewell, Matti

Feb 06 2017, 19:06

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.

Matti was a kind teacher, even if sometimes over-pedantic.

Continue reading...## Mathematical philosophy on YouTube!

Dec 23 2016, 10:07

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.

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.

Continue reading...## Some thoughts about teaching advanced set theory

Nov 14 2016, 00:14

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).

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.

Continue reading...## Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice

Oct 10 2016, 19:34

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.

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.

Continue reading...## In praise of some history

Jul 10 2016, 01:19

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".

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.

Continue reading...## Constructive proof that large cardinals are consistent

Jul 06 2016, 13:30

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.

However, we have a proof, a constructive proof that large cardinals are consistent. And they exist in an inner model of our universe.

Continue reading...## Some thoughts about "automated theorem searching"

Jun 27 2016, 01:02

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 **should** 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.

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.

Continue reading...## Iterating Symmetric Extensions

Jun 22 2016, 07:43

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.

If you don't follow arXiv very closely, I have posted a paper titled "Iterating Symmetric Extensions". 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.

Continue reading...## Syntactic T-Rex: Irregularized

Jun 20 2016, 20:39

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 *can* 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.

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?

Continue reading...## MM70: YouTube links!

Jun 14 2016, 15:46

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 YouTube Playlist.

Enjoy!

Continue reading...## Quick update from Norwich

Jun 11 2016, 04:03

It's been a while, quite a while, since I last posted anything. Even a blurb.

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.

Continue reading...## Vsauce on cardinals and ordinals

Apr 09 2016, 21:11

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.

You can find the video here:

Continue reading...## What I realized recently

Mar 30 2016, 18:04

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.

In particular a successful mathematical idea is polished with the dust of the many failed ideas that preceded it.

Continue reading...## The Five WH's of Set Theory

Jan 23 2016, 11:11

I was asked to write a short introduction to set theory for the European Set Theory Society 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.

You can find the article on the ESTS' website "Resources" page, or in the Papers section of my website.

Continue reading...## MM70: Travel Grants for Students!

Dec 30 2015, 23:17

The registration to Menachem Magidor's 70th Birthday Conference is still open!

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, please see here. There's just enough time to still submit your request!

Continue reading...## Goodbye, Oren.

Dec 28 2015, 01:04

I recently heard the news that Oren Kolman passed away a couple of weeks ago.

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.

Continue reading...## Michael, you're awesome.

Dec 09 2015, 00:13

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.

You can find that video right here:

Continue reading...## MM70: Registration is now open!

Dec 02 2015, 19:01

I am happy to announce, on behalf of the organizing committee, that the registration for Menachem Magidor's 70th Birthday Conference is now open!

Continue reading...## Cofinality and the axiom of choice

Nov 29 2015, 22:35

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".

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 *the* definition of an ordinal. So first let's recall the two ways we can order cardinals without choice.

## Don't worry about it

Nov 09 2015, 16:37

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".

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.

Continue reading...## How do you read a paper?

Nov 01 2015, 10:29

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.

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.

Continue reading...## Banach-Tarski Banach-T-Rex

Oct 21 2015, 01:10

I had already written about anti-anti-Banach-Tarski arguments. But now the Mathematical T-Rex has something to say too.

Continue reading...## The Thing Explainer Challenge

Sep 24 2015, 19:51

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 this xkcd comic). He recently posted this blog post, where he reveals a word checker program that he wrote to help him with the task.

So I figured, why not use this for explaining mathematical theorems.

Continue reading...## Name that number

Sep 21 2015, 05:21

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 *not a number*! He is a free man!

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.

Continue reading...## How to solve your problems

Sep 05 2015, 01:46

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.

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.

- Write the problem down.
- Think.
*Real*. Hard. - Write the solution down.

## Mathematical T-Rex

Aug 28 2015, 22:53

Ever explained to a "working mathematician" about the undecidability of the continuum hypothesis? I bet you too had felt like this T-Rex.

Continue reading...## Is the Continuum Hypothesis a definite problem?

Aug 07 2015, 04:44

I am not a Platonist.

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).

Continue reading...## Blurbs!

Jul 29 2015, 22:08

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.

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.

Continue reading...## Young Set Theory 2015

Jul 20 2015, 01:34

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!

If you are not on this list, you better hurry up to this application form and register! Come on, what are you waiting for???

Continue reading...## The rules of research

Jul 08 2015, 03:27

Here are the rules of research. Feel free to add your own.

- If it seems obvious, it's probably false as stated.
- If it seems obvious and true, it's probably false without additional hypotheses.
- If you think that you wrote a proof, you probably missed something obvious. See (1) and/or (2).
- You missed something obvious, see (1).
- When you go to see your advisor, suddenly all your thoughts align, and you find the solution.
- Two hours after finally talking with your advisor, you realize that your solution is obvious, therefore (1) or (2) apply.
- If you use forcing to prove the argument, then you probably missed some object being encoded generically.
- 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.
- When the truth is found to be lies, and all the joy within you dies...
- It's not false if you can force it.
- It's not true if you used the axiom of choice more than three times in the proof.
- 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.
- 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.
- 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.
- If it still seems obvious, you're probably right. It's still false, though.
- 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).
- If by some chance something is obvious, but you wrote out the proof, and it checks out, then it wasn't obvious at all.
- Remember what the dormouse said: feed your head.
- If you haven't watched Futurama in a while, then you're doing something wrong.
- Whatever happens, it's the other guy's fault. Also, see (1).
- I just work here, you know? I don't.
- Rolling a D20 die to determine the truth value of a statement is the original algorithm behind proof verification software.
- 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).
- The only proofs that write themselves are obvious proofs. If your proof is obvious, see (2) and (3).
- To be honest, it needs more cowbell.
- Seriously, you're gonna want that cowbell in your proof.
- See (1), (2) and (4).

## When the box means nothing

May 26 2015, 10:44

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.

But without the axiom of choice the world is indeed a strange place. This was posted as answer on math.SE earlier today.

Continue reading...## I need your help!

May 08 2015, 15:51

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.

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.

Continue reading...## A problem and a possible solution

May 06 2015, 09:41

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).

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.

Continue reading...## The Torture of Mathematical Research

Apr 22 2015, 08:12

In a manner more befitting to Edgar Allan Poe, Mathematics is a cruel and unforgiving mistress.

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.

Continue reading...## Turning Green!

Mar 17 2015, 00:16

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.

Continue reading...## Existentialism II, like Colonel Kurtz

Mar 11 2015, 00:34

Last night I posted a strange story about a gecko and a moth.

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.

Continue reading...## Existentialism

Mar 10 2015, 00:34

Spring has begun in Israel.

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).

Continue reading...## Much needed terminology, that isn't going to happen any time soon

Feb 02 2015, 20:29

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.

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!

Continue reading...## On the Partition Principle

Dec 20 2014, 20:45

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." (MR1072073) as well Moore's wonderful book "Zermelo’s Axiom of Choice" (which has a Dover reprint!).

Continue reading...

## To Colloops a cardinal

Oct 05 2014, 21:24

This is nothing new, but it's a choice-y way of thinking about it. Which is really what I enjoy doing.

**Definition.** 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\).

## Huge cardinals are huge!

Oct 03 2014, 05:32

In a previous post, 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.

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)\).

Continue reading...## Anti-anti Banach-Tarski arguments

Sep 22 2014, 13:31

Many people, more often than not these are people from ~~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),~~ 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".

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".

Continue reading...## Ramsey cardinals are large large small large cardinals

Sep 19 2014, 22:03

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.

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])\).

Continue reading...## My love-hate relationship with forcing

Sep 10 2014, 08:27

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.

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.

Continue reading...## How Fields Became "Nobel"

Aug 13 2014, 11:18

Here is some interesting piece of mathematical history: How the Fields medal went from "Soviet award" to "Mathematical Nobel".

Continue reading...## This is not a blog post.

Aug 12 2014, 08:35

This is not a blog post.

Continue reading...

## No uniform ultrafilters

Jul 24 2014, 11:48

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?

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?

Continue reading...## Why Carl Sagan was better than Neil deGrasse Tyson, and from the most of us too

Jul 16 2014, 03:23

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 *need* to know. We need to know, and this is why we go on searching the answers to questions that haunt us.

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.

Continue reading...## Forcing. This Has To Stop.

Jun 07 2014, 03:36

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.

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.

Continue reading...## Debates About The Climate

May 12 2014, 15:13

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.

Continue reading...## Downward Löwenheim-Skolem Theorems and Choice Principles

Mar 31 2014, 04:00

I have posted a new note on the **Papers** page.

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\).

Continue reading...## ...And we're back!

Mar 31 2014, 01:12

Okay, I took the time to make some changes to my homepage.

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!

Continue reading...## Equivalent to the axiom of choice that I didn't know about

Oct 13 2013, 11:46

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.

I recently tried to figure out the consequence of some forcing in \(\ZF\). This has led me to the following statement:

Continue reading...## The cardinal trichotomy: finite, countable, and uncoutnable.

Jul 18 2013, 03:00

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.

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.

Continue reading...## Strong chain conditions and preservation of choice principles

Jun 28 2013, 04:04

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.

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 this announcement by Victoria Gitman). 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.

Continue reading...## Provable Equality Of Exponentiation

May 30 2013, 01:01

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\).

In a recent question on math.SE 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.

Continue reading...## Choice Principles: What are they?

Mar 05 2013, 02:37

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?

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).

Continue reading...## Infinite dimensions and the axiom of choice

Feb 19 2013, 01:08

In a recent math.SE question, 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.

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.

Continue reading...## Vector Spaces and Antichains of Cardinals in Models of Set Theory

Feb 11 2013, 03:28

I finally uploaded my M.Sc. thesis titled “Vector Spaces and Antichains of Cardinals in Models of Set Theory”.

There are several changed from the printed and submitted version, but those are minor. The Papers page lists them.

Continue reading...## The Philosophy of Cardinality: Pathologies or not?

Jan 20 2013, 01:18

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).

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.

Continue reading...## On Leinster's "Rethinking set theory"

Jan 04 2013, 23:19

There has been a lot of recent discussions regarding Tom Leinster's paper "**Rethinking set theory**" (arXiv). 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.

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\).

Continue reading...## The Axiom of Choice and Self-Dual Vector Spaces

Oct 28 2012, 01:28

I have uploaded a note titled The Axiom of Choice and Self-Duality of Vector Spaces. Here is a short summary and background.

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\).

Continue reading...## First Post

Oct 19 2012, 05:46

Well... This is my first post on this blog, and I have absolutely no idea how to start it.

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?

Continue reading...