Acta Structuralica

international journal for structuralist research

Book | Chapter

186019

On representing semantics in finite models

Marcin Mostowski

pp. 15-28

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.

Publication details

Published in:

Rojszczak Artur, Cachro Jacek, Kurczewski Gabriel (2003) Philosophical dimensions of logic and science: selected contributed papers from the 11th international congress of logic, methodology, and philosophy of science, Kraków, 1999. Dordrecht, Springer.

Pages: 15-28

DOI: 10.1007/978-94-017-2612-2_2

Full citation:

Mostowski Marcin (2003) „On representing semantics in finite models“, In: A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical dimensions of logic and science, Dordrecht, Springer, 15–28.