A survey of arithmetical definability (2001)

by A Bès
Venue:Bull. Belg. Math. Soc. Simon Stevin