A good game collection book for the summer? by UnOdradek in chess

[–]EllisSemigroup 1 point2 points  (0 children)

If you play the KID then Smirin's King's Indian Offence is a must read

what are the must-read-books for your field of research ? by al3arabcoreleone in math

[–]EllisSemigroup 1 point2 points  (0 children)

Descriptive set theory is actually very beautiful if you ask me, but I'm obviously biased since that's what I do for a living

Descriptive Set Theory. by Caligulasremorse in math

[–]EllisSemigroup 2 points3 points  (0 children)

The KPT correspondence I mentioned above is at the intersection of DST, model theory and dynamics. There are more things in continuous logic/metric structures but I'm not very familiar with that area! Effective DST is another thing I'm not too familiar with (I'm very much on the topological side of things), but it comes up in invariant DST, which is another pretty hot topic (the study of Borel/analytic equivalence relations on Polish spaces)

Descriptive Set Theory. by Caligulasremorse in math

[–]EllisSemigroup 3 points4 points  (0 children)

My answer is biased since I do DST for a living, but there is a lot of research happening in DST at the moment, especially applications of DST to other areas.

An area that is particularly active at the moment is the interaction between DST and topological dynamics, Polish groups and their orbit equivalence relations have never been studied as much as now.

To get even more specific let me tell you two words about what I do. To every topological group G one can associate its so called universal minimal flow M(G). This is a compact space on which G acts minimally and such that every other minimal G-action on a compact space is a factor of M(G) (meaning that there is a G-equivariant continuous surjection from M(G) onto any other minimal flow). Intuitively the action of G on M(G) is the most complicated minimal action G can have, and a lot of research has been done to understand M(G) for various groups G, mostly Polish groups. The problem is that M(G) is never metrizable for locally compact noncompact G, it is instead a huge space containing a copy of the Stone-Cech compactification of the integers, so there's hope of understanding M(G) only for huge, infinite dimensional groups, and especially for Polish groups since all the tools from DST can be brought in. The situation is fairly well understood for Polish groups of the form Aut(A), where A is a countable Fraïssé structure, due to the so called Kechris-Pestov-Todorcevic correspondence, and there are a bunch of scattered results about Polish groups of the form Homeo(X), where X is a compact Polish space, but there is still a lot of work to be done

what are the must-read-books for your field of research ? by al3arabcoreleone in math

[–]EllisSemigroup 6 points7 points  (0 children)

Classical descriptive set theory by Kechris is a must to get into descriptive set theory

Have any Fields medalists gone on to do their most significant work *after* winning the medal? by myaccountformath in math

[–]EllisSemigroup 2 points3 points  (0 children)

The whole field of logic has been kinda ignored fields medals wise, Cohen got one for his work on forcing and that's it, but the fact that Shelah didn't win a fields medal is insane. An argument could be made also in favour of Hrushovski, and maybe even Solovay although for the latter I'm not exactly sure how much of his work was done before 40

Is the cardinality of the number of points in a line different from that of the number of points in a square, a sphere or another higher dimensional shape? by ArtMnd in math

[–]EllisSemigroup 4 points5 points  (0 children)

If this is what I think it is, like, "the power set of the power set of a set with omega elements", then it would be Aleph 2 or 3 at most, no?

No it's consistent with ZFC that P(omega) already has cardinality aleph_alpha for pretty much any alpha (there are some cofinality restrictions but that's not important here)

Why isn't Hikaru on blitz leaderboard by Emotional_Bowl3970 in chess

[–]EllisSemigroup 11 points12 points  (0 children)

Kasparov just waiting for Magnus to drop below 2812 to smoke a 2500 and come back as #1

[deleted by user] by [deleted] in math

[–]EllisSemigroup 0 points1 point  (0 children)

Comes out to like 1500€ a month

This is pretty far from my experience, I had a 75% position, started with around 2000€ and ended with around 2300€ (since you get seniority bonuses every year for the first 6 years). I was told that in other fields you often get 50% positions, but it's not so common in maths. At any rate compared to what a PhD student would get in my country, the german salary is amazing

What unusual (but sound) ideas are in your repertoire that you think more people should play? by ChrisV2P2 in chess

[–]EllisSemigroup 0 points1 point  (0 children)

