A generalization of Ehrenfeucht's game and some applications

Shlomo Vinner

doi:10.1007/BF02790755

A generalization of Ehrenfeucht's game and some applications

Shlomo Vinner

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	279-298
Number of pages	20
Journal	Israel Journal of Mathematics
Volume	12
Issue number	3
DOIs	https://doi.org/10.1007/BF02790755
State	Published - 1 Sep 1972
Externally published	Yes

ASJC Scopus subject areas

General Mathematics

Access to Document

10.1007/BF02790755

Cite this

@article{cb35ffd35e08476f8fe7ba6ad76d0f25,

title = "A generalization of Ehrenfeucht's game and some applications",

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.",

author = "Shlomo Vinner",

year = "1972",

month = sep,

day = "1",

doi = "10.1007/BF02790755",

language = "English",

volume = "12",

pages = "279--298",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "3",

}

TY - JOUR

T1 - A generalization of Ehrenfeucht's game and some applications

AU - Vinner, Shlomo

PY - 1972/9/1

Y1 - 1972/9/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=51249192473&partnerID=8YFLogxK

U2 - 10.1007/BF02790755

DO - 10.1007/BF02790755

M3 - Article

AN - SCOPUS:51249192473

SN - 0021-2172

VL - 12

SP - 279

EP - 298

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 3

ER -

A generalization of Ehrenfeucht's game and some applications

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this