Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 242-01. Single-fold Diophantine representations

Manuscript map · lines 7235–7244

OpenAI@2026-10-07#rem:oai-p-242-01

Back to manuscript

Authors: OpenAI. Family 242.

Title: Single-fold Diophantine representations.

Abstract: Every recursively enumerable set of natural-number tuples has a polynomial Diophantine representation with exactly one complete auxiliary tuple for each member. This proves the single-fold conjecture and, consequently, the finite-fold conjecture.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section