Classical mereology is not elementarily axiomatizable

DOI10.12775/LLP.2015.017zbMATH Open1369.03068WikidataQ131341359 ScholiaQ131341359MaRDI QIDQ2987752FDOQ2987752

Andrzej Pietruszczak

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Recommendations

• Pieces of mereology
• What is classical mereology?
• General extensional mereology is finitely axiomatizable
• Nonclassical mereology and its application to sets
• On three axiom systems for classical mereology

zbMATH Keywords

classical mereologymereological structuresabsence of elementary definability of classical mereology

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Basic properties of first-order languages and structures (03C07)

Cites Work

• Decidability of general extensional mereology
• Pieces of mereology
• Zur Grundlegung der Boole'schen Algebra. I
• Notes on models of first-order mereological theories

Cited In (10)

• A monadic second-order version of Tarski's geometry of solids
• On the effective universality of mereological theories
• Intuitionistic mereology. II: Overlap and disjointness
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• Intuitionistic mereology
• Title not available (Why is that?)
• An addendum to: “Notes on models of first-order mereological theories”
• Pieces of mereology
• General extensional mereology is finitely axiomatizable
• The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids

This page was built for publication: Classical mereology is not elementarily axiomatizable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987752)