Author:
Harrison-Trainor Matthew,Ho Meng-Che “Turbo”
Reference21 articles.
1. Quasi-finitely axiomatizable totally categorical theories;Ahlbrandt;Ann. Pure Appl. Log.,1986
2. R. Alvir, J.F. Knight, C.F.D. McCoy, Complexity of scott sentences, preprint.
3. M. Harrison-Trainor, Describing finitely presented algebraic structures, preprint.
4. On optimal Scott sentences of finitely generated algebraic structures;Harrison-Trainor;Proc. Am. Math. Soc.,2018
5. Computable functors and effective interpretability;Harrison-Trainor;J. Symb. Log.,2017
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献