Classical mereology is not elementarily axiomatizable

DOI10.12775/LLP.2015.017MaRDI QIDQ2987752zbMATH OpenWikidataFDO

Authors Andrzej Pietruszczak

Publication date 18 May 2017

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

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)

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

Cites work

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

Cited in

(12)

• Intuitionistic mereology. II: Overlap and disjointness
• A monadic second-order version of Tarski's geometry of solids
• On the effective universality of mereological theories
• Intuitionistic mereology
• An addendum to: “Notes on models of first-order mereological theories”
• The notion of the diameter of mereological ball in Tarski's geometry of solids
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• scientific article; zbMATH DE number 5018181 (Why is no real title available?)
• On three axiom systems for classical mereology
• Pieces of mereology
• General extensional mereology is finitely axiomatizable
• What is classical mereology?

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)