Integrity report for The elementary closure of the class Nr_nCA_m for mgeq n+1 is not finitely axiomatizable, futhermore for any finite kgeq 1, there is Ain Nr_(ω)CA_(omeg+k)that is not SNr_(ω)CA_(ω+k+1)
A machine-verified record of the checks Pith has run against this paper: detector runs, findings, signed bundle events, and canonical identifiers.
0Critical
0Advisory
0Detectors run
—Last checked
Paper page arXiv integrity.json bundle.json
Detector runs
Findings
No public integrity findings for this paper.
Signed record
The machine-readable record for this paper lives at /pith/WI5E7OAT/integrity.json. Pith Number bundles also include signed pith.integrity.v1 events where a Pith Number exists.