Carmen (1915 Cecil B. DeMille film) so DeMille instructed his screenwriter brother William to base his scenario on the public domain novella "Carmen" by Prosper Mérimée. The novella's Carmen was more wilful and manipulative than the opera version. For instance, William included a cigarette factory fight scene from the book which was not found in the opera. Composer Hugo Riesenfeld arranged the orchestral score, his first of many for film, which "was" based on that of Bizet's opera. It was performed at the premiere and other prestigious screenings. There have been two restorations of Riesenfeld's score: the first was by Gillian Anderson, recorded with the London
Georg Cantor's first set theory article set of positive integers, no such one-to-one correspondence is a member of the model. Thus the model considers its set of real numbers to be uncountable, or more precisely, the first-order sentence that says the set of real numbers is uncountable is true within the model. In 1963, Paul Cohen used countable models to prove his independence theorems. Georg Cantor's first set theory article Georg Cantor published his first set theory article in 1874, and it contains the first theorems of transfinite set theory, which studies infinite sets and their properties. One of these theorems is "Cantor's revolutionary discovery" that