axiom of choice

The axiom of choice and the generalized continuum hypothesis are theorems of ZFL.

Аксиома выбора и обобщенная гипотеза континуума являются теоремами теории ZFL.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

The construction uses heavily the axiom of choice.

Построение этого примера существенно использует аксиому выбора.

Jech, Thomas J. / Lectures in Set Theory: with Particular Emphasis on the Method of ForcingЙех, Т. / Теория множеств и метод форсинга

Теория множеств и метод форсинга

Йех, Т.

© Перевод на русский язык, "Мир", 1973

Lectures in Set Theory: with Particular Emphasis on the Method of Forcing

Jech, Thomas J.

© by Springer-Verlag Berlin - Heidelberg 1971

The proof of the axiom of choice in ZFL is quite easy.

Доказательство аксиомы выбора в теории ZFL совершенно простое.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.