On representing semantics in finite models

Marcin Mostowski

pp. 15-28

in: Artur Rojszczak, Jacek Cachro, Gabriel Kurczewski (eds), Philosophical dimensions of logic and science, Berlin, Springer, 2003

Abstract

This paper is continuation of research presented in (Mostowski, 2001). It gives some new results related to finite order hierarchy in finite models. They are obtained by the method of truth-definitions in finite models. Additionally we give an application od FM-representability theorem for studying densities of spectra. We finish with philosophical discussion of some problems raised by the reported research.