Repository | Book | Chapter
(2003) Philosophical dimensions of logic and science, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-94-017-2612-2_2
Full citation:
Mostowski, M. (2003)., On representing semantics in finite models, in A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical dimensions of logic and science, Dordrecht, Springer, pp. 15-28.
This document is unfortunately not available for download at the moment.