Sergei S. Goncharov, 5, Mathematical Problems from Applied Logic II, 2007, 99
Uri Andrews, Julia F. Knight, “Spectra of Atomic Theories”, J. symb. log., 78, № 4, 2009, 1189
U. Andrews, “Spectra of recursive models of disintegrated strongly minimal theories”, Lobachevskii J Math, 35, № 4, 2014, 287
Douglas Cenzer, Valentina Harizanov, David Marker, Carol Wood, “Preface”, Arch. Math. Logic, 48, № 1, 2009, 1
Uri Andrews, “The degrees of categorical theories with recursive models”, Proc. Amer. Math. Soc., 141, № 7, 2013, 2501
Michael C. Laskowski, “Characterizing Model Completeness Among Mutually Algebraic Structures”, Notre Dame J. Formal Logic, 56, № 3, 2015
John T. Baldwin, Kitty Holland, “Constructing ω-stable structures: model completeness”, Annals of Pure and Applied Logic, 125, № 1-3, 2004, 159
Jennifer Chubb, Russell Miller, Reed Solomon, “Model completeness and relative decidability”, Arch. Math. Logic, 60, № 6, 2021, 721
Alfred Dolich, Michael C. Laskowski, Alexander Raichev, “Model completeness for trivial, uncountably categorical theories of Morley rank 1”, Arch. Math. Logic, 45, № 8, 2006, 931
URI ANDREWS, OMER MERMELSTEIN, “IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE”, J. symb. log., 86, № 4, 2021, 1632