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^*

^*Corresponding author for this work

Department of Science Teaching

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 - Sep 1972

Access to Document

10.1007/BF02790755

Cite this

@article{a3c3e79cd8084e7090c2e80f0af8f1ea,

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,

doi = "10.1007/BF02790755",

language = "אנגלית",

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

Y1 - 1972/9

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 - https://www.scopus.com/pages/publications/51249192473

U2 - 10.1007/BF02790755

DO - 10.1007/BF02790755

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.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

Access to Document

Other files and links

Fingerprint

Cite this