The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids

Repository of Nicolaus Copernicus University

Show simple item record

dc.contributor.author Sitek, Grzegorz
dc.date.accessioned 2018-02-16T08:05:10Z
dc.date.available 2018-02-16T08:05:10Z
dc.date.issued 2017-11-19
dc.identifier.citation Logic and Logical Philosophy, No. 4, Vol. 26, pp. 531-562
dc.identifier.issn 2300-9802
dc.identifier.other doi:10.12775/LLP.2017.016
dc.identifier.uri http://repozytorium.umk.pl/handle/item/5010
dc.description.abstract In  the paper "Full development of Tarski's geometry of solids" Gruszczyński and Pietruszczak have obtained the full development of Tarski’s geometry of solids that was sketched in [14, 15]. In this paper 1 we introduce in Tarski’s theory the notion of congruence of mereological balls and then the notion of diameter of mereological ball. We prove many facts about these new concepts, e.g., we give a characterization of mereological balls in terms of its center and diameter and we prove that the set of all diameters together with the relation of inequality of diameters is the dense linearly ordered set without the least and the greatest element.
dc.language.iso eng
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 Tarski’s geometry of solids
dc.subject mereology
dc.subject diameter of mereological ball
dc.subject congruence of mereological balls
dc.subject point-free geometry
dc.title The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids
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