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
Multitrees, model completeness, and decidability - MaRDI portal

Multitrees, model completeness, and decidability

From MaRDI portal

Publication:1110501

Jump to:navigation, search

zbMATH Open0657.03012MaRDI QIDQ1110501

G. E. Puninskij

Publication date: 1988

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

model complete theory countably categorical model companion finitely axiomatizable multitree reticles

Mathematics Subject Classification ID

Partial orders, general (06A06) Decidability of theories and sets of sentences (03B25) Categoricity and completeness of theories (03C35)

Related Items (4)

Title not available (Why is that?) ⋮ Graph decompositions and tree automata in reasoning with uncertainty ⋮ On model-theoretic tree properties ⋮ Title not available (Why is that?)

This page was built for publication: Multitrees, model completeness, and decidability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1110501)

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