The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures

Krystian Jobczyk, Mirna Dzamonja

In 1969, Per Lindstrom proved his celebrated theorem characterising the first-order logic and established criteria for the first-order definability of formal theories for discrete…