Cain, James Arithmetic with satisfaction. (English) Zbl 0837.03044 Notre Dame J. Formal Logic 36, No. 2, 299-303 (1995). Summary: 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). MSC: 03F30 First-order arithmetic and fragments Keywords:satisfaction predicate × Cite Format Result Cite Review PDF Full Text: DOI Link References: [1] Kripke, S., “Outline of a Theory of Truth,” Journal of Philosophy , vol. 72 (1975), pp. 690–716. · Zbl 0952.03513 [2] Visser, A., “Semantics and the Liar Paradox,” pp. 617–706 in Handbook of Philosophical Logic, vol. 4, edited by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1983. · Zbl 0875.03030 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.