True arithmetic is the set Th of all sentences in the language of first-order arithmetic that are true in . This set is, equivalently, the (complete) theory of the structure (see theories associated with a structure).
Read more about True Arithmetic: Arithmetic Indefinability, Computability Properties, Model-theoretic Properties, True Theory of Second-order Arithmetic
Famous quotes containing the words true and/or arithmetic:
“They said I’d never get you back again.
I tell you what you’ll never really know:
all the medical hypothesis
that explained my brain will never be as true as these
struck leaves letting go.”
—Anne Sexton (1928–1974)
“O! O! another stroke! that makes the third.
He stabs me to the heart against my wish.
If that be so, thy state of health is poor;
But thine arithmetic is quite correct.”
—A.E. (Alfred Edward)