Доказательство запугиванием

[Ioda]

Видел такую ,жуткого вида, формулу:

$$\left\lvert\oplus_{k \in S}(\mathfrak{N}^{\mathbb{F}^{\alpha}(i)})_{i\in\mathcal{U}_k}\right\rvert\leqslant\aleph_1$$

,при $[\mathfrak{H}]_{\mathcal{W}}\cap\mathbb{F}^{\alpha}(\mathbb{N})\ne\varnothing$ .
Моя попытка расшифровки: мощность прямой суммы алгебр (не знаю как читается эта готическая буква) над расширением поля в степени $\alpha$ ,где суммирование ведется по множеству некоторых баз ,меньше или равна мощности континуума, если пересечением классов эквивалентности чего-то там и расширения множества натуральных чисел в степени $\alpha$ не является пустым множеством. Не понимаю как это правильно все-таки расшифровывается ,если расшифровывается.

[warlock66613]

(Оффтоп)

Ioda в сообщении #1358827 писал(а):

не знаю как читается эта готическая буква

Это интересно. Тогда как же вы смогли написать для неё LaTeX-код?

[arseniiv]

Ioda в сообщении #1358827 писал(а):

мощности континуума

$\aleph_1$ сам по себе не мощность континуума ($2^{\aleph_0}$). Если принять континуум-гипотезу, да.

[Ioda]

warlock66613 в сообщении #1358829 писал(а):

Тогда как же вы смогли написать для неё LaTeX-код?

Наугад ,но в источнике другая буква.

arseniiv в сообщении #1358831 писал(а):

$\aleph_1$ сам по себе не мощность континуума

Приму к сведению.

[Lia]

Ioda
Приведите список обозначений из источника.

[arseniiv]

Ioda
Чтобы не гадать по поводу фрактурных букв, вот таблица.

[Ioda]

Исправленная копия.

$$\left\lvert\bigoplus_{k \in S}(\mathfrak{K}^{\mathbb{F}^{\alpha}(i)})_{i\in\mathcal{U}_k}\right\rvert\leqslant\aleph_1$$

Там, где я видел эту формулу, не было приведено пояснений к используемым символам, поэтому я гадал ,когда пытался разобрать эту формулу. Вторую из приведенных формул я скопировал верно.

[Xaositect]

А что за источник? Обозначения не общепринятые, где-то должно быть объяснение.

[Ioda]

Xaositect в сообщении #1358866 писал(а):

А что за источник?

Подозреваю ,что эта формула наверняка является бессмысленной . Источником ее является картинка из интернета с "типичными" методами доказательства, типа доказательство авторитетом, доказательство убаюкиванием ,доказательство ссылкой на литературу и подобные. Просто стало интересно ,что могло бы подразумеваться под таким набором символов.

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Пургаторий (М)»
Причина переноса: несоответствие разделу.