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

Bar-Ilan University

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

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

All Science Journal Classification (ASJC) codes

Analysis
Algebra and Number Theory
Geometry and Topology
Applied Mathematics

Cite this

@article{bf1cba8f9cab4d55a1d39bfd86cb218a,

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 = "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 - http://www.scopus.com/inward/record.url?scp=84907015711&partnerID=8YFLogxK

M3 - مقالة

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

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this