A note on definability in fragments of arithmetic with free unary predicates

Stanislav O. Speranski. A note on definability in fragments of arithmetic with free unary predicates. Arch. Math. Log., 52(5-6):507-516, 2013. [doi]

Abstract

Abstract is missing.