A generalization of Ehrenfeucht's game and some applications

Research output: Contribution to journalArticlepeer-review

21 Scopus citations

Abstract

The concept of α, β-elementary equivalence of two relational structures is defined. Sufficient and necessary conditions are given for this notion by generalizing Ehrenfeucht's game in algebraic terms. Some results, in a first order language with generalized quantifier, are obtained.

Original languageEnglish
Pages (from-to)279-298
Number of pages20
JournalIsrael Journal of Mathematics
Volume12
Issue number3
DOIs
StatePublished - 1 Sep 1972
Externally publishedYes

ASJC Scopus subject areas

  • Mathematics (all)

Fingerprint

Dive into the research topics of 'A generalization of Ehrenfeucht's game and some applications'. Together they form a unique fingerprint.

Cite this