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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8651881814002991
0 references
0.8390689492225647
0 references
0.817879319190979
0 references
0.806986391544342
0 references
0.7717330455780029
0 references
