# User contributions

Jump to navigation
Jump to search

- 16:06, 31 December 2012 diff hist +163 m User talk:Asalmon →On Transitive Closure Always Exists (Set Theory)
- 15:45, 30 December 2012 diff hist +225 User talk:Asalmon →Well-founded relations and minimal elements
- 15:43, 30 December 2012 diff hist -175 Restriction of Foundational Relation is Foundational Rewrite, should be clearer
- 16:31, 9 September 2012 diff hist +158 m Definition talk:Cofinality current
- 13:27, 9 September 2012 diff hist -5 m Nonlimit Ordinal Cofinal to One
- 13:27, 9 September 2012 diff hist -85 m Nonlimit Ordinal Cofinal to One
- 13:24, 9 September 2012 diff hist -40 m Definition:Aleph Mapping
- 13:21, 9 September 2012 diff hist -35 m Condition for Cofinal Nonlimit Ordinals
- 13:19, 9 September 2012 diff hist +215 m Definition talk:Cofinality
- 13:16, 9 September 2012 diff hist +136 m Definition talk:Cofinal Relation on Ordinals
- 13:15, 9 September 2012 diff hist -337 m Definition:Cofinal Relation on Ordinals
- 13:15, 9 September 2012 diff hist +293 N Definition talk:Cofinal Relation on Ordinals Created page with "Cofinal Limit Ordinals does not actually say this. It only says that non-limit cardinals cannot be cofinal to limit ones and vice versa. It does not imply that limit ord..."
- 13:14, 9 September 2012 diff hist -398 m Definition:Cofinal Relation on Ordinals
- 13:10, 9 September 2012 diff hist +271 m Definition talk:Regular Cardinal current
- 05:04, 9 September 2012 diff hist +89 m Definition:Cofinal Relation on Ordinals
- 05:01, 9 September 2012 diff hist +1 m Definition:Cofinality
- 05:00, 9 September 2012 diff hist +55 m Definition:Cofinality
- 04:59, 9 September 2012
diff hist
**+655** m Definition talk:Regular Cardinal - 04:54, 9 September 2012 diff hist +277 Definition talk:Cofinality
- 03:21, 9 September 2012 diff hist +500 N Definition:Strongly Inaccessible Cardinal Created page with "== Definition == An infinite cardinal $\aleph_\kappa$ is called '''strongly inaccessible cardinal''' iff: # $\aleph_\kappa$ ..."
- 03:19, 9 September 2012 diff hist +3 m Definition:Weakly Inaccessible Cardinal
- 03:18, 9 September 2012
diff hist
**+542** N Definition:Weakly Inaccessible Cardinal Created page with "== Theorem == An infinite cardinal $\aleph_\kappa$ is '''weakly inaccessible''' iff: # $\kappa$ is a [[Definition:Limit Ordi..." - 03:09, 9 September 2012
diff hist
**+553** N Definition:Singular Cardinal Created page with "== Definition == Let $\kappa$ be an infinite cardinal. Then, $\kappa$ is a '''regular cardinal''' iff $\operatornam..." - 03:06, 9 September 2012 diff hist +259 m Successor in Limit Ordinal
- 03:02, 9 September 2012 diff hist +249 m Definition:Regular Cardinal
- 03:00, 9 September 2012 diff hist +6 m Definition:Regular Cardinal
- 03:00, 9 September 2012 diff hist +129 m Definition:Cofinality
- 02:59, 9 September 2012 diff hist +463 N Definition:Regular Cardinal Created page with "== Definition == Let $\kappa$ be an infinite cardinal. Then, $\kappa$ is a '''regular cardinal''' iff $\operatornam..."
- 02:55, 9 September 2012
diff hist
**+643** N Definition:Cofinality Created page with "== Formal Definition == Let $\kappa$ be an ordinal. The '''cofinality''' of $\kappa$, denoted $\operatorname{cf} \left({ \kappa }\right)$, is the smal..." - 02:38, 9 September 2012 diff hist +1 m Cofinal Limit Ordinals
- 02:37, 9 September 2012
diff hist
**+2,789** N Cofinal Limit Ordinals Created page with " == Theorem == Let $x$ and $y$ be ordinals. Let $\operatorname{cof}$ denote the cofinal relation. Let $K_{II}$ denote ..." - 01:52, 9 September 2012 diff hist -1 m Condition for Cofinal Nonlimit Ordinals
- 01:52, 9 September 2012 diff hist -1 m Nonlimit Ordinal Cofinal to One
- 01:52, 9 September 2012 diff hist -7 m Nonlimit Ordinal Cofinal to One
- 01:51, 9 September 2012
diff hist
**+888** N Nonlimit Ordinal Cofinal to One Created page with "== Theorem == Let $x$ be a nonlimit nonempty ordinal. Let $\operatorname{cof}$ denote the [[Defi..." - 01:51, 9 September 2012
diff hist
**+1,696** N Condition for Cofinal Nonlimit Ordinals Created page with "== Theorem == Let $x$ and $y$ be nonlimit ordinals. Let $\operatorname{cof}$ denote the [[Definition:Cofinal Ordinal|cofi..." - 01:26, 9 September 2012 diff hist +22 m Cofinal to Zero iff Ordinal is Zero
- 01:25, 9 September 2012 diff hist +1 m Cofinal to Zero iff Ordinal is Zero
- 01:25, 9 September 2012
diff hist
**+1,367** N Cofinal to Zero iff Ordinal is Zero Created page with "== Theorem == Let $x$ be an ordinal. Let $\operatorname{cof}$ denote the cofinal relation. Let $0$ denote the [[Defini..." - 01:15, 9 September 2012 diff hist +4 m Cofinal Ordinal Relation is Transitive
- 01:14, 9 September 2012
diff hist
**+1,782** N Cofinal Ordinal Relation is Transitive Created page with "== Theorem == Let $x$, $y$, and $z$ be ordinals. Let $\operatorname{cof}$ denote the cofinal relation. Then: :$\oper..." - 01:14, 9 September 2012 diff hist +1 m Book:Gaisi Takeuti/Introduction to Axiomatic Set Theory
- 23:29, 8 September 2012 diff hist +8 m Cofinal Ordinal Relation is Reflexive
- 18:10, 8 September 2012
diff hist
**+1,111** N Cofinal Ordinal Relation is Reflexive Created page with "== Theorem == Let $x$ be an ordinal. Then $x$ is cofinal to itself. That is: :$\operatorname{cof} \left({ x,x }\righ..." - 17:59, 8 September 2012 diff hist +128 m Definition:Cofinal Relation on Ordinals
- 17:57, 8 September 2012
diff hist
**+536** N Definition:Cofinal Relation on Ordinals Created page with "== Definition == Let $x$ and $y$ be ordinals. Then $x$ and $y$ are said to be '''cofinal''' iff there exists a [[Definition:Mappin..." - 14:32, 8 September 2012 diff hist +1 m Division Theorem for Ordinals
- 14:31, 8 September 2012 diff hist -134 m Division Theorem for Ordinals
- 14:24, 8 September 2012 diff hist +121 m Talk:Set of All Mappings of Cartesian Product current
- 14:24, 8 September 2012 diff hist -5 m Set of All Mappings of Cartesian Product