On explicit definability in arithmetic

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Original languageEnglish (US)
Title of host publicationLogic in Tehran
PublisherAssoc. Symbol. Logic, La Jolla, CA
Pages65-86
Number of pages22
Volume26
StatePublished - 2006

Publication series

NameLect. Notes Log.
PublisherAssoc. 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.