apgsearch LeapLife

A forum for topics that don't fit elsewhere. Introduce yourselves to other members of the forums, discuss how your name evolves when written out in the Game of Life, or just tell us how you found it. Forum rules still apply.
Post Reply
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

apgsearch LeapLife

Post by Hunting »

Apgsearch LeapLife, everyone!! Be activated! Fire up your computer until we have enough objects!

Unless you are LaundryPizza, focus on C1.

Current progress: 8116 million
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: apgsearch LeapLife

Post by Moosey »

Hunting wrote: February 21st, 2020, 9:42 am Apgsearch LeapLife, everyone!! Be activated! Fire up your computer until we have enough objects!

Unless you are LaundryPizza, focus on C1.

Current progress: 8116 million
We have the search requests thread...
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: apgsearch LeapLife

Post by Hunting »

Moosey wrote: February 22nd, 2020, 9:09 pm
Hunting wrote: February 21st, 2020, 9:42 am Apgsearch LeapLife, everyone!! Be activated! Fire up your computer until we have enough objects!

Unless you are LaundryPizza, focus on C1.

Current progress: 8116 million
We have the search requests thread...
Yes but LeapLife is such an interesting rule like X3VI AND










This is the sandbox
Post Reply