Complexity of model theoretic notions

DOI10.1305/NDJFL/1093883248zbMATH Open0416.03043OpenAlexW2027962228MaRDI QIDQ754192FDOQ754192

Authors: Russell W. jun. Myers 

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

zbMATH Keywords

complexityrecursion theorycategoricityomitting typesmodel theoretic notions

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Complexity of computation (including implicit computational complexity) (03D15) Model theory (03C99)

This page was built for publication: Complexity of model theoretic notions

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