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.

On explicit definability in arithmetic. / van den Dries, Lou.

Logic in Tehran. Vol. 26 Assoc. Symbol. Logic, La Jolla, CA, 2006. p. 65-86 (Lect. Notes Log.).

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

van den Dries, L 2006, On explicit definability in arithmetic. in Logic in Tehran. vol. 26, Lect. Notes Log., Assoc. Symbol. Logic, La Jolla, CA, pp. 65-86.
van den Dries L. On explicit definability in arithmetic. In Logic in Tehran. Vol. 26. Assoc. Symbol. Logic, La Jolla, CA. 2006. p. 65-86. (Lect. Notes Log.).
van den Dries, Lou. / On explicit definability in arithmetic. Logic in Tehran. Vol. 26 Assoc. Symbol. Logic, La Jolla, CA, 2006. pp. 65-86 (Lect. Notes Log.).
@inbook{56b723e42ce24ed6a61181650171bc20,
title = "On explicit definability in arithmetic",
author = "{van den Dries}, Lou",
year = "2006",
language = "English (US)",
volume = "26",
series = "Lect. Notes Log.",
publisher = "Assoc. Symbol. Logic, La Jolla, CA",
pages = "65--86",
booktitle = "Logic in Tehran",

}

TY - CHAP

T1 - On explicit definability in arithmetic

AU - van den Dries, Lou

PY - 2006

Y1 - 2006

M3 - Other chapter contribution

VL - 26

T3 - Lect. Notes Log.

SP - 65

EP - 86

BT - Logic in Tehran

PB - Assoc. Symbol. Logic, La Jolla, CA

ER -