Finite-model theory -- A personal perspective
This clearly written expository paper surveys finite-model theory, the model theory of finite structures. The author -- a pioneer of finite- model theory -- focuses on results and problems springing from work in his Ph.D. thesis, thereby covering most of the main issues on finite- model theory. Among the topics discussed are: Spectra and generalized spectra, zero-one-laws and descriptive complexity theory.
scientific article; zbMATH DE number 438311
scientific article