Skip to content

Erdős problem 486

For each nNn \in \mathbb{N} choose some XnZ/nZX_n \subseteq \mathbb{Z}/n\mathbb{Z}. Let B={mN:n,m≢x(modn) for all xXn}B = \{m \in \mathbb{N} : \forall n, m \not\equiv x \pmod{n} \text{ for all } x \in X_n\}. Must BB have a logarithmic density?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/486.lean

Formal Conjectures

FormalConjectures/ErdosProblems/486.leanErdos486.erdos_4861 lineExact file
True ↔ ∀ (X : (n : ℕ) → Set (ZMod n)), ∃ d, {m | ∀ (n : ℕ), ↑mX n}.HasLogDensity d
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page