## Notre Dame Journal of Formal Logic

### Arithmetic with Satisfaction

James Cain

#### 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).

#### Article information

Source
Notre Dame J. Formal Logic, Volume 36, Number 2 (1995), 299-303.

Dates
First available in Project Euclid: 18 December 2002

https://projecteuclid.org/euclid.ndjfl/1040248460

Digital Object Identifier
doi:10.1305/ndjfl/1040248460

Mathematical Reviews number (MathSciNet)
MR1345750

Zentralblatt MATH identifier
0837.03044

#### Citation

Cain, James. Arithmetic with Satisfaction. Notre Dame J. Formal Logic 36 (1995), no. 2, 299--303. doi:10.1305/ndjfl/1040248460. https://projecteuclid.org/euclid.ndjfl/1040248460

#### References

• Kripke, S., “Outline of a Theory of Truth,” Journal of Philosophy, vol. 72 (1975), pp. 690–716. Zbl 0952.03513
• 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