File:CardContin.svg
From Wikipedia, the free encyclopedia
CardContin.svg (SVG file, nominally 30 × 22 pixels, file size: 7 KB)
File history
Click on a date/time to view the file as it appeared at that time.
(latest | earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 00:31, 25 June 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) |
File links
More than 100 pages link to this file. The following list shows the first 100 page links to this file only. A full list is available.
- Star height problem
- Infinite set
- Church–Rosser theorem
- Totally indescribable cardinal
- Strong cardinal
- Woodin cardinal
- Superstrong cardinal
- Supercompact cardinal
- Huge cardinal
- Ineffable cardinal
- Extensionality
- Order isomorphism
- Rank-into-rank
- Extendible cardinal
- Ramsey cardinal
- Erdős cardinal
- Subtle cardinal
- Set-theoretic limit
- Gimel function
- Trichotomy (mathematics)
- Substructural logic
- Shelah cardinal
- Weakly hyper-Woodin cardinal
- Hyper-Woodin cardinal
- Remarkable cardinal
- NTIME
- NE (complexity)
- Generalized star height problem
- Unfoldable cardinal
- Bunched logic
- Coherent space
- Lindenbaum–Tarski algebra
- Paraconsistent mathematics
- Axiom of real determinacy
- Least fixed point
- Kleene fixed-point theorem
- PCF theory
- Projective hierarchy
- Axiom of projective determinacy
- Mostowski collapse lemma
- PSPACE-hard
- Finite thickness
- Supercombinator
- Stuttering equivalence
- Rabin automaton
- Fréchet filter
- Cantor-Dedekind axiom
- Diagonal intersection
- Finite model theory
- Weighted context-free grammar
- Conservative extension
- Borel equivalence relation
- Internal set
- Generic filter
- Cabal (set theory)
- Global square
- Takeuti conjecture
- Transitive set
- Epsilon-induction
- Heyting arithmetic
- Set system of finite character
- Inductive set (axiom of infinity)
- Inductive set
- Lightface analytic game
- Truth table reduction
- Template:Mathlogic-stub
- Tarski–Kuratowski algorithm
- Θ (set theory)
- AD+
- Michael D. Morley
- Hartogs number
- Characteristic sequence
- MAX-3SAT(13)
- Effective descriptive set theory
- Rowbottom cardinal
- Logical graph
- Set-theoretic topology
- Mouse (set theory)
- Hereditary set
- Difference hierarchy
- Sudan function
- Extension (predicate logic)
- Indiscernibles
- Krull's theorem
- Limitation of size
- Coanalytic set
- Trakhtenbrot's theorem
- Singular cardinals hypothesis
- Admissible ordinal
- PLS (complexity)
- LOGCFL
- Critical point (set theory)
- Star-free language
- Normal measure
- Critical pair
- Hereditarily countable set
- Admissible set
- Code (set theory)
- Axiom of global choice
- Axiom of limitation of size
View more links to this file.
(
