Arithmetic and the theory of types
From MaRDI portal
Publication:3680818
DOI10.2307/2274193zbMath0566.03024OpenAlexW2008564292MaRDI QIDQ3680818
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274193
Models of arithmetic and set theory (03C62) Model theory of denumerable and separable structures (03C15)
Related Items