Thread for find a use for extremely useless pattern

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

Thread for find a use for extremely useless pattern

Post by Hunting »

Find a use for extremely useless pattern!
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: Thread for find a use for extremely useless pattern

Post by Hunting »

Sorry for bumping this very-old thread I created before, but this very-old reaction found by Kazyan, and recently rediscovered by me, was probably suitable for this thread. What can you do with this?

Code: Select all

x = 8, y = 7, rule = B3/S23
5b2o$5b2o$2o$obo$bo3b2o$5bobo$5bo!
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by Moosey »

Hunting wrote:Sorry for bumping this very-old thread I created before, but this very-old reaction found by Kazyan, and recently rediscovered by me, was probably suitable for this thread. What can you do with this?

Code: Select all

x = 8, y = 7, rule = B3/S23
5b2o$5b2o$2o$obo$bo3b2o$5bobo$5bo!
Get rid of extra Gs in a hypothetical engineered zebraship
κ 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: Thread for find a use for extremely useless pattern

Post by Hunting »

Moosey wrote:
Hunting wrote:Sorry for bumping this very-old thread I created before, but this very-old reaction found by Kazyan, and recently rediscovered by me, was probably suitable for this thread. What can you do with this?

Code: Select all

x = 8, y = 7, rule = B3/S23
5b2o$5b2o$2o$obo$bo3b2o$5bobo$5bo!
Get rid of extra Gs in a hypothetical engineered zebraship
The problem is that constellation didn't get actually moved, but turned into another constellation - the distance between the block and the boat becomes larger.

Also, how would you want to get rid of extra Gs?
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by Moosey »

Hunting wrote:
Moosey wrote:
Hunting wrote:Sorry for bumping this very-old thread I created before, but this very-old reaction found by Kazyan, and recently rediscovered by me, was probably suitable for this thread. What can you do with this?

Code: Select all

x = 8, y = 7, rule = B3/S23
5b2o$5b2o$2o$obo$bo3b2o$5bobo$5bo!
Get rid of extra Gs in a hypothetical engineered zebraship
The problem is that constellation didn't get actually moved, but turned into another constellation - the distance between the block and the boat becomes larger.

Also, how would you want to get rid of extra Gs?
Oh, well then it has zero use

Re: why: it’s like a waterbear—you don’t want to destroy your machinery
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
bidibangboom
Posts: 34
Joined: May 10th, 2019, 6:38 pm

yeet

Post by bidibangboom »

beacon in dense phase eats block and provides sparks

Code: Select all

x = 23, y = 16, rule = B3/S23
2$3b2o9b2o$3b2ob2o6b2o$6b2o4b2o$4b2o6b2ob2o$4b2o9b2o!
possible spaceship????? :?:
it moves 1 space diagonally

Code: Select all

#C A period 8 oscillator that was found in 1972.
#C http://www.conwaylife.com/wiki/index.php?title=Roteightor
x = 14, y = 14, rule = 23/3
bo12b$b3o8b2o$4bo7bob$3b2o5bobob$10b2o2b2$6b2o6b$5b2obo5b$6b3o5b$2b2o
3b3o4b$bobo5b2o3b$bo7bo4b$2o8b3ob$12bo!
fun
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: yeet

Post by Hunting »

bidibangboom wrote:beacon in dense phase eats block and provides sparks

Code: Select all

x = 23, y = 16, rule = B3/S23
2$3b2o9b2o$3b2ob2o6b2o$6b2o4b2o$4b2o6b2ob2o$4b2o9b2o!
possible spaceship????? :?:
it moves 1 space diagonally
After some tries, I don't see a way to place the block there. Also, for a spaceship, it should produce more gliders, a simple moving reaction is not enough.

To make a reaction to be actually useful, you shall find a way to produce it. Maybe it's like my eater, if you move that glider back it won't work so no way to place that glider there:

Code: Select all

x = 26, y = 9, rule = LifeHistory
19.A$20.A$.A16.3A$2.A.2C18.2C$3A.2C18.2C2$2.C19.C$.C.C17.C.C$2.2C18.
2C!
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Thread for finding uses for useless stuff

Post by Moosey »

bidibangboom wrote:beacon in dense phase eats block and provides sparks

Code: Select all

x = 23, y = 16, rule = B3/S23
2$3b2o9b2o$3b2ob2o6b2o$6b2o4b2o$4b2o6b2ob2o$4b2o9b2o!
possible spaceship????? :?:
it moves 1 space diagonally
I responded way after hunting, by the way.

