First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
Crossref DOI link: https://doi.org/10.3103/S1055134416030044
Published Online: 2016-08-12
Published Print: 2016-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Peretyat’kin, M. G.
License valid from 2016-07-01