- In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier ∀ in the first order formula ∀xP(x) expresses that everything in the domain satisfies the property denoted by P. On the other hand, the existential quantifier ∃ in the formula ∃xP(x) expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.
- NGC 3201 (Wikipedia)
NGC 3201 (also known as Caldwell 79) is a low galactic latitude globular cluster in the southern constellation of Vela. It has a very low central concentration of stars. This cluster was discovered by James Dunlop on May 28, 1826 and listed in his 1827 catalogue. He described it as “a pretty large pretty bright round nebula, 4′ or 5′ diameter, very gradually condensed towards the centre, easily resolved into stars; the figure is rather irregular, and the stars are considerably scattered on the south”.