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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Feferman, S. (1977). Theories of finite type related to mathematical practice. In Barwise, J., editor, Handbook of Mathematical Logic, pp. 913–971. North-Holland Publishing Company, Amsterdam.
Krynicki, M. and Mostowski, M. (1992). Decidability problems in language with Henkin quantifiers. Annals of Pure and Applied Logic, 58: 149–172.
Leivant, D. (1994). Higher order logic. In Gabbay, D. M., Hogger, C. J. and Robinson, J. A., editors, Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 228–321. Clarendon Press, Oxford.
Mostowski, M. (1993). Truth-Definitions in Finite Models. In manuscript. Mostowski, M. (1993b). The logic of divisibility. The Journal of Symbolic Logic,forthcoming.
Mostowski, M. (2001). On representing concepts in finite models. Mathematical Logic Quaterly, Type=“Bold”>47: 523–533.
Mostowski, M. (2003). Co w wiatach skonczonych moina powiedziec o semantyce. In preparation. (What we can say in finite worlds about semantics).
Shoenfield, J. R,. (1993). Recursion Theory, Type=“Italic”>Lectures Notes in Logic. Springer-Verlag, Berlin-Heidelberg.
Tarski, A. (1933). Pojecie prawdy w jezykach nauk dedukcyjnych. Nakladem Towarzystwa Naukowego Warszawskiego, Warszawa. (The concept of truth in formalized languages, translated from German by J. H. Woodger. In Tarski, A. (1956). Logic, Type=“Italic”>Semantics, Type=“Italic”>Metamathematics, pp. 152–278. The Clarendon Press, Oxford. )
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Mostowski, M. (2003). On Representing Semantics in Finite Models. In: Rojszczak, A., Cachro, J., Kurczewski, G. (eds) Philosophical Dimensions of Logic and Science. Synthese Library, vol 320. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2612-2_2
Download citation
DOI: https://doi.org/10.1007/978-94-017-2612-2_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6432-5
Online ISBN: 978-94-017-2612-2
eBook Packages: Springer Book Archive