General extensional mereology is finitely axiomatizable
type: Item
instance of: scholarly article
title: General extensional mereology is finitely axiomatizable
zbMATH Open document ID: 1437.03032
author: Hsing-chien Tsai
published in: Studia Logica
publication date: 2018-10-02T00:00:00Z
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6946464
zbMATH Keywords: mereology
zbMATH Keywords: general extensional mereology
zbMATH Keywords: classical mereology
zbMATH Keywords: axiomatizable
zbMATH Keywords: atom
zbMATH Keywords: atomic
zbMATH Keywords: atomless
zbMATH Keywords: gunk
MaRDI profile type: Publication
full work available at URL: s11225-017-9768-2
OpenAlex ID: W2773863053
cites work: Complete Extensions of the Calculus of Individuals
cites work: Q4003410
cites work: Classical mereology is not elementarily axiomatizable
cites work: Decidability of mereological theories
cites work: Decidability of general extensional mereology
cites work: An addendum to: “Notes on models of first-order mereological theories”
cites work: Atoms, gunk, and the limits of `composition'
DOI: 10.1007/S11225-017-9768-2
description: scientific article; zbMATH DE number 6946464