# Classical mereology is not elementarily axiomatizable

@article{Pietruszczak2015ClassicalMI, title={Classical mereology is not elementarily axiomatizable}, author={A. Pietruszczak}, journal={Logic and Logical Philosophy}, year={2015}, volume={24}, pages={485-498} }

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.

#### 6 Citations

A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures

- Mathematics, Computer Science
- Stud Logica
- 2018

#### References

SHOWING 1-3 OF 3 REFERENCES