arXiv:1805.09890 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords disjunction, result strengthens earlier work, truth predicate satisfying compositional axioms, first-order peano arithmetic, vissers original proof Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset