A Quantifier for Isomorphisms

DOI10.1002/MALQ.19800260706MaRDI QIDQ3874188zbMATH OpenOpenAlexFDO

Authors Jouko Väänänen

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

zbMATH Keywords

abstract logicgeneralized quantifiersecond order logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Abstract model theory (03C95)

Cited in

(2)

• The Härtig quantifier: a survey
• Calculus with the quantifier of elementary equivalence

This page was built for publication: A Quantifier for Isomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3874188)