Second Order Definability Via enumerations

Ivan N. Soskov. Second Order Definability Via enumerations. Math. Log. Q., 37(2-4):45-54, 1991. [doi]

Abstract

Abstract is missing.