Complexity of model theoretic notions
From MaRDI portal
Publication:754192
DOI10.1305/NDJFL/1093883248zbMath0416.03043OpenAlexW2027962228MaRDI QIDQ754192
Publication date: 1980
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883248
Model theory (03C99) Complexity of computation (including implicit computational complexity) (03D15) Categoricity and completeness of theories (03C35)
This page was built for publication: Complexity of model theoretic notions