2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4, 5, 6
 
 Re: Счётное объединение счётных множеств без аксиомы выбора
Сообщение06.05.2010, 06:55 
Заморожен
Аватара пользователя


18/12/07
8774
Новосибирск
У нас есть счётный список куч, в каждой из которых элементы свалены беспорядочно. Каждую кучу можно перенумеровать, то есть развернуть в строку. Каким-то своим способом. Выбрать требуется способ, которым каждая куча будет разворачиваться в строку.

 Профиль  
                  
 
 Re: Счётное объединение счётных множеств без аксиомы выбора
Сообщение22.05.2010, 01:31 
Заблокирован
Аватара пользователя


05/12/09

126
Brest BY
Профессор Снэйп в сообщении #316069 писал(а):
У нас есть счётный список куч, в каждой из которых элементы свалены беспорядочно. Каждую кучу можно перенумеровать, то есть развернуть в строку. Каким-то своим способом. Выбрать требуется способ, которым каждая куча будет разворачиваться в строку.

trostewus из Сообщения: 10 Вернее не "по минорам", а змейкой, так сказать...
Еще лучше- см. неоределяемая единица, как и неуловимый Джо- любой способ, у каждого свой, особенно прелестно, когда и все кучи развернуть в 1 строку, и перенумеровывать из каждой кучи сначала только по одному элементу, потом по второму..., тогда и натуральное бесконечное пересчитается..

 Профиль  
                  
 
 Re: Счётное объединение счётных множеств без аксиомы выбора
Сообщение23.11.2016, 16:47 


19/03/15
291
Для Someone. Тема topic15853-15.html уже закрыта, приходится встревать здесь. Мысль
Someone: писал(а):
Невозможность полной формализации связана как раз с тем, что для достаточно богатой теории (первого порядка) всегда существуют неизоморфные модели
мне очень понравилась по причине большой общности. Грубо говоря, она обобщает то, что мы типично именуем проблемой модулей структур: известный факт неизоморфности представлений для изоморфных конструкций. Поскольку утверждение очень общее, то интересно, это где-то в обстоятельных теоретико-множественных трудах четко прописывалось? Или для спецов там это банально, коль скоро изоморфизмы на разных множествах и, стало быть, все что угодно может быть. А продолжения на теории "не первого порядка" что дадут?

 Профиль  
                  
 
 Re: Счётное объединение счётных множеств без аксиомы выбора
Сообщение23.11.2016, 20:33 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
maximav, извините, но в этих вопросах я не специалист. Посмотрите литературу по теории моделей.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 79 ]  На страницу Пред.  1, 2, 3, 4, 5, 6

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group