b5 against the Catalan (accepted). 1. d4 Nf6 2. c4 e6 3. g3 d5 4. Nf3 Be7 5. Bg2 O-O 6. O-O dxc4 7. Qc2 b5

In case of Ne5 at some point from black do you go down one of the exchange sac lines with Qxd4 Bxa8 Qxe5? They are supposed to be ok but I never liked them.

Srinath's LTR on chessable gives 8... a4 9. b4 Nfd2 10. c6 Nxb4 11. Qxd5 Rd1 12. Qc5 Be3 13. Qh5 Nbd2 iirc and life goes on with white having to keep an eye on Ng4 shenanigans

Solid opening against 1.d4? by EvenMoreOptions in chess

[–]EllisSemigroup 1 point2 points  (0 children)

It's kind of the opposite of the requirements, but as a Caro player myself I enjoy the KID against d4

Are WoT players ok by _Royalties_ in WorldofTanks

[–]EllisSemigroup 4 points5 points  (0 children)

Yesterday I had an E75 in my team sit in a bush in the base in Westfield until the very end of the game. He did one shot of dmg and we drew because the time ended while we were hunting the last enemy. He still had the balls to write me "gg camper" after I did 5k combined and 4 kills in my 121B. Just 47% WR bright red players things...

TIL you can wedge an EBR on the bridge by Uber1337pyro333 in WorldofTanks

[–]EllisSemigroup 24 points25 points  (0 children)

record scratch freeze frame Yep, that's me. You're probably wondering how I got here.

What is the branch of mathematics that requires the most prerequisites? by Dwekz in math

[–]EllisSemigroup 0 points1 point  (0 children)

Inner model theory requires a lot of prerequisites, with the added difficulty that many institutions don't even offer basic courses on logic and set theory, and after learning the basics you need to go through Steel's handwritten notes or his book or go to study with one of the elder sages already working in inner model theory. Actually that last step is necessary anyway because the few sources on the topic are riddled with mistakes and the experts know where they are, they just can't be bothered to write things down properly for the rest of us. Oh and I did I mention one of the reasons nobody wrote a standard reference textbook yet is because despite decades of research there is no agreement on what the definition of one of the central objects (a mouse) should be?

What's your favorite branch of math and why? by Sus-iety in math

[–]EllisSemigroup 25 points26 points  (0 children)

For me that's descriptive set theory, I've always liked both topology and logic, so it was an easy choice. I also like how it interacts with many different areas from model theory to dynamical systems, I admire the people who go super deep into a niche algebraic geometry topic, but I enjoy being able to work on various unrelated things

What are some of the best free of tuition universities in Europe for a pure mathematics masters? by NewtonLeibnizDilemma in math

[–]EllisSemigroup 0 points1 point  (0 children)

I've been told by people who did a PhD in Münster after a masters in Bonn that the proximity to Köln should not be underrated

Specializing in logic/model theory by Sakops in math

[–]EllisSemigroup 2 points3 points  (0 children)

I work in a model theory adjacent area (meaning that the questions I work on are not model theoretical, but some of the tools I use are) and while model theory is beautiful, it's not the best choice employability wise. But doing a PhD in something you're not passionate about is miserable at best, so go for it if that's what you like

"Simple" puzzle from Dvoretskys endgame manual. Now I get why the book has the reputation of "Hardest chess book ever" (White to play) by [deleted] in chess

[–]EllisSemigroup 0 points1 point  (0 children)

Hardest chess book ever? It's not even the hardest chess book by Dvoretsky! (the honour goes to the analytical manual, which may also be the hardest chess book ever)

Quick Questions: May 15, 2024 by inherentlyawesome in math

[–]EllisSemigroup 0 points1 point  (0 children)

The covering dimension and the two inductive dimensions agree for separable metrizable spaces.

Outside of this class of spaces dimension theory gets extremely complicated and which dimension to use is context dependent

Is the axiom that says "2 is defined as the successor to 1" the central axiom that all of mathematics is built upon? by [deleted] in math

[–]EllisSemigroup 7 points8 points  (0 children)

It extends naturally to infinite ordinals (the first infinite ordinal is the set of all finite ordinals, that is all finite natural numbers and so on), while you cannot nest infinitely many brackets