On explicit definability in arithmetic

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

Original language	English (US)
Title of host publication	Logic in Tehran
Publisher	Assoc. Symbol. Logic, La Jolla, CA
Pages	65-86
Number of pages	22
Volume	26
State	Published - 2006

Name	Lect. Notes Log.
Publisher	Assoc. Symbol. Logic, La Jolla, CA

Cite this

van den Dries, L. (2006). On explicit definability in arithmetic. In Logic in Tehran (Vol. 26, pp. 65-86). (Lect. Notes Log.). Assoc. Symbol. Logic, La Jolla, CA.