26 Nov
2001
26 Nov
'01
9:27 p.m.
Hello, what kind of characterization do you want? If you accept ZFC as "outside world", then there is no elementary characterization of FinSet (in the sense of finitary first-order logic) because every ultrapower of FinSet satisfies the same (finitary) first-order sentences. Greetings Reinhard