FANDOM


Sasquatch is a googologism based on an extension of the language of set theory. It was defined on 27th March 2017 by user Emlightened.[1] It is also called Big Bigeddon.

Definition of Sasquatch Edit

We work in the language \((\in, \bar\in, <)\), where equality is a defined symbol. \(\in\), \(\bar\in\) and \(<\) are binary predicates, we also define the unary functions \(F\) and \(R\) from these.

We then define the Sasquatch as the largest number \(k\) such that there is some unary formula \(\phi\) in the language \(\{\bar\in,Q\}\) (where \(Q(a,b) \leftrightarrow R(a)=b\)) of quantifier rank \(\leq 12\uparrow\uparrow 12\) such that \(\exists ! a (\phi(a)) \wedge \phi(k)\).

Sources Edit

  1. Emlightened. Sasquatch

See also Edit

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.