Livre | Chapitre
On representing semantics in finite models
pp. 15-28
Résumé
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.
Détails de la publication
Publié dans:
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
Citation complète:
Mostowski Marcin, 2003, On representing semantics in finite models. In A. Rojszczak, J. Cachro & G. Kurczewski (eds.) Philosophical dimensions of logic and science (15-28). Dordrecht, Springer.