User contributions for Jbetzend
Jump to navigation
Jump to search
21 March 2019
- 12:4312:43, 21 March 2019 diff hist −2 m User:Jbetzend remove typo current
20 March 2019
- 10:4510:45, 20 March 2019 diff hist +29 m User:Jbetzend minor
- 10:4410:44, 20 March 2019 diff hist +60 N Diaconescu's Theorem Create page, this is another name for this result. Tag: New redirect
- 10:2610:26, 20 March 2019 diff hist −35 Diaconescu-Goodman-Myhill Theorem The finiteness here doesn't hold constructively (see https://bit.ly/2JqTsKH) and isn't needed for the argument since Choice doesn't need finiteness.
16 December 2015
- 18:1818:18, 16 December 2015 diff hist +13 m Diaconescu-Goodman-Myhill Theorem minor polishings
- 09:1509:15, 16 December 2015 diff hist +18 m Diaconescu-Goodman-Myhill Theorem Added categories "set theory" and "Axiom of Choice"
15 December 2015
- 19:3719:37, 15 December 2015 diff hist +78 m User:Jbetzend Added additional article and some info.
- 19:3419:34, 15 December 2015 diff hist +1,346 N Diaconescu-Goodman-Myhill Theorem Create page, state theorem, state proof
29 July 2014
- 16:2916:29, 29 July 2014 diff hist +37 m Definition:Field (Abstract Algebra) Added German translation
22 July 2014
- 15:5915:59, 22 July 2014 diff hist +66 m User:Jbetzend added work
- 15:5815:58, 22 July 2014 diff hist −121 m ProofWiki:Wanted proofs list Removed "Pumping Lemma for Regular Languages" since it exists now.
- 15:5615:56, 22 July 2014 diff hist +2,317 N Pumping Lemma for Regular Languages Created Page