Isomorphism and higher order equivalence

DOI10.1016/0003-4843(79)90001-9zbMath0415.03044OpenAlexW1965262642WikidataQ56851887 ScholiaQ56851887MaRDI QIDQ3050425

Miklós Ajtai

Publication date: 1979

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(79)90001-9

zbMATH Keywords

independenceisomorphismcountable modelshigher order equivalenceZf-equivalence

Mathematics Subject Classification ID

Consistency and independence results (03E35) Set-theoretic model theory (03C55) Model theory of denumerable and separable structures (03C15) Set theory (03E99)

Related Items (4)

Second-order characterizable cardinals and ordinals ⋮ Congruence-distributive varieties of algebras ⋮ Second Order Logic or Set Theory? ⋮ Applications of Boolean powers of algebraic systems

This page was built for publication: Isomorphism and higher order equivalence