FANDOM


Recent changes options
Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide minor edits | Show bots | Hide anons | Hide users | Hide my edits | Hide grouped recent changes | Hide logs
Show new changes starting from 13:44, August 4, 2020
   

August 4, 2020

+-     13:30 User blog:Fejfo/Extended veblen hierachy‎‎ (11 changes | hist) . . (-38)‎ . . [Fejfo‎ (11×)]
 m   13:30 (cur | prev) . . (-2)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:29 (cur | prev) . . (+14)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:26 (cur | prev) . . (-18)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:26 (cur | prev) . . (-1)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:25 (cur | prev) . . (-61)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:23 (cur | prev) . . (+17)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:22 (cur | prev) . . (+37)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:19 (cur | prev) . . (-1)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:17 (cur | prev) . . (+4)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   13:17 (cur | prev) . . (0)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
     13:16 (cur | prev) . . (-27)‎ . . Fejfo (Talk | contribs) (changed "Idea" to "Explanation" clariefed it's informal)
+-N    13:13 Article comment (Fejfo/Extended veblen hierachy)‎ (9 changes | hist) . . (+3,906)‎ . . [Fejfo‎ (4×); P進大好きbot‎ (5×)]
     13:13 (cur | prev) . . (-23)‎ . . Fejfo (Talk | contribs)
     13:12 (cur | prev) . . (+2)‎ . . Fejfo (Talk | contribs)
N    13:12 (cur) . . (+3,927)‎ . . Fejfo (Talk | contribs) (Created page with "Sorry I missed this comment yesterday: > Actually, you are using specific properties of ordinals in the definition of T and your φ.   Am I still using properties of ordina...")
N    00:48 (cur) . . (+694)‎ . . P進大好きbot (Talk | contribs) (Created page with "> T was always meant to be a set of formal strings, You wrote "Der(f) represents the fixpoint ennumerating function of f, Der((f_{a'})_{a'<a}) the common fixpoint ennumeratin...")
     00:39 (cur | prev) . . (-1)‎ . . P進大好きbot (Talk | contribs)
N    00:38 (cur) . . (+547)‎ . . P進大好きbot (Talk | contribs) (Created page with "According to [https://googology.wikia.org/index.php?title=User_blog%3AFejfo%2FExtended_veblen_hierachy&diff=292746&oldid=292676 the history page], you changed the definition o...")
N    00:35 (cur) . . (+411)‎ . . Fejfo (Talk | contribs) (Created page with "> Uh, have you changed the definition of T? As far as I know, you defined it as a set of ordinals. But the current definition mentions to it as a set of formal strings. T was...")
N    00:27 (cur) . . (+315)‎ . . P進大好きbot (Talk | contribs) (Created page with "Uh, have you changed the definition of T? As far as I know, you defined it as a set of ordinals. But the current definition mentions to it as a set of formal strings. If you ...")
N    00:23 (cur) . . (+1,230)‎ . . P進大好きbot (Talk | contribs) (Created page with "> Is the issue with fixed points, \(1 + \omega = \omega \)? Right, it is a portion of this issue. > I don't see how that causes a problem, as long as \( a + b \) is a distin...")
  m   04:56 User blog:P進大好きbot/Successor OCF Based on Weakly Compact Cardinals‎ (diff | hist) . . (+653)‎ . . P進大好きbot (Talk | contribs) (Blog post created or updated.)
+-     03:46 User blog:Muhammad Bukhari Noor/An extension of UNOCF up to second-order arithmetic‎‎ (3 changes | hist) . . (+3,986)‎ . . [Muhammad Bukhari Noor‎ (3×)]
 m   03:46 (cur | prev) . . (+71)‎ . . Muhammad Bukhari Noor (Talk | contribs) (Minor modification)
     03:16 (cur | prev) . . (+818)‎ . . Muhammad Bukhari Noor (Talk | contribs) (Added content)
     03:00 (cur | prev) . . (+3,097)‎ . . Muhammad Bukhari Noor (Talk | contribs) (Added content)

August 3, 2020

+-N    23:56 Article comment (Fejfo/Extended veblen hierachy)‎ (6 changes | hist) . . (+24)‎ . . [Fejfo‎ (6×)]
N    23:56 (cur) . . (+24)‎ . . Fejfo (Talk | contribs) (Created page with "This should be fixed now")
     23:53 (cur | prev) . . (+3)‎ . . Fejfo (Talk | contribs)
N    23:49 (cur) . . (+1,237)‎ . . Fejfo (Talk | contribs) (Created page with "> What if I require b to not be of the form c+d does that solve the issue?   Is the issue with fixed points, \(1 + \omega = \omega \)? I don't see how that causes a problem,...")
     14:54 (cur | prev) . . (+11)‎ . . Fejfo (Talk | contribs)
     14:53 (cur | prev) . . (-16,857)‎ . . Fejfo (Talk | contribs)
N    14:51 (cur) . . (+17,412)‎ . . Fejfo (Talk | contribs) (Created page with "wikia removed my reply as "a precaution against hijacking" so I'll have to type it again. <span class="MathJax" id="MathJax-Element-88-Frame" tabindex="0" style="position: re...")
  m   23:02 User blog:Naruyoko/PEGG detailed log/P‎ (diff | hist) . . (+327)‎ . . Naruyoko (Talk | contribs) (2020/08/04)
+-N    23:00 Article comment (Antimony Star/Possible correspondence between Rathjen's Mahlo OCF and Sudden Sequence System)‎ (3 changes | hist) . . (+1,501)‎ . . [Antimony Star‎; P進大好きbot‎ (2×)]
N    23:00 (cur) . . (+1,501)‎ . . P進大好きbot (Talk | contribs) (Created page with "> Rathjen stated that including phi and Phi helps with proving that his ordinal notation is PTO(KPM) although it's possible to do that without. I thought that you had known i...")
N    22:24 (cur) . . (+1,321)‎ . . Antimony Star (Talk | contribs) (Created page with "Earlier, I used to just quickly read through Rathjen's original paper and didn't pay too much attention to detail. but yesterday I read very carefully on each section. First...")
N    21:48 (cur) . . (+254)‎ . . P進大好きbot (Talk | contribs) (Created page with "By the way, why do you dislike it? Is there any weird property? (Many people do not know Rathjen's OCF, and hence it is unreasonable to state that "people" dislike it. It shou...")
+-     21:41 Talk:Transcendental integer‎‎ (6 changes | hist) . . (+695)‎ . . [P進大好きbot‎ (2×); C7X‎ (4×)]
 m   21:41 (cur | prev) . . (+3)‎ . . P進大好きbot (Talk | contribs)
     21:41 (cur | prev) . . (+366)‎ . . P進大好きbot (Talk | contribs)
     16:52 (cur | prev) . . (+5)‎ . . C7X (Talk | contribs)
     16:51 (cur | prev) . . (+16)‎ . . C7X (Talk | contribs)
     15:41 (cur | prev) . . (+53)‎ . . C7X (Talk | contribs)
     15:40 (cur | prev) . . (+252)‎ . . C7X (Talk | contribs)
      20:36 Jonah’s Number‎ (diff | hist) . . (+11)‎ . . XYZeed (Talk | contribs) (VisualEditor)
+-     19:23 User blog:Fejfo/Extended veblen hierachy‎‎ (3 changes | hist) . . (+1,813)‎ . . [Fejfo‎ (3×)]
 m   19:23 (cur | prev) . . (+2)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
 m   19:21 (cur | prev) . . (-2)‎ . . Fejfo (Talk | contribs) (Blog post created or updated.)
     19:18 (cur | prev) . . (+1,813)‎ . . Fejfo (Talk | contribs) (fixed mistakes, comparison alg still unfinished)
 N    17:41 User blog:Antimony Star/Possible correspondence between Rathjen's Mahlo OCF and Sudden Sequence System‎ (diff | hist) . . (+1,028)‎ . . Antimony Star (Talk | contribs) (Blog post created or updated.)
      16:30 User:Cloudy176/stats‎ (diff | hist) . . (+66)‎ . . Cloudy176 (Talk | contribs) (4 days, 38.1K 246 0)
+-N    12:02 Article comment (Koteitan/Definition of Dimensional BMS and its correspondence to Y sequence)‎ (4 changes | hist) . . (+607)‎ . . [Naruyoko‎; Koteitan‎ (3×)]
     12:02 (cur | prev) . . (+4)‎ . . Koteitan (Talk | contribs)
     12:02 (cur | prev) . . (+26)‎ . . Koteitan (Talk | contribs)
N    12:01 (cur) . . (+577)‎ . . Koteitan (Talk | contribs) (Created page with "I got what you saying. (0)(1)(2)(2,1) is non-standard like (0)(0)(1). The forth column should have some constraint with the previous state (0)(1)(2) after Y(1,2,3). It is the ...")
N    03:32 (cur) . . (+169)‎ . . Naruyoko (Talk | contribs) (Created page with "Y(1,2,3,4)=DBMS(0)(1)(2)(3) in normal sense, I don't know if this algorithm gets that but maybe (0)(1)(2)(2,1) is skipped by limiting the DBMS matrixes to standard ones?")
Community content is available under CC-BY-SA unless otherwise noted.