math.mit.edu/~ptingley on Mathematics: math.stackexchange.com/posts/1203911/revisions math.stackexchange.com/posts/2817357/revisions math.stackexchange.com/posts/3609031/revisions Search on MO returns four posts with such links.
11:00 AM
2 hours later…
12:51 PM
4
The link in the answer is now dead, but it can be accessed from the Wayback Machine. Or one can simply find those articles in the full list. — Martin Sleziak 2 hours ago
From the message he posted a few days ago it seems that David Roberts plans to fix manually the posts on MathOverflow.
Only a few - as you surely know. This was mentioned in MO editors' lounge a few days ago - we can continue there ( if there is something to add), so that we do not add too many comments unrelated to the post here. — Martin Sleziak 8 secs ago
Thanks, Martin. I'll see what I can do to make the necessary edits soon. Do let me know if there's any comments that require editing. — Asaf Karagila ♦ 1 min ago
@AsafKaragila TBH I did not even think about the comments. (After all, comments are less important and ephemeral.)
I just noticed the links to Shelah archive since I was looking whether there are some links on Mathematics which could be corrected in bulk. (So far I only have one such domain. I should probably finally make a post on Mathematics Meta about that - I was planning to do that for some time.)
Looking for comments containing
shelah.logic.at I get only 8 comments on Mathematics and 23 comments on MathOverflow.
It is not surprising that many of those comments contain dead links (and in some cases, it is not immediately clear what should be a replacement).
Hi Trevor. A good source is shelah.logic.at/files/666.pdf although a couple there may be solved now. For problems in the partition calculus, Erdős has several lists in papers, renyi.hu/~p_erdos And the nice book by Peter Komjath and Vilmos Totik also list quite a few, cs.elte.hu/~kope/setproblems.html — Andrés E. Caicedo Sep 23, 2012 at 1:15
Shelah has put a significant amount of work in verifying that strong logics (or other equivalences) do not suffice to characterize structures up to isomorphism. See for instance "Theories with EF-Equivalent Non-Isomorphic Models" and "On the number of $L_{\infty,\omega_1}$-equivalent non-isomorphic models" at shelah.logic.at/listb.html — Andrés E. Caicedo Mar 29, 2014 at 17:48
Have you tried searching MathSciNet? According to the Shelah archive, Devlin has been a co-author with Shelah on only four papers. — user642796 Jul 23, 2015 at 10:57
I don't know the answer to your question, but there is a paper called Axiom of choice and chromatic number of the plane by Shelah and Soifer that deals with a slightly related problem. The chromatic number of the plane involves partitioning the plane into 2 or more sets (similar to what you are doing), and this paper shows that things can behave badly in this situation. For example, the answer to the problem investigated by the paper has a different answer depending on whether we accept the axiom of choice. — Eric Tressler May 28, 2016 at 13:58
@amrsa We haven't talked to each other for a long time. Could you please have a look at this, page 16 condition (e) and tell me what mapping is this $$\{\langle \sigma(\bar{t}_i^1),\sigma(\bar{t}_i^2) \rangle :i<\alpha, \sigma \text{ is a subterm of } \sigma_i^1=\sigma_i^2 \}$$ and why it is a well-defined mapping at all ? I.e. esp. why for each $\sigma(\bar{t}_i^1)$ there is at most one $\sigma(\bar{t}_i^2)$ in that pair ? I think that $t_i$'s are not distinct.What are the domain and codomain to see what it means $<-$isomorphism ? — user122424 Nov 21, 2020 at 17:24
See these two articles by Shelah, specially the first one: Logical Dreams, The Future of Set Theory. — Kaveh Nov 9, 2010 at 7:05
I believe that the initial motivations for proper forcing are well explained throughout Shelah's book. If you want a brief look at the evolution of the subject, a good place to start reading at is the "Proper forcing" chapter in the handbook of set theory (written by Uri Abraham). Regarding the open problems, you can check this paper: shelah.logic.at/files/666.pdf — Haim Nov 26, 2010 at 1:59
How can we talk about sweetness without mentioning Saccharinity? shelah.logic.at/files/859.pdf :) — Haim May 9, 2011 at 8:17
This is not exactly an answer, but I think that this text might be relevant to your question: shelah.logic.at/files/E16.pdf — Haim Nov 20, 2011 at 6:13
Shelah 904 seems somewhat relevant too, the abstract states: "Answering problem (DG) of [EM90], [EM02], we show that there is a reflexive group of cardinality >= first measurable."(shelah.logic.at/904_abs.html) — Asaf Karagila ♦ Aug 30, 2012 at 17:30
Let me mention the following result of Shelah and Soifer (shelah.logic.at/files/E33.pdf). Let $G$ be the graph whose vertices are the real numbers. Two vertices $s$ and $t$ are adjacent if $s-t-\sqrt{2}$ is a rational number. It is easy to see that all cycles of $G$ have even length. Assuming ZFC, $G$ has chromatic number 2. Assuming just ZF, the chromatic number of $G$ is uncountable. — Richard Stanley Sep 19, 2012 at 16:30
Shelah also mentions it among the most important open problems in "On what I do not understand (and have something to say): I"shelah.logic.at/files/666.pdf — Péter Komjáth May 29, 2013 at 4:00
The question whether every Suslin ccc forcing notion adding a real must add a Cohen real or add a random real is problem 4.7 in Shelah's "On what I do not understand": shelah.logic.at/files/666.pdf — Haim Nov 3, 2013 at 11:22
There is one generalization of the Baire property (that I know of) that seems to be in line with your first requirement due to Halko and Shelah. It can be found in shelah.logic.at/files/662.pdf. I believe that, modulo the notation, you want to mainly look at sections 3 and 4. — Shehzad Ahmed Dec 11, 2013 at 5:46
For the set-theoretically ignorant among us: shelah.logic.at/files/998.pdf. — Todd Trimble ♦ May 25, 2014 at 18:25
It seems that the problem for $L_{\omega_1,\omega}$ is still open, as well as even more modest problems (see the discussion on the end of page 43 here): shelah.logic.at/files/702.pdf — Haim Jul 13, 2014 at 3:27
Maybe the paper A Combinatorial Principle Equivalent to the Existence of Non-free Whitehead Groups by Eklof-Shelah be relevant. — Mohammad Golshani Oct 23, 2014 at 6:01
@PaulLarson The link in your comment is broken - is the paper "Almost Galois $\omega$-stable classes" (shelah.logic.at/files/1003.pdf)? — Noah Schweber Oct 22, 2015 at 3:31
Thank you, Will. I looked at Sh460 (shelah.logic.at/files/460.pdf) and it gives a consistency of the existence of the Berstein set in any topological space. On the other hand, the paper Sh668 (arxiv.org/pdf/math/9906025v1.pdf) proves the consistency of the existence of a compact Hausdorff space without a Bernstein set. So, what I have asked appeared to be just another bicycle :( — Taras Banakh Jun 27, 2016 at 17:18
The introduction to "Sheva-Sheva-Sheva: Large Creatures" by Roslanowski and Shelah contains a lot of references. To the best of my knowledge, a good and reasonably comprehensive survey of these matters is an "open exposition problem" in Set Theory... The paper is available as number 777 at Shelah's archive: shelah.logic.at/files/777.pdf — Todd Eisworth Oct 3, 2017 at 14:38
Lifsches and Shelah have a more recent and more readable overview for that particular claim in "Peano Arithmetic may not be interpretable in the monadic theory of linear orders", J Symbolic Logic 62 (1997) 848-872, on JSTOR (jstor.org/stable/2275575) or on Shelah's site (shelah.logic.at/short400.html) as paper 471. — Matt F. Jul 9, 2019 at 19:27
I don't think that going through all those comments and fixing them is actually worth the effort. But perhaps you want to fix at least your own comment. (I think I saw there only one such comment...)
I vaguely recall some attempt to fix URLs in comments on Mathematics by one of the moderators - I think that one was done completely.
I also recall one attempt to fix links in comments which was discussed on MathOverflow Meta - that one was abandoned halfway through.
17
status-completed
For reference, here are the pages that Google knows use the old domain.
If people have strong feelings, they can fix those they want to and remove them from this list. For comments, a follow-up comment pointing out the new url will probably be sufficient.
Done
ht...
Just for the record, it is easy to find posts with links to a given domain using the built-in search: mathoverflow.net/search?q=url%3A%22%2Aresearch.att.com%2A%22. For comments you have to use SEDE: data.stackexchange.com/mathoverflow/query/556789/…. Currently there are 56 posts and 39 comments. (Of course, not necessarily all of them are links to OEIS. You can restrict the searches by including also
~njas/sequences.) — Martin Sleziak Jun 26, 2019 at 12:08I left a bit more detailed info (some other queries, dead links to other domains) in chat: chat.stackexchange.com/rooms/10243/conversation/… and chat.stackexchange.com/transcript/10243/2019/6/26 — Martin Sleziak Jun 26, 2019 at 12:09
BTW it seems rather unusual to me that this is marked (status-completed) when there is plenty of posts (and comments) on the main site with the old domain. — Martin Sleziak Aug 15, 2019 at 8:13
2:18 PM
2:32 PM
@theHigherGeometer It is a bit less clear what with the links such as: shelah.logic.at/nonstructure/VII.pdf But the format of the link suggests that this could be from Non-structure theor. And in this case, there is also a snapshot in the Wayback Machine.
9 hours later…
11:21 PM
@MartinSleziak yes, but there at least there's a hint of the topic. If the numbering system changed wildly, we'd really be in trouble. The volume of Shelah's output is incredible. He has or had a secretary to deal with his publications, because there were all the old paper reprints as well from earlier days, as well as the electronic filing and record-keeping.
« first day (3156 days earlier) ← previous day next day → last day (765 days later) »
