A Quantifier for Isomorphisms
From MaRDI portal
Publication:3874188
DOI10.1002/malq.19800260706zbMath0435.03030OpenAlexW2080114552MaRDI QIDQ3874188
Publication date: 1980
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19800260706
Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Abstract model theory (03C95)
Related Items (2)
This page was built for publication: A Quantifier for Isomorphisms