A criterion for uniform finiteness in the imaginary sorts
From MaRDI portal
Publication:6332376
DOI10.1007/S00153-021-00803-5arXiv2001.01528MaRDI QIDQ6332376
Publication date: 6 January 2020
Basic properties of first-order languages and structures (03C07) Other classical first-order model theory (03C68)
This page was built for publication: A criterion for uniform finiteness in the imaginary sorts