RESEARCH

Results, with their evidence.

Each project brings together a mathematical claim, its available documents, and a version-specific verification record. Preliminary work is labelled as preliminary.

Sphere Rigidity Draft R2 and the Naimark Brief Report and Prior-Art Search are available below. Each project records the exact scope of review and correspondence.

Find a project

2 projects listed

Operator algebras

Naimark's problem

A proposed ZFC construction of a single C*-algebra with one irreducible equivalence class and a faithful separable tracial representation.

Read the project record

Preprint available on arXiv

MathlibAnnex v0.4.0 source public
Targeted correspondence recorded

arXiv v1 and the earlier Brief Report are available from the project record.

Geometry of normed spaces

Sphere Rigidity

A study of how the metric structure of a unit sphere determines its ambient real normed space, with a separate route toward reusable proof tools.

Read the project record

Preprint available on arXiv

MathlibAnnex v0.4.0 source public
Report correspondence pending

arXiv v1 and the earlier Brief Report are available from the project record.

Read the evidence, not just a label.

Formal checking and statement alignment are shown separately. How to read the verification record

Send a correction or prior-art reference for this page or Brief Report