General extensional mereology is finitely axiomatizable (Q1790606)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: General extensional mereology is finitely axiomatizable |
scientific article; zbMATH DE number 6946464
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | General extensional mereology is finitely axiomatizable |
scientific article; zbMATH DE number 6946464 |
Statements
General extensional mereology is finitely axiomatizable (English)
0 references
2 October 2018
0 references
mereology
0 references
general extensional mereology
0 references
classical mereology
0 references
axiomatizable
0 references
atom
0 references
atomic
0 references
atomless
0 references
gunk
0 references
