DOI10.1007/BF02757872zbMath0279.02031MaRDI QIDQ1394224
Maurice Pouzet
Publication date: 1974 Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Mathematics Subject Classification ID
03C99: Model theory
03C68: Other classical first-order model theory