Vaught's Theorem on Axiomatizability by a Scheme
Vaught's Theorem on Axiomatizability by a Scheme
A. Visser
2010 · DOI: 10.2178/bsl/1344861888
Bulletin of Symbolic Logic · 12 Citations
TLDR
A strengthening of Vaught's theorem is established by weakening the hypothesis of direct interpretability of VS to directinterpretability of the finitely axiomatized fragment VS2 of VS.