Tootfinder

So, where were the Spiders … https://www.esa.int/Science_Exploration/Space_Science/Mars_Express/Signs_of_spiders_from_Mars

Signs of spiders from Mars
No sign of Ziggy Stardust – but ESA’s Mars Express has snapped the telltale traces of ‘spiders’ scattered across the southern polar region of Mars.

internet_as: Internet AS graph (2006)
A symmetrized snapshot of the structure of the Internet at the level of Autonomous Systems (ASs), reconstructed from BGP tables posted by the University of Oregon Route Views Project. This snapshot was created on 22 July 2006.
This network has 22963 nodes and 48436 edges.
Tags: Technological, Communication, Unweighted

A post from 2006 mentioning old computers that @… left a comment on...
➡️ https://rasterweb.net/raster/2006/05/23/geek-dreams/

Geek Dreams
A dream of things...

This https://arxiv.org/abs/2006.01077 has been replaced.
link: https://scholar.google.com/scholar?q=a

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
According to a theorem due to Kenneth Kunen, under ZFC, there is no ordinal $λ$ and non-trivial elementary embedding $j:V_{λ+2}\to V_{λ+2}$. His proof relied on the Axiom of Choice (AC), and no proof from ZF alone has been discovered. $I_{0,λ}$ is the assertion, introduced by W. Hugh Woodin, that $λ$ is an ordinal and there is an elementary embedding $j:L(V_{λ+1})\to L(V_{λ+1})$ with critical point ${<λ}$. And $I_0$ asserts that $I_{0,λ}$ holds for some $λ$. The axiom $I_0$ is one o…

internet_as: Internet AS graph (2006)
A symmetrized snapshot of the structure of the Internet at the level of Autonomous Systems (ASs), reconstructed from BGP tables posted by the University of Oregon Route Views Project. This snapshot was created on 22 July 2006.
This network has 22963 nodes and 48436 edges.
Tags: Technological, Communication, Unweighted

internet_as: Internet AS graph (2006)
A symmetrized snapshot of the structure of the Internet at the level of Autonomous Systems (ASs), reconstructed from BGP tables posted by the University of Oregon Route Views Project. This snapshot was created on 22 July 2006.
This network has 22963 nodes and 48436 edges.
Tags: Technological, Communication, Unweighted

This https://arxiv.org/abs/2006.01077 has been replaced.
link: https://scholar.google.com/scholar?q=a

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
According to a theorem due to Kenneth Kunen, under ZFC, there is no ordinal $λ$ and non-trivial elementary embedding $j:V_{λ+2}\to V_{λ+2}$. His proof relied on the Axiom of Choice (AC), and no proof from ZF alone has been discovered. $I_{0,λ}$ is the assertion, introduced by W. Hugh Woodin, that $λ$ is an ordinal and there is an elementary embedding $j:L(V_{λ+1})\to L(V_{λ+1})$ with critical point ${<λ}$. And $I_0$ asserts that $I_{0,λ}$ holds for some $λ$. The axiom $I_0$ is one o…

internet_as: Internet AS graph (2006)
A symmetrized snapshot of the structure of the Internet at the level of Autonomous Systems (ASs), reconstructed from BGP tables posted by the University of Oregon Route Views Project. This snapshot was created on 22 July 2006.
This network has 22963 nodes and 48436 edges.
Tags: Technological, Communication, Unweighted

internet_as: Internet AS graph (2006)
A symmetrized snapshot of the structure of the Internet at the level of Autonomous Systems (ASs), reconstructed from BGP tables posted by the University of Oregon Route Views Project. This snapshot was created on 22 July 2006.
This network has 22963 nodes and 48436 edges.
Tags: Technological, Communication, Unweighted

internet_as: Internet AS graph (2006)
A symmetrized snapshot of the structure of the Internet at the level of Autonomous Systems (ASs), reconstructed from BGP tables posted by the University of Oregon Route Views Project. This snapshot was created on 22 July 2006.
This network has 22963 nodes and 48436 edges.
Tags: Technological, Communication, Unweighted