Файл:CardContin.svg
Памер гэтага PNG-прагляду для SVG-файла: 30 × 22 пікселяў. Іншыя разрозненні: 320 × 235 пікселяў | 640 × 469 пікселяў | 1 024 × 751 пікселяў | 1 280 × 939 пікселяў | 2 560 × 1 877 пікселяў.
Арыгінальны файл (файл SVG, намінальна 30 × 22 кропак, аб’ём файла: 7 KB)
| Апісанне |
two-to-the-aleph-null. For mathlogic-stub template. Comes from PNG rendering of LaTeX; (<math>2^{\aleph_0}</math>). |
| Дата | |
| Крыніца | en:Image:CardContin.png |
| Аўтар | en:User:Trovatore, recreated by User:Stannered |
| Дазвол (Паўторнае выкарыстанне гэтага файла) |
PD/ineligible |
| Іншыя версіі | en:Image:CardContin.png |
|
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship. |
Гісторыя файла
Націснуць на даце з часам, каб паказаць файл, якім ён тады быў.
| Дата і час | Драбніца | Памеры | Удзельнік | Тлумачэнне | |
|---|---|---|---|---|---|
| актуальн. | 03:31, 25 чэрвеня 2007 | | 30 × 22 (7 KB) | 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 |
Выкарыстанне файла
Няма старонак, якія выкарыстоўваюць гэты файл.
Глабальнае выкарыстанне файла
Гэты файл выкарыстоўваецца ў наступных вікі:
- Выкарыстанне ў 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
- Classical mathematics
- 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
Паказаць глабальнае выкарыстанне гэтага файла.
