Pages that link to "Item:Q2987752"
From MaRDI portal
The following pages link to Classical mereology is not elementarily axiomatizable (Q2987752):
Displayed 7 items.
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures (Q1756598) (← links)
- General extensional mereology is finitely axiomatizable (Q1790606) (← links)
- An addendum to: “Notes on models of first-order mereological theories” (Q2987751) (← links)
- The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids (Q4565829) (← links)
- Intuitionistic mereology (Q6067323) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)