aka Nish

  • I live in Laniakea Supercluster
  • My occupation is GO INTO GOOGOLOGY SERVER
  • I am a
  • Alemagno12

    This blog post will present three guesses about collapsing cardinals beyond weakly compacts: one for admissibles using Scorcher's results, one for admissibles using my results, and one for uncountables using Scorcher's results. We will compare with BMS.

    Let =~ mean ω)-stable ordinal

    • [WIP]
    Read more >
  • Alemagno12

    Time to get started.

    In Z2, we can't talk about transfinite ordinals, but we can talk about well-orderings of natural numbers. To prove that an ordering of order type x is well-ordered, we have to prove the following: take some formula φ(n) such that φ(0) and if φ(x) for all x < y in the ordering, φ(y); then, prove that ∀n(∀m≤n in the ordering(φ(m))).

    For a well-ordering of order type ω^ω, we are going to use this encoding:

    • 0 corresponds to 0.
    • 1 corresponds to 1.
    • P[a]P[b]P[c]...P[z] corresponds to 1+ωa-1ωb-1ωc-1...ωz-1.


    Update:  So I've heard about these things called which I think is a system that assigns a tree to every formula transformed using rules in a similar format of those of CoC. For some consistent theory X, the trees that can b…

    Read more >
  • Alemagno12

    Huge Ordinal Analysis

    February 2, 2018 by Alemagno12

    I am making a new blog post series in which I will analyze progressively stronger theories and try to find lower bounds for their strength. The goal of this series is to try to unify the higher portion of the two branches of computable googology, so we can know if, say, BMS is stronger than Friedman's functions derived from finite promise games.

    Here are the theories that I am planning on analyzing:

    • Z2
    • Z3 (I need help with the definition of this one)
    • Higher Order Arithmetic (I need help with the definition of this one)
    • ZFC
    • ZFC + there exists an inaccessible cardinal
    • ZFC + some extensions to inaccessible cardinals
    • ZFC + there exists a Mahlo cardinal
    • ...
    • ZFC + there exists a rank-into-rank cardinal

    After that, I will analyze the previous systems with pr…

    Read more >
  • Alemagno12

    googology 4 dummies

    January 28, 2018 by Alemagno12

    Oh look, it's another one of those guides for beginner googologists! But this one isn't a long series of blog posts or a website or whatever. This one just explains the basic ruleset of Googology: if you understand and apply these ru, you can learn the rest (the major googological notations, methods to create googological notations, the major googologism families...) by searching for them on this wiki and studying them.

    So, without further ado, here are the rules:

    1. Don't try to create the largest number ever. Yet. Seriously, don't. Unless you're familiarized with set theories and how to extend them, you should NOT try to create the largest number yet.
    2. Don't use Infinity anywhere in your number/notation (a function that doesn't need to be made …
    Read more >
  • Alemagno12

    Another lambda notation

    January 27, 2018 by Alemagno12

    To avoid confusion with my other lambda notation, this one uses a lowercase psi instead of an uppercase psi.

    Define the set F of semi-normal functions using these inductive rules:

    • F(x) = 0 ϵ F
    • F(x) = x ϵ F
    • If F() ϵ F, then G(x) = S(F(x)) ϵ F (where S is the successor function)
    • If F(), G() ϵ F, then H(x) = F(x)+G(x) ϵ F
    • If F(), G() ϵ F, then H(x) = F(x)G(x) ϵ F
    • If F(), G() ϵ F, then H(x) = F(x)G(x) ϵ F
    • If F(), G() ϵ F, then H(x) = ψλF(x)(G(x)) ϵ F
    • If F() ϵ F, then G(x) = λF(x){n} ϵ F for all non-negative integers n

    Define the set of normal functions as F ∩ F(x) = 0. Then, define x↑↑1 = x, x↑↑(n+1) = xx↑↑n, and (x↑↑ω)[n] = x↑↑(ω[n]). Then, define climb(n) = n, but all λa{b}s inside of n have been changed to λa{b+1}s, and finally, define fs(F(λx{n}),0)…

    Read more >