PP-2002-04: Troy Lee Arithmetical Definability over Finite Structures 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back