Hunting is right in his post, especially
Hunting wrote: After some tries, I don't see a way to place the block there. Also, for a spaceship, it should produce more gliders, a simple moving reaction is not enough.

To make a reaction to be actually useful, you [need to] find a way to produce it. ...
I do want to point out that there are a lot of similar reactions with fewer caveats, e.g.

Code: Select all

x = 15, y = 10, rule = B3/S23
bo$2bo$3o6$13b2o$13b2o!
And nobody has made spaceships out of these. You’d need a way to get more out than you put in. This is precisely how every caterpillar (in the sense of spaceships working that way) works. Take a look at the caterpillar or HBK or waterbear— you have, at the smallest scales, reactions which create more gliders than you put in (while preserving the reactants). These gliders react so that they build whatever is needed to sustain the reactions creating them and destroy waste. The ships are ingeniously crafted ladders that climb themselves.
κ 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: Thread for find a use for extremely useless pattern

Post by Hunting »

There's still one way to use those moving reaction in Caterpillars: Use them to absorb something. (However since even if it is possible you will need a large set of specfic glider positions in that beacon reaction to produce the block and that would be useless in even this case)
Sarp
Posts: 221
Joined: March 1st, 2015, 1:28 pm

Re: Thread for find a use for extremely useless pattern

Post by Sarp »

Find a use for this

Code: Select all

x = 4, y = 5, rule = B3/S23
2bo$bobo$o2bo$obo$bo!
WADUFI
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by Moosey »

Sarp wrote:Find a use for this

Code: Select all

x = 4, y = 5, rule = B3/S23
2bo$bobo$o2bo$obo$bo!
Mangoes are positively useless. You can’t.
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: Thread for find a use for extremely useless pattern

Post by GUYTU6J »

This reaction

Code: Select all

x = 9, y = 7, rule = B3/S23
6bo$6bobo$5bo2bo$b2o3b2o$o2bo$bobo$2bo!
User avatar
Macbi
Posts: 920
Joined: March 29th, 2009, 4:58 am
Contact:

Re: Thread for find a use for extremely useless pattern

Post by Macbi »

GUYTU6J wrote:This reaction

Code: Select all

x = 9, y = 7, rule = B3/S23
6bo$6bobo$5bo2bo$b2o3b2o$o2bo$bobo$2bo!
You can use eater 3 to flip the loaf back again:

Code: Select all

x = 17, y = 15, rule = B3/S23
14bo$14bobo$13bo2bo$9b2o3b2o$4b2o2bo2bo$bo2bo4bobo$obobo5bo$bo2bob2o$
4bo2bo$5bo4bo$6b5o2$8bo$7bobo$8bo!
fluffykitty
Posts: 1178
Joined: June 14th, 2014, 5:03 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by fluffykitty »

Some of the eaters in 1998-eater-stamp-collection.rle can also be used:

Code: Select all

x = 36, y = 15, rule = B3/S23
22.A$2.A17.A.A$A.A17.A2.A$A2.A7.2A8.2A3.2A$.2A3.2A.A2.A12.A2.A2.2A.2A
$5.A.A.3A13.A.A4.A.2A$5.A.A18.A5.A$3.3A.2A.2A17.2A.A$2.A4.A3.A15.A2.A
.2A$3.3A.A3.A.A9.2A2.3A$6.A5.2A9.A$5.A18.6A$5.2A22.A$26.3A$26.A!
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: Thread for find a use for extremely useless pattern

Post by Hunting »

fluffykitty wrote:Some of the eaters in 1998-eater-stamp-collection.rle can also be used:

Code: Select all

x = 36, y = 15, rule = B3/S23
22.A$2.A17.A.A$A.A17.A2.A$A2.A7.2A8.2A3.2A$.2A3.2A.A2.A12.A2.A2.2A.2A
$5.A.A.3A13.A.A4.A.2A$5.A.A18.A5.A$3.3A.2A.2A17.2A.A$2.A4.A3.A15.A2.A
.2A$3.3A.A3.A.A9.2A2.3A$6.A5.2A9.A$5.A18.6A$5.2A22.A$26.3A$26.A!
The first one doesn't work because the output pi destroys that eater before itvrecovers
fluffykitty
Posts: 1178
Joined: June 14th, 2014, 5:03 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by fluffykitty »

