Elementary equivalence in the language of list superstructures
From MaRDI portal
Publication:1920089
zbMath0849.03021MaRDI QIDQ1920089
Publication date: 27 August 1996
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
predicate calculussuperatomic Boolean algebraselementary equivalencehereditary finite list superstructure
Structure theory of Boolean algebras (06E05) Basic properties of first-order languages and structures (03C07) Other model constructions (03C30)
This page was built for publication: Elementary equivalence in the language of list superstructures