An example of two cardinals that are equivalent in the n-order logic and not equivalent in the (n + 1)-order logic

V. A. Bragin; E. I. Bunina

An example of two cardinals that are equivalent in the n-order logic and not equivalent in the (n + 1)-order logic

V. A. Bragin
, E. I. Bunina

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

It is proved that the property of two models to be equivalent in the nth order logic is definable in the (n+1)th order logic. Basing on this fact, there is given an (nonconstruc-tive) "example" of two n-order equivalent cardinal numbers that are not (n + 1)-order equivalent.

Original language	English
Pages (from-to)	35-44
Number of pages	10
Journal	Fundamental and Applied Mathematics
Volume	18
Issue number	1
State	Published - 2013

Cite this

@article{5b8f6efa35d54d5593f2e127e2ff15f5,

title = "An example of two cardinals that are equivalent in the n-order logic and not equivalent in the (n + 1)-order logic",

abstract = "It is proved that the property of two models to be equivalent in the nth order logic is definable in the (n+1)th order logic. Basing on this fact, there is given an (nonconstruc-tive) {"}example{"} of two n-order equivalent cardinal numbers that are not (n + 1)-order equivalent.",

author = "Bragin, \{V. A.\} and Bunina, \{E. I.\}",

year = "2013",

language = "אנגלית",

volume = "18",

pages = "35--44",

journal = "Fundamental and Applied Mathematics",

issn = "1560-5159",

publisher = "Lomonosov Moscow State University",

number = "1",

}

TY - JOUR

T1 - An example of two cardinals that are equivalent in the n-order logic and not equivalent in the (n + 1)-order logic

AU - Bragin, V. A.

AU - Bunina, E. I.

PY - 2013

Y1 - 2013

N2 - It is proved that the property of two models to be equivalent in the nth order logic is definable in the (n+1)th order logic. Basing on this fact, there is given an (nonconstruc-tive) "example" of two n-order equivalent cardinal numbers that are not (n + 1)-order equivalent.

AB - It is proved that the property of two models to be equivalent in the nth order logic is definable in the (n+1)th order logic. Basing on this fact, there is given an (nonconstruc-tive) "example" of two n-order equivalent cardinal numbers that are not (n + 1)-order equivalent.

UR - https://www.scopus.com/pages/publications/84907015711

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84907015711

SN - 1560-5159

VL - 18

SP - 35

EP - 44

JO - Fundamental and Applied Mathematics

JF - Fundamental and Applied Mathematics

IS - 1

ER -

An example of two cardinals that are equivalent in the n-order logic and not equivalent in the (n + 1)-order logic

Abstract

Other files and links

Fingerprint

Cite this