Classical mereology is not elementarily axiomatizable

Repository of Nicolaus Copernicus University

Show simple item record

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

Files in this item

This item appears in the following Collection(s)

Show simple item record

Attribution-NoDerivs 3.0 Poland Except where otherwise noted, this item's license is described as Attribution-NoDerivs 3.0 Poland

Search repository

Advanced Search


My Account