PATRICK MOSS 25/10/1947–17/3/2024

Thomas Ward

incompletemedium confidence

Category: math.DS
Journal tier: Specialist/Solid
Processed: Sep 28, 2025, 12:56 AM
arXiv Links: Abstract ↗PDF ↗

Audit review

The uploaded paper is an overview piece that states the results (only monomials among polynomials lie in P; P is uncountable) with citations but no proofs. The candidate solution captures the right conclusions and key ideas, but its polynomial-only-monomials argument contains a critical gap (a flawed Vandermonde step after reducing mod q), and the nonpolynomial constructions used to prove uncountability are asserted without a complete verification of membership in P. Hence, neither source supplies a fully correct, self-contained proof in the present materials.

Referee report (LaTeX)

\textbf{Recommendation:} major revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The overview paper correctly states the results and provides context, but contains no proofs in the uploaded file. The candidate solution mirrors the correct conclusions and employs the right tools, yet the argument excluding non-monomial polynomials is flawed (the Vandermonde step at multiples of q is vacuous once h(0)=0), and the proposed nonpolynomial maps used to prove uncountability are not rigorously verified to lie in P. Substantial revisions are needed to supply correct proofs or to align closely with the cited literature’s arguments.