2023/08/14 by Ali Enayat, Enayat, Ali · 1 citation
Computer Science · Decision Sciences · Mathematics · #03C62 #Advanced Algebra and Logic #Advanced Topology and Set Theory #Auction Theory and Applications #FOS: Mathematics #Logic (math.LO) #Primary 03F30 #Secondary 03F25
paper · pdf · doi:10.48550/arxiv.2308.07463
openalex publication_date 2023/08/14 · openalex created_date 2023/08/17 · openalex updated_date 2026/07/28
We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct full truth class over a model M of PA implies that Con(PA) holds in M.