Canonical form of Tarski sets in Zermelo-Fraenkel set theory

E. I. Bunina; V. K. Zakharov

doi:10.1007/s11006-005-0030-2

Canonical form of Tarski sets in Zermelo-Fraenkel set theory

E. I. Bunina
, V. K. Zakharov

Lomonosov Moscow State University

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

Abstract

We establish the equivalence of the notions of an inaccessible cumulative set and uncountable Tarski set. In addition, the equivalence of these notions and that of a galactic set is proved.

Original language	English
Pages (from-to)	297-306
Number of pages	10
Journal	Mathematical Notes
Volume	77
Issue number	3-4
DOIs	https://doi.org/10.1007/s11006-005-0030-2
State	Published - Mar 2005
Externally published	Yes

Keywords

Cumulative set
Dominant set
Inaccessible set
Tarski set
Universal set
Zermelo-Fraenkel axiomatics
von Neumann-Bernays-Gödel axiomatics

Access to Document

10.1007/s11006-005-0030-2

Cite this

@article{54f7e72a63314449a2c7240e6df577bb,

title = "Canonical form of Tarski sets in Zermelo-Fraenkel set theory",

abstract = "We establish the equivalence of the notions of an inaccessible cumulative set and uncountable Tarski set. In addition, the equivalence of these notions and that of a galactic set is proved.",

keywords = "Cumulative set, Dominant set, Inaccessible set, Tarski set, Universal set, Zermelo-Fraenkel axiomatics, von Neumann-Bernays-G{\"o}del axiomatics",

author = "Bunina, \{E. I.\} and Zakharov, \{V. K.\}",

year = "2005",

month = mar,

doi = "10.1007/s11006-005-0030-2",

language = "אנגלית",

volume = "77",

pages = "297--306",

journal = "Mathematical Notes",

issn = "0001-4346",

publisher = "Pleiades Publishing",

number = "3-4",

}

TY - JOUR

T1 - Canonical form of Tarski sets in Zermelo-Fraenkel set theory

AU - Bunina, E. I.

AU - Zakharov, V. K.

PY - 2005/3

Y1 - 2005/3

N2 - We establish the equivalence of the notions of an inaccessible cumulative set and uncountable Tarski set. In addition, the equivalence of these notions and that of a galactic set is proved.

AB - We establish the equivalence of the notions of an inaccessible cumulative set and uncountable Tarski set. In addition, the equivalence of these notions and that of a galactic set is proved.

KW - Cumulative set

KW - Dominant set

KW - Inaccessible set

KW - Tarski set

KW - Universal set

KW - Zermelo-Fraenkel axiomatics

KW - von Neumann-Bernays-Gödel axiomatics

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

U2 - 10.1007/s11006-005-0030-2

DO - 10.1007/s11006-005-0030-2

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

AN - SCOPUS:20244363948

SN - 0001-4346

VL - 77

SP - 297

EP - 306

JO - Mathematical Notes

JF - Mathematical Notes

IS - 3-4

ER -

Canonical form of Tarski sets in Zermelo-Fraenkel set theory

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this