Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Finitely inseparable first-order axiomatized mereotopological theories - MaRDI portal

Finitely inseparable first-order axiomatized mereotopological theories

From MaRDI portal

Publication:4982517

Jump to:navigation, search

DOI10.12775/LLP.2013.016zbMath1344.03014MaRDI QIDQ4982517

Hsing-chien Tsai

Publication date: 9 April 2015

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

undecidability separability decidability mereology mereotopology inseparability finite inseparability finite separability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: Finitely inseparable first-order axiomatized mereotopological theories

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4982517&oldid=19425224"