A weakly definable type which is not definable
From MaRDI portal
Publication:1313603
DOI10.1007/BF01270469zbMath0796.03042OpenAlexW2021939455MaRDI QIDQ1313603
Publication date: 19 September 1994
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01270469
Cites Work