Classical mereology is not elementarily axiomatizable

dc.contributor.author	Pietruszczak, Andrzej
dc.date.accessioned	2016-06-06T10:39:12Z
dc.date.available	2016-06-06T10:39:12Z
dc.date.issued	2015-12-12
dc.identifier.citation	Logic and Logical Philosophy, No. 4, Vol. 24, pp. 485-498
dc.identifier.issn	2300-9802
dc.identifier.other	doi:10.12775/LLP.2015.017
dc.identifier.uri	http://repozytorium.umk.pl/handle/item/3316
dc.description.abstract	By the classical mereology I mean a theory of mereological structures in the sense of [10]. In [7] I proved that the class of these structures is not elementarily axiomatizable. In this paper a new version of this result is presented, which according to my knowledge is the first such presentation in English. A relation of this result to a certain Hsing-chien Tsai’s theorem from [13] is emphasized.
dc.language.iso	eng
dc.rights	Attribution-NoDerivs 3.0 Poland
dc.rights	info:eu-repo/semantics/openAccess
dc.rights.uri	http://creativecommons.org/licenses/by-nd/3.0/pl/
dc.subject	classical mereology
dc.subject	mereological structures
dc.subject	the absence of elementary definability of classical mereology
dc.title	Classical mereology is not elementarily axiomatizable
dc.type	info:eu-repo/semantics/article