Repository | Buch | Kapitel
On representing semantics in finite models
pp. 15-28
Abstrakt
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.
Seiten: 15-28
DOI: 10.1007/978-94-017-2612-2_2
Referenz:
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.