[permalink] [id link]
** The asteroid 4769 Castalia is the first asteroid directly imaged by radar from Arecibo.
from
Wikipedia
Some Related Sentences
** and asteroid
** The American Galileo spacecraft makes its closest approach to 951 Gaspra, becoming the first probe to visit an asteroid.
** asteroid Number: 10000 Myriostos, Provisional Designation:, Discovery Date: September 30, 1951, by A. G. Wilson: List of asteroids ( 9001-10000 )
** 9882 Stallman ( 1994 SS9 ), a main-belt asteroid discovered on 1994, named after Richard Stallman
** Esairs XII a small asteroid inhabited by a Shaper task force, involved in mining and manufacturing.
** and Castalia
** and is
** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.
** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.
** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.
** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.
** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.
** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.
** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.
** In the product topology, the closure of a product of subsets is equal to the product of the closures.
** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.
** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).
** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.
** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.
0.518 seconds.