User contributions for Asalmon
Jump to navigation
Jump to search
31 December 2012
- 20:0620:06, 31 December 2012 diff hist +163 m User talk:Asalmon →On Transitive Closure Always Exists (Set Theory)
30 December 2012
- 19:4519:45, 30 December 2012 diff hist +225 User talk:Asalmon →Well-founded relations and minimal elements
- 19:4319:43, 30 December 2012 diff hist −175 Restriction of Strictly Well-Founded Relation is Strictly Well-Founded Rewrite, should be clearer
9 September 2012
- 20:3120:31, 9 September 2012 diff hist +158 m Definition talk:Cofinality No edit summary current
- 17:2717:27, 9 September 2012 diff hist −5 m Nonlimit Ordinal Cofinal to One No edit summary
- 17:2717:27, 9 September 2012 diff hist −85 m Nonlimit Ordinal Cofinal to One No edit summary
- 17:2417:24, 9 September 2012 diff hist −40 m Definition:Aleph Mapping No edit summary
- 17:2117:21, 9 September 2012 diff hist −35 m Condition for Cofinal Nonlimit Ordinals No edit summary
- 17:1917:19, 9 September 2012 diff hist +215 m Definition talk:Cofinality No edit summary
- 17:1517:15, 9 September 2012 diff hist −337 m Definition:Cofinal Relation on Ordinals No edit summary
- 17:1417:14, 9 September 2012 diff hist −398 m Definition:Cofinal Relation on Ordinals No edit summary
- 17:1017:10, 9 September 2012 diff hist +271 m Definition talk:Regular Cardinal No edit summary current
- 09:0409:04, 9 September 2012 diff hist +89 m Definition:Cofinal Relation on Ordinals No edit summary
- 09:0109:01, 9 September 2012 diff hist +1 m Definition:Cofinality No edit summary
- 09:0009:00, 9 September 2012 diff hist +55 m Definition:Cofinality No edit summary
- 08:5908:59, 9 September 2012 diff hist +655 m Definition talk:Regular Cardinal No edit summary
- 08:5408:54, 9 September 2012 diff hist +277 Definition talk:Cofinality No edit summary
- 07:2107: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$ ..."
- 07:1907:19, 9 September 2012 diff hist +3 m Definition:Weakly Inaccessible Cardinal No edit summary
- 07:1807: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..."
- 07:0907: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..."
- 07:0207:02, 9 September 2012 diff hist +249 m Definition:Regular Cardinal No edit summary
- 07:0007:00, 9 September 2012 diff hist +6 m Definition:Regular Cardinal No edit summary
- 07:0007:00, 9 September 2012 diff hist +129 m Definition:Cofinality No edit summary
- 06:5906: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..."
- 06:5506: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..."
- 06:3806:38, 9 September 2012 diff hist +1 m Cofinal Limit Ordinals No edit summary
- 06:3706: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 ..."
- 05:5205:52, 9 September 2012 diff hist −1 m Condition for Cofinal Nonlimit Ordinals No edit summary
- 05:5205:52, 9 September 2012 diff hist −1 m Nonlimit Ordinal Cofinal to One No edit summary
- 05:5205:52, 9 September 2012 diff hist −7 m Nonlimit Ordinal Cofinal to One No edit summary
- 05:5105: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..."
- 05:5105: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..."
- 05:2605:26, 9 September 2012 diff hist +22 m Cofinal to Zero iff Ordinal is Zero No edit summary
- 05:2505:25, 9 September 2012 diff hist +1 m Cofinal to Zero iff Ordinal is Zero No edit summary
- 05:2505: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..."
- 05:1505:15, 9 September 2012 diff hist +4 m Cofinal Ordinal Relation is Transitive No edit summary
- 05:1405: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..."
- 05:1405:14, 9 September 2012 diff hist +1 m Book:Gaisi Takeuti/Introduction to Axiomatic Set Theory No edit summary
- 03:2903:29, 9 September 2012 diff hist +8 m Cofinal Ordinal Relation is Reflexive No edit summary
8 September 2012
- 22:1022: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..."
- 21:5921:59, 8 September 2012 diff hist +128 m Definition:Cofinal Relation on Ordinals No edit summary
- 21:5721: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..."
- 18:3218:32, 8 September 2012 diff hist +1 m Division Theorem for Ordinals No edit summary
- 18:3118:31, 8 September 2012 diff hist −134 m Division Theorem for Ordinals No edit summary
- 18:2418:24, 8 September 2012 diff hist +121 m Talk:Set of All Mappings of Cartesian Product No edit summary current
- 18:2418:24, 8 September 2012 diff hist −5 m Set of All Mappings of Cartesian Product No edit summary
- 18:2318:23, 8 September 2012 diff hist −12 m Set of All Mappings of Cartesian Product No edit summary
- 07:4907:49, 8 September 2012 diff hist +158 m Set of All Mappings of Cartesian Product No edit summary
- 07:4807:48, 8 September 2012 diff hist +1,399 N Set of All Mappings of Cartesian Product Created page with "== Theorem == Let $R$, $S$, and $T$ be small classes. :$R^{S \times T} \sim \left({ R^S }\right)^T$ == Proof == Define the [[Definition:Mappin..."