2025/01/16 by Noah A. Hughes, Hughes, Noah A.
Computer Science · Physics and Astronomy · #03D80 #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications
paper · pdf · doi:10.48550/arxiv.2501.09566
openalex publication_date 2025/01/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Restricting the chain-antichain principle CAC to partially ordered sets which respect the natural ordering of the integers is a trivial distinction in the sense of classical reverse mathematics. We utilize computability-theoretic reductions to formally establish distinguishing characteristics of CAC and the aforementioned restriction to elaborate on the apparent differences obfuscated over RCA0. Stable versions of both principles are also analyzed in this way.