Open Research Index

The rearrangement number: non(M) ≤ rr

Vinicius de Oliveira Rodrigues

Palomar Registrypalomar/PALOMAR-2026-09-07-000004Sep 7, 2026math.LOscore 0

A Lean formalization of the lower bound non(M) ≤ rr, where non(M) is the least cardinality of a nonmeagre subset of the usual real line and rr is the least cardinality of a family of permutations of the natural numbers that changes the sum or destroys convergence of every conditionally convergent real series. It accompanies the manuscript *Determining the Rearrangement Number* by Vinicius de Oliveira Rodrigues. The reverse inequality was already known in the literature. The reverse inequality, the full equality, and further manuscript corollaries are not formalized in this project.

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-09-07-000004
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-07-000004/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-07-000004/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'