The above is the letter presenting the resignation of the editorial board of Topology, an Elsevier journal. The journal has been discontinued as of this year.

[...] As you are well aware, the Editors have been concerned about the price of Topology since Elsevier gained control of the journal in 1994. [...] The journal Topology has an illustrious history with which we, on becoming editors, were extremely proud to be associated. [...] However, we feel that Elsevier’s policies towards the publication of mathematics research have undermined this legacy.

Therefore, with great reluctance and sadness, we have made the difficult decision to resign. [...]

On Google+, David Roberts gave a link to the journal’s site, with some highlights: As you can see here, the last published issue (vol. 48, 2-4) was June-December 2009. The previous issue was 40 pages and consisted of 2 papers (that you can purchase access to, at $31.50 each. Plus tax.) And there is also a supplement, published on December 2011. Only $31.50 (plus tax) for a 4 page correction.

This entry was posted on Tuesday, January 24th, 2012 at 6:15 pm and is filed under Letters. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

This is a nice problem. Here is what I know. (Below, I refer to the Handbook. This is the Handbook of Set Theory, Foreman, Kanamori, eds., Springer, 2010.) First of all, the consistency of the failure of diamond at a weakly compact cardinal seems open. Woodin has asked this explicitly, I do not know if the question itself is due to him. Of course, $\diamonds […]

I thought about this question a while ago, while teaching a topics course. Since one can easily check that $${}|{\mathbb R}|=|{\mathcal P}({\mathbb N})|$$ by a direct construction that does not involve diagonalization, the question can be restated as: Is there a proof of Cantor's theorem that ${}|X|

(I am replacing prior nonsense with a completely different suggestion. I am also turning this into CW so details can be added by somebody with time (which, sadly, most likely won't be me). Comments prior to Feb. 9, 2011, refer to said prior nonsense.) Start with $V=L$ and force to add a Mathias real $s$. Let $W$ be the resulting extension. Let $A$ be th […]

(1) Patrick Dehornoy gave a nice talk at the Séminaire Bourbaki explaining Hugh Woodin's approach. It omits many technical details, so you may want to look at it before looking again at the Notices papers. I think looking at those slides and then at the Notices articles gives a reasonable picture of what the approach is and what kind of problems remain […]

It is open whether the continuum hypothesis for an infinite set $E$ implies the well-orderability of $E$. Of course, if $CH(E)$ holds, then the assumption in your (first) statement holds. ($CH(E)$ is the statement that any subset $A$ of $\mathcal P(E)$, either $A$ injects into $E$, or else $A$ is in bijection with $\mathcal P(E)$.) This is a question that da […]

Let $C_0=X$ and $C_{n+1}=f(C_n)$ for all $n$. By induction, note that $C_n\supseteq C_{n+1}$ for all $n$. Let $C=\bigcap_n C_n$, and note that $C$ is nonempty, being the intersection of a decreasing sequence of nonempty compact sets. Check that $f(C)=C$.

Show: Every open set is union of balls with rational radius and rational center. Every open ball is a countable union of closed balls. This gives (ii). For (i), given two points in your open set, say that they are equivalent iff there is a continuous path between them, completely contained in the open set. Argue that this is indeed an equivalence relation, a […]

An algebraic structure is a tuple of the form $(S,f_i)_{i\in I}$ for some set $I$. Associated to each $i\in I$ there is a natural number $n_i$ (the arity of $f_i$) such that $f_i:S^{n_i}\to S$; that is, the domain of $f_i$ is a finite power of $S$ rather than a Cartesian product of perhaps different sets. Note that the codomain of $f_i$ is also required to b […]

Chandru1: Here is a hint to get you started: If the equation $(I-(AB-BA))^n=0$ holds, then for any $v$, if $w=(I-(AB-BA))^{n-1}v$, then $(I-(AB-BA))w=0$, or $(AB-BA)w=w$. If $w=0$ for all $v$, then $(I-(AB-BA))^{n-1}=0$. Proceeding inductively this way, you get that either $AB-BA=I$, or else 1 is an eigenvalue of $AB-BA$. Now, the first option is impossible, […]

Well, the limits of some of the Cauchy sequences in $X$ may not exist (because $X$ needs not be a complete space), so you need to specify what you mean by "the set of limits". For example, suppose your space consists precisely of points $x_n, n\in\mathbb N$, with $$d(x_n,x_{n+k})=\frac1{2^n}+\frac1{2^{n+1}}+\dots+\frac1{2^{n+k-1}}.$$ There is no li […]

[...] E. Caicedo: A letter (on the resignation of the editorial board of [...]