It also destroys the Eater 3 variants at the same time, so either all of them work or none of them work (except if there's a catalyst that only fits with some of them)
GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: Thread for find a use for extremely useless pattern

Post by GUYTU6J »

Wait, isn't it more notable that gen 9 and gen 66 have some similarity?
Or, should I know that, it is just as Hunting wrote:the problem is that constellation didn't get actually moved, but turned into another constellation - the distance between the loaf and the pi becomes larger.
User avatar
bidibangboom
Posts: 34
Joined: May 10th, 2019, 6:38 pm

Re: Thread for find a use for extremely useless pattern

Post by bidibangboom »

sooo im back and this may be the same problem as before
bidibangboom wrote:beacon in dense phase eats block and provides sparks

Code: Select all

x = 23, y = 16, rule = B3/S23
2$3b2o9b2o$3b2ob2o6b2o$6b2o4b2o$4b2o6b2ob2o$4b2o9b2o!
possible spaceship????? :?:
it moves 1 space diagonally
so here it is

Code: Select all

x = 7, y = 3, rule = B36/S23
4b2o$2obo2bo$2o2b2o!
only works in highlife
oscillator anyone?

Code: Select all

#C A period 8 oscillator that was found in 1972.
#C http://www.conwaylife.com/wiki/index.php?title=Roteightor
x = 14, y = 14, rule = 23/3
bo12b$b3o8b2o$4bo7bob$3b2o5bobob$10b2o2b2$6b2o6b$5b2obo5b$6b3o5b$2b2o
3b3o4b$bobo5b2o3b$bo7bo4b$2o8b3ob$12bo!
fun
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by Moosey »

bidibangboom wrote:sooo im back and this may be the same problem as before
bidibangboom wrote:beacon in dense phase eats block and provides sparks

Code: Select all

x = 23, y = 16, rule = B3/S23
2$3b2o9b2o$3b2ob2o6b2o$6b2o4b2o$4b2o6b2ob2o$4b2o9b2o!
possible spaceship????? :?:
it moves 1 space diagonally
so here it is

Code: Select all

x = 7, y = 3, rule = B36/S23
4b2o$2obo2bo$2o2b2o!
only works in highlife
oscillator anyone?
That has a similar problem, but you just need a gun to rebuild the block here.
I’ll leave it as an exercise for you to do that.
I should mention that it is rather difficult to put the block there though.

Here’s a gun, if you need to help

Code: Select all

#C by dean hickerson
x = 37, y = 23, rule = B36/S23
21bo$19b3o$18bo$18b2o8$15b3o$15bobo$15b3o$16bo$35b2o$2o33bo$bo31bobo$b
obo20bo8b2o$2b2o20bo$12b2o9bob2o$11b2obo9bo$12b2o10bo!
Really, though, I should tell you that you probably shouldn’t think that something like this

Code: Select all

#C found by accident, a couple seconds ago 
#C (and probably by someone else earlier)
x = 11, y = 11, rule = B3/S23
o$b2o$2o4$5bo$3bobo$4b2o$9b2o$9b2o!
#C [[ ZOOM 5 ]]
Means you can have an oscillator or a spaceship
And honestly that at least produces everything you put in, so that might be better than your old beacon thing.
But it won’t make a spaceship either
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: Thread for find a use for extremely useless pattern

Post by GUYTU6J »

Bump

Code: Select all

x = 14, y = 12, rule = B3/S23
3b2o$3b2o3$2o7b4o$2o7bo3bo$9bo$10bo2bo$bo$obo$obo$bo!
PkmnQ
Posts: 1140
Joined: September 24th, 2018, 6:35 am
Location: Server antipode

Re: Thread for find a use for extremely useless pattern

Post by PkmnQ »

Macbi wrote:
GUYTU6J wrote:This reaction

Code: Select all

x = 9, y = 7, rule = B3/S23
6bo$6bobo$5bo2bo$b2o3b2o$o2bo$bobo$2bo!
You can use eater 3 to flip the loaf back again:

Code: Select all

x = 17, y = 15, rule = B3/S23
14bo$14bobo$13bo2bo$9b2o3b2o$4b2o2bo2bo$bo2bo4bobo$obobo5bo$bo2bob2o$
4bo2bo$5bo4bo$6b5o2$8bo$7bobo$8bo!
!!!
...???

Code: Select all

x = 17, y = 19, rule = B3/S23
14b2o$14b2o3$14bo$14bobo$13bo2bo$9b2o3b2o$4b2o2bo2bo$bo2bo4bobo$obobo
5bo$bo2bob2o$4bo2bo$5bo4bo$6b5o2$8bo$7bobo$8bo!
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by Moosey »

PkmnQ wrote:
Macbi wrote:
GUYTU6J wrote:This reaction

Code: Select all

x = 9, y = 7, rule = B3/S23
6bo$6bobo$5bo2bo$b2o3b2o$o2bo$bobo$2bo!
You can use eater 3 to flip the loaf back again:

Code: Select all

x = 17, y = 15, rule = B3/S23
14bo$14bobo$13bo2bo$9b2o3b2o$4b2o2bo2bo$bo2bo4bobo$obobo5bo$bo2bob2o$
4bo2bo$5bo4bo$6b5o2$8bo$7bobo$8bo!
!!!
...???

Code: Select all

x = 17, y = 19, rule = B3/S23
14b2o$14b2o3$14bo$14bobo$13bo2bo$9b2o3b2o$4b2o2bo2bo$bo2bo4bobo$obobo
5bo$bo2bob2o$4bo2bo$5bo4bo$6b5o2$8bo$7bobo$8bo!
If someone dimerizes that reaction (not the one with the block) into an oscillator, it should be called "pair of socks".
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: Thread for find a use for extremely useless pattern

Post by GUYTU6J »

Add a PT8:

Code: Select all

x = 21, y = 23, rule = B3/S23
11b2o$12bo$12bob2ob2obo$13bobobob2o$14bo4$14bo$14bobo$13bo2bo$9b2o3b2o
$4b2o2bo2bo$bo2bo4bobo$obobo5bo$bo2bob2o$4bo2bo$5bo4bo$6b5o2$8bo$7bobo
$8bo!
Or an eater 1:

Code: Select all

x = 21, y = 20, rule = B3/S23
19b2o$19bo$17bobo$17b2o2$14bo$14bobo$13bo2bo$9b2o3b2o$4b2o2bo2bo$bo2bo
4bobo$obobo5bo$bo2bob2o$4bo2bo$5bo4bo$6b5o2$8bo$7bobo$8bo!
Road to p19,anyone?How about putting two of this together with central symmetry?
GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: Thread for find a use for extremely useless pattern

Post by GUYTU6J »

Sarp wrote:Find a use for this

Code: Select all

x = 4, y = 5, rule = B3/S23
2bo$bobo$o2bo$obo$bo!
Collisrc result (may be incomplete; I terminated search for 2-glider at 300000 and 3-glider at 900000)

Code: Select all

x = 213, y = 190, rule = B3/S23
6bo32bo11bo20bo18bo30bo11bobo26b2o26bo$bo5b2o29bo13bo17bobo19bo27b2o
13b2o25bo2bo24bo$2bo3b2o30b3o9b3o18b2o17b3o28b2o3bo4bo3bo25bo2bo25b3o$
3o61bo60bo6bo29b2o$62b2o61b3o2b3o$63b2o122bobo$96b2o89b2o$26b2o67bo2bo
89bo$11b2o12bo2bo65bo2bo$10bo2bo10bo2bo67b2o$9bo2bo12b2o$10b2o70b2o21b
o38b2o$58b2o21bo2bo19b2o6b2o29bo2bo$57bo2bo19bo2bo20bobo4bo2bo27bo2bo$
56bo2bo21b2o27bo2bo29b2o6bo30b2o$57b2o52b2o38b2o19b2o7bo2bo$150bobo18b
2o7bo2bo$173bo7b2o4$21bo$21b2o$20bobo2$73b2o$74b2o$73bo3$7bo12bo47bo
13b2o16bo13bo8bobo16bo28bo$7bobo11b2o45bobo10bo2bo16b2o11bobo7b2o14bob
o29bo$7b2o11b2o46b2o10bo2bo16b2o12b2o8bo16b2o27b3o$81b2o2$120bobo$121b
2o$2b2o117bo64b2o$bo2bo147b2o31bo2bo$o2bo25b2o24b2o38bo55bo2bo29bo2bo$
b2o25bo2bo22bo2bo36b2o13b2o39bo2bo31b2o$27bo2bo22bo2bo37bobo11bo2bo39b
2o$28b2o24b2o51bo2bo25b2o$11b3o75bo18b2o25bo2bo$11bo76b2o44bo2bo$12bo
75bobo44b2o$162b2o$161b2o$22bo140bo$22b2o17b2o147b2o$21bobo16bobo146b
2o$42bo148bo28$48bo$16bo5bo25bobo30bobo27bo18b2o20bobo7bo15bo28bo$16bo
bobobo25b2o31b2o27bo18bo2bo19b2o6bobo14bo29bobo$16b2o3b2o59bo27b3o15bo
2bo21bo7b2o14b3o27b2o$129b2o3$2b2o90bo28b2o$bo2bo87bobo27bobo48b2o$o2b
o32b2o55b2o29bo9b2o36bo2bo20b2o$b2o32bo2bo35b2o28b2o27b2o11b2o23bo2bo
20bo2bo$34bo2bo35bo2bo26bo2bo28bo9bo2bo23b2o20bo2bo$35b2o35bo2bo26bo2b
o15b2o21bo2bo47b2o$73b2o28b2o15bobo22b2o$122bo3$15b2o142b2o16b3o25b2o$
15bobo30b2o11bo96b2o17bo27bobo$15bo31b2o12b2o77b3o17bo17bo26bo$49bo10b
obo79bo47b2o$141bo49b2o$15b2o73b2o98bo$14b2o75b2o$16bo69b2o2bo$86bobo$
86bo5$19bo12bobo46bobo28bo11bo35bo23bo24bo$2bo14b2o14b2o46b2o28bo13b2o
32bo23bo24bo$3b2o13b2o13bo48bo8bo19b3o10b2o33b3o21b3o22b3o$2b2o88bo50b
o$44b2o44b3o51b2o$43bo2bo96b2o$42bo2bo144bobo$43b2o117bo28b2o$140bo19b
obo28bo$141b2o18b2o$30b3o69b2o27b2o7b2o30b2o$32bo68bo2bo25bo2bo37bo2bo
$11b2o18bo68bo2bo25bo2bo37bo2bo$10bo2bo60b2o25b2o27b2o21b2o16b2o31b2o$
9bo2bo38b3o19bo2bo75bo2bo47bo2bo$10b2o39bo20bo2bo75bo2bo47bo2bo$52bo
20b2o77b2o49b2o2$b2o$obo$2bo80b3o15bo44bobo16bo7bo$83bo18bo43b2o17b2o
6bobo$84bo9bo5b3o18b2o14b3o7bo16bobo6b2o$94b2o24bobo14bo$93bobo26bo15b
o56b2o$60b3o133b2o$62bo114bo17bo$61bo115bobo$177b2o2$18bo23bobo23bo17b
o109b2o$17bo24b2o24bobo13bobo108bo2bo$17b3o23bo24b2o15b2o79b2o26bo2bo$
137b2o26bo2bo26b2o$113b2o21bo2bo24bo2bo$21bo90bo2bo19bo2bo26b2o$19b2o
81bobo6bo2bo21b2o$20b2o8bobo69b2o8b2o$31b2o29b2o39bo$31bo29bo2bo28b2o$
6b2o31b2o19bo2bo28bo2bo$5bo2bo29bo2bo19b2o28bo2bo50bo65bo$4bo2bo29bo2b
o51b2o30b2o18b2o64b2o$5b2o31b2o83b2o19bobo34b2o27bobo$125bo54bobo19b2o
$81b2o35b3o61bo19bobo$50b3o15bo11bobo35bo11b3o69bo$52bo14b2o13bo36bo
12bo24b3o$51bo15bobo61bo27bo$158bo3$49bo$48b2o$48bobo$bo$b2o$obo3$22bo
$22bobo$22b2o4$12b2o$11bo2bo$10bo2bo$11b2o4$3b2o$4b2o$3bo2$2o$b2o$o!
Mango's new job is boring...
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: Thread for find a use for extremely useless pattern

Post by Moosey »

Bump
I finally found something for this:
Hunting wrote:Sorry for bumping this very-old thread I created before, but this very-old reaction found by Kazyan, and recently rediscovered by me, was probably suitable for this thread. What can you do with this?

Code: Select all

x = 8, y = 7, rule = B3/S23
5b2o$5b2o$2o$obo$bo3b2o$5bobo$5bo!

Code: Select all

x = 63, y = 69, rule = B3/S23
6b2o$6b2o$b2o$bobo$2bo4$2o$2o3$14b2o$14bobo$14bo5$30b2o$6b3o21bobo$6bo
23bo$7bo5$22b3o$22bo$23bo6$37b2o$37bobo$37bo5$53b2o$29b3o21bobo$29bo
23bo$30bo5$45b3o$45bo$46bo6$60b2o$60bobo$60bo6$52b3o$52bo$53bo!
It might be possible to make a growing cordership thing with it.
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Post Reply