The statement S "every injective endomap is also surjective" can be formalized in terms of second-order logic (and, of course, precisely states that the strcture in question is finite). This is a counterexample to any kind of compactness result for second-order logic, because if such a result existed, one would be able to get infinite sets satisfying S.
|
1 | [made Community Wiki] | ||
|
|
||||
