In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.

[Q]: Lindstrom's theorem states that first-order logic is the strongest logic having both this property and satisfying the Lowenheim-Skolem property. A method for finding a Hausdorff space with this property containing a given space is named for Stone and Cech. Equicontinuity is the main condition for determining whether a family of functions has this property by the Arzela-Ascoli theorem. Using the axiom of choice, it can be shown that an arbitrary product of spaces with this property has this property, a result known as Tychonoff's theorem. In Euclidean space, being closed and bounded is sufficient to show, according to the Heine-Borel theorem, that a set has this property. For 10 points, identify this property which holds of a set on which every open cover has a finite subcover.
[A]: Science


[Q]: Gravitational redshift was measured by Pound, Rebka, and Snider in Harvard's Jefferson Tower using this technique to detect a frequency shift of order one part in ten to the 14th. It can be used for precise studies of the Zeeman effect in nuclei. Iron 57 and tin 119 are two of the isotopes used in this type of spectroscopy due to narrow linewidths in their transitions. Before this technique, the large size of Doppler shifts relative to transition widths made nuclear spectroscopy problematic. It was discovered by its namesake when he was a graduate student at the Munich University of Technology. FTP, what is this effect in which a crystal lattice reduces recoil energy
[A]: Science


[Q]: He argued that toys served to pre-condition children to expected gender roles, and differentiated between boxing (a sport) and wrestling (not a sport) in his most famous work, which earned him a short consulting job with an automobile manufacturer. The Photomat always turns you into a criminal type according to this mans last work, Camera Lucida. His S/Z dissected line-by-line Balzacs Sarrasine, while Japanese myths and culture were studied in his Empire of Signs, and the posthumous Incidents revealed his homosexuality. FTP, identify this structuralist, author of Mythologies.
[A]:
Literature