MathOverflow

Math Overflow. Q&A for professional mathematicians.

Read Mathoverflow.net news digest here: view the latest Math Overflow articles and content updates right away or get to their most visited pages. Mathoverflow.net belongs to a group of fairly successful websites, with more than 458K visitors from all over the world monthly. It seems that Math Overflow content is notably popular in USA, as 32.4% of all users (148K visits per month) come from this country. We haven’t detected security issues or inappropriate content on Mathoverflow.net and thus you can safely use it. Mathoverflow.net is hosted with Stack Exchange, Inc. (United States) and its basic language is English.

  • Content verdict: Safe
  • Website availability: Live
  • English language flagLanguage: English
  • Last check:
  • 15 260

    Visitors daily
  • 54 936

    Pageviews daily
  • 6

    Google PR
  • 20 244

    Alexa rank

Mathoverflow.net news digest

  • 0 days

    Disjunctive binary sequence with no arithmetical disjunctive subsequence

    We call a binary sequence $s:\mathbb{N}\to\{0,1\}$ disjunctive if every finite binary word appears somewhere in the sequence.
    For integers $a, b$ with $a\geq 1, b\geq 0$ we define the strictly increasing function $p_{a,b}:\mathbb{N}\to \mathbb{N}$ by $n\mapsto an+b$....

  • 13 days

    There exists elementary topos E whose Sub(1) is not complete?

    Given an elementary topos $\mathcal{E}$ for an object $X$, we have the Heyting algebra of its subobjects $Sub(X)$. If $\mathcal{E}$ is a Grothendieck topos, then $Sub(X)$ is complete.
    In any case (in an elementary topos $\mathcal{E}$) the subobject classifier $\Omega$ is an internally complete order (see 5.35 p. 147, "Topos theory" by P. Johnstone), but this is slightly different from the statement "any $Sub(X)$ is complete."...

  • 6 years

    Matroids which are transitive on minimal basis exchanges

    I am looking for matroids in which all minimal basis exchanges look the same, that is, the matroid is transitive on these. Let me explain what I mean by that.
    Consider a finite matroid $M$. Define a graph $G_M$ as follows:
    The vertices of $G_M$ are the bases of $M$....

  • 7 years

    Hilbert class fields and transfer

    Let $K/k$ be an extension of number fields and $H_k$, $H_K$ their respective Hilbert class fields. Is there a transfer map from $\text{Gal}(H_k/k)$ to $\text{Gal}(H_K/K)$?

Domain history

Web host: Stack Exchange, Inc.
Registrar: GoDaddy.com, LLC
Registrant: Registration Private (Domains By Proxy, LLC)
Updated: May 11, 2026
Expires: July 14, 2026
Created: July 14, 2009

Whois record

Visitor gender

Male

Female

Safety scores

Trustworthiness

Excellent

Child safety

Excellent