High Quality Content by WIKIPEDIA articles! In mathematical logic, the Lowenheim–Skolem theorem, named for Leopold Lowenheim and Thoralf Skolem, states that if a countable first-order theory has an infinite model, then for every infinite cardinal number ? it has a model of size ?. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной...

В наличии:
	Books.Ru - 1128 руб.	Перейти
Под заказ:
	OZON.ru - 1125 руб.	Перейти

Рейтинг книги: 4 из 5, 9 голос(-ов).