Файл:CardContin.svg
Перейти к навигации
Перейти к поиску
Размер этого PNG-превью для исходного SVG-файла: 30 × 22 пкс. Другие разрешения: 320 × 235 пкс | 640 × 469 пкс | 1024 × 751 пкс | 1280 × 939 пкс | 2560 × 1877 пкс.
Исходный файл (SVG-файл, номинально 30 × 22 пкс, размер файла: 7 КБ)
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
Дата/время | Миниатюра | Размеры | Участник | Примечание | |
---|---|---|---|---|---|
текущий | 00:31, 25 июня 2007 | 30 × 22 (7 КБ) | Stannered | {{Information |Description=two-to-the-aleph-null. For mathlogic-stub template. Comes from PNG rendering of LaTeX; <math>2^{\aleph_0}</math> (<code><nowiki><math>2^{\aleph_0}</math></nowiki></code>). |Source=en:Image:CardContin.png |Date=2007-06-25 |A |
Использование файла
Следующие 16 страниц используют этот файл:
- Аддитивное отображение
- Алгоритм Тарского
- Бесконечное множество
- Вполне упорядоченное множество
- Дескриптивное множество
- Диагональ
- Дизъюнктное объединение
- Задача разрешимости
- Независимость системы аксиом
- Парадокс Клини — Россера
- Теорема Гёделя о полноте
- Эрбранова интерпретация
- Википедия:Шаблоны/Незавершённые статьи/Наука
- Шаблон:Mathlogic-stub
- Проект:Математика/Математические шаблоны
- Проект:Математика/Статьи-заготовки
Глобальное использование файла
Данный файл используется в следующих вики:
- Использование в cv.wikipedia.org
- Использование в en.wikipedia.org
- Logic for Computable Functions
- Open formula
- Strong cardinal
- Superstrong cardinal
- Almost
- Successor function
- Extendible cardinal
- Ramsey cardinal
- Erdős cardinal
- Subtle cardinal
- Abstract structure
- Shelah cardinal
- Remarkable cardinal
- Tav (number)
- Computable measure theory
- Conull set
- Cocountability
- Unfoldable cardinal
- Coherent space
- Paraconsistent mathematics
- Axiom of real determinacy
- Principle of distributivity
- Axiom of projective determinacy
- Cantor–Dedekind axiom
- Diagonal intersection
- Subclass (set theory)
- Strongly compact cardinal
- Extension by new constant and function names
- Reduced product
- Generic filter
- Cabal (set theory)
- Square principle
- Takeuti's conjecture
- Finite character
- Inductive set
- Computable isomorphism
- Lightface analytic game
- Superposition calculus
- UTM theorem
- Truth-table reduction
- Template:Mathlogic-stub
- Tarski–Kuratowski algorithm
- Θ (set theory)
- AD+
- Algebraic semantics (mathematical logic)
- Michael D. Morley
- Effective descriptive set theory
- Rowbottom cardinal
Просмотреть глобальное использование этого файла.