Abstract
A language in which we can express arithmetic and which contains its own satisfaction predicate (in the style of Kripke's theory of truth) can be formulated using just two nonlogical primitives: $'$ (the successor function) and Sat (a satisfaction predicate).
Citation
James Cain. "Arithmetic with Satisfaction." Notre Dame J. Formal Logic 36 (2) 299 - 303, Spring 1995. https://doi.org/10.1305/ndjfl/1040248460
Information