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)

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