OpenLLM-France/wikimedia huggingface dataset:
# Reverse Mathematics: Proofs from the Inside Out

Reverse Mathematics: Proofs from the Inside Out is a book by John Stillwell on reverse mathematics, the process of examining proofs in mathematics to determine which axioms are required by the proof. It was published in 2018 by the Princeton University Press.

## Topics

The book begins with a historical overview of the long struggles with the parallel postulate in Euclidean geometry, and of the foundational crisis of the late 19th and early 20th centuries, Then, after reviewing background material in real analysis and computability theory, the book concentrates on the reverse mathematics of theorems in real analysis, including the Bolzano–Weierstrass theorem, the Heine–Borel theorem, the intermediate value theorem and extreme value theorem, the Heine–Cantor theorem on uniform continuity, the Hahn–Banach theorem, and the Riemann mapping theorem. These theorems are analyzed with respect to three of the "big five" subsystems of second-order arithmetic, namely arithmetical comprehension, recursive comprehension, and the weak Kőnig's lemma.

## Audience

The book is aimed at a "general mathematical audience" including undergraduate mathematics students with an introductory-level background in real analysis. It is intended both to excite mathematicians, physicists, and computer scientists about the foundational issues in their fields, and to provide an accessible introduction to the subject. However, it is not a textbook; for instance, it has no exercises. One theme of the book is that many theorems in this area require axioms in second-order arithmetic that encompass infinite processes and uncomputable functions.

## Reception and related reading

Jeffry Hirst criticizes the book, writing that "if one is not too obsessive about the details, Proofs from the Inside Out is an interesting introduction," while finding details that he would prefer to be handled differently, in a topic for which details are important. In particular, in this area, there are multiple choices for how to build up the arithmetic on real numbers from simpler data types such as the natural numbers, and while Stillwell discusses three of them (decimal numerals, Dedekind cuts, and nested intervals), converting between them itself requires nontrivial axiomatic assumptions.
However, James Case calls the book "very readable", and Roman Kossak calls it "a stellar example of expository writing on mathematics". Several other reviewers agree that this book could be helpful as a non-technical way to create interest in this topic in mathematicians who are not already familiar with it, and lead them to more in-depth material in this area.
As additional reading on reverse mathematics in combinatorics, Hirst suggests Slicing the Truth by Denis Hirschfeldt. Another book suggested by reviewer Reinhard Kahle is Stephen G. Simpson's Subsystems of Second Order Arithmetic.
# March On For Voting Rights

March On For Voting Rights was a mass mobilization organized by civil rights leaders in support of the For The People Act held on August 28.

## For the People Act

The announcement of the march came one day after Senate Republicans blocked the For the People Act – a signature voting and election bill that Democrats had pitched to counter state-level efforts. Republicans had expressed widespread opposition to the measure, arguing it was designed to help Democrats succeed in future elections.

## Organizers

Martin Luther King III, the eldest son of Martin Luther King Jr., led the march with his family’s organization the Drum Major Institute along with March On, Service Employees International Union, Future Coalition, and Al Sharpton lead with his organization, National Action Network.
March On said the need for federal voting rights protections increased dramatically after the Jan. 6 riot at the U.S. Capitol. Major organizers included Martin Luther King III and Cesar Chavez's grandson Alejandro Chavez.

## Marches

The August 28 march was planned for the 58th anniversary of the historic March on Washington where Martin Luther King Jr. delivered his “I Have a Dream” speech. Marches were held in Washington DC, Atlanta, Miami, Phoenix and Houston. The rallies were intended to put pressure on Democratic senators to eliminate or weaken the filibuster, which would allow Democrats to pass the legislation without Republican support.
Those attending the march in Washington gathered at McPherson Square at 8 a.m. before starting the march at 9:45 a.m. The group marched past Black Lives Matter Plaza, the White House and the Washington Monument before demonstrating from 11:30 a.m. to 3 p.m. near the National Museum of African American History and Culture at 15th Street and Constitution Avenue NW.

### DC

Thousands of people marched in DC Civil rights leaders joined by about 70 D.C. statehood activists at Freedom Plaza in Northwest to insist making the District the 51st state is a priority for the national voting rights movement.

### Atlanta

Hundreds of people marched in Atlanta to support federal voting rights legislation. Outside the King Center, supporters called on Congress to pass the John Lewis Voting Rights Advancement Act — named for the Atlanta civil rights leader and congressman who died last year. Later, they marched past Ebenezer Baptist Church to the John Lewis mural on Auburn Avenue to honor the bill’s namesake.

### Florida

Hundreds of people marched in Florida in Miami and West Palm Beach.

### Arizona

Hundreds of Arizonans gathered in Phoenix for the march. The event was held indoors at Pilgrim's Rest Baptist Church in lieu of an outdoor march due to Phoenix's extreme August heat, according to event organizers. Attendees listened in on a church service with modifications to fit the event, such as speeches about voting that then transitioned to panels with community leaders.
# Morly Grey

Morly Grey is an American psychedelic rock band that formed in the late 1960s.
The group recorded their first album, The Only Truth, which was released in 1972. Some discographies and music catalogs continue to list the album's release date as 1968 or 1969. The confusion over the release date may come from the album's serial number of 69000 (originally released through the unpublished Starshine label) and the fact that the album had a very short release period. The first single from the album was "Who Can I Say You Are". Most pressings of this single incorrectly list the album's original title as 'The First Supper'. In the 1980s and 1990s, the original vinyl LP pressing of the album had become somewhat of a collector's item due to its rarity, and the fact that it came with a full-size color poster.
They also recorded a live album and live video in 1973 (unreleased) (Paul, Mark and Tim) and a second album in 1973 on their vanity label (RBB Records) called The Roller Bros. Band (Bob, Mark and Tim with guest musicians). Between 1995 and 1997, Bob, Mark and Tim recorded new (unreleased) material in the studio. Morly Grey performed as the opening act for Bob Seger, The Platters, Brownsville Station, Mitch Ryder and the Detroit Wheels, Cactus (formerly of Vanilla Fudge), Wolfman Jack and others. Also the band L.A.W. opened for them.
In 2009, Sundazed Music signed the band to remaster and reissue The Only Truth with previously unreleased bonus tracks.

## Musicians

* Tim Roller - all guitars, backing vocals
* Mark Roller - Composer, bass, lead vocals
* Paul Cassidy - drums
* Bob LaNave - Drums (Side II of The Only Truth)
* Randy Byron - guitar, vocals

## History

Early Morly Grey : Started in 1969 with (left to right) Paul Cassidy (drums), Randy Byron (guitar), Tim Roller (guitar) and Mark Roller (bass). The band that recorded "Yas" and "Sleepy Softness".
Middle Morly Grey : After Randy Byron left, the band became the trio for side one of The Only Truth. They were (left to right) Paul Cassidy (drums), Tim Roller (guitar) and Mark Roller (bass).
Later Morly Grey : After Paul Cassidy left, they became the threesome of side two of The Only Truth and The Roller Bros. Band. They were (left to right) Mark Roller (bass), Bob LaNave (drums), Tim Roller (guitar).

## Discography
### Albums

* The Only Truth LP (Starshine Records, 1972)
* The Roller Bros. Band LP (RBB Records) (Speed Label, 1973)
* The Only Truth CD (Speed Label, 2005)

### Singles

* "Yas" 45rpm (1969)
* "Sleepy Softness" 45rpm (1969)
* "Who Can I Say You Are" 45rpm (1972)
* "After Me Again" 45rpm (1972)
* "Be Your King" 45rpm/CD single (1972/2008)
* "I'll Space You" 45rpm/CD single (1972/2008)
# Introspectivo

Professional ratings :
| Review scores ||
| Source | Rating |
| Jazz Improv Magazine | |
Introspectivo is a studio album by American composer/arranger/pianist Clare Fischer, recorded in December 2004 and released in October 2005 on the Mexican label, M&L Music. Composed largely of previously unrecorded original compositions unearthed by his son Brent, this would be the 76-year-old Fischer's fifth and final strictly solo piano recording.

## Track listing

All compositions by Clare Fischer except where indicated.
* "Song for Eugenio" – 6:15
* "Quiet Reflections" – 2:50
* "Western Airlines" – 2:53
* "Love's Walk" – 5:41
* "Sleep Sweet Child" – 1:18
* Ellington Medley ("Sentimental Lady" – Duke Ellington, "Daydream" – Billy Strayhorn, "Satin Doll" – Johnny Mercer, B. Strayhorn, D. Ellington) – 6:40
* "Elegy" – 3:03
* "A Wish Come True" – 1:03
* "Warmeland" (Swedish traditional) – 4:42
* "Marcella" – 2:00
* "Bells" – 3:30
* "Silenciosa" (Mario Ruiz Armengol) – 1:44
* "House on Summit/Children at Play" – 3:45
* "Vanessa" – 1:50
* "Eternally Yours" – 3:52
* "Soñe" (Mario Ruiz Armengol) – 1:38
* "Barboleta" – 3:30
* "Waiting for Jack's Plane" – 1:31
* "All the Things You Are" (Jerome Kern, Oscar Hammerstein) – 3:35
* "Donna Lee" (Charlie Parker, Phil Woods [sic]) – 0:38
* "Ice Crystals" – 3:17
* "Don't Ever Leave" – 1:40
* "Coming Home" – 1:52
* "Fairyland" (Glen Hurlbut, Bob Thompson and Bill Baldwin) – 4:57

## Personnel

* Clare Fischer – piano
# Florestine Perrault Collins

Florestine Perrault Collins (January 20, 1895 – April 4, 1988) was an American professional photographer from New Orleans. Collins is noted for having created photographs of African-American clients that "reflected pride, sophistication, and dignity" instead of racial stereotypes.

## Life and career

Born in Louisiana, Florestine Marguerite Perrault was one of six children in a strict Catholic family. She attended public school only until age six, when she was forced to drop out to help bring in family income.
In 1909, Collins began practicing photography at age 14. Her subjects ranged from weddings, First Communions, and graduations to personal photographs of soldiers who had returned home. At the beginning of her career, Collins had to pass as a white woman to be able to assist photographers and to work for the Eastman Kodak Company. Collins' first husband, Eilert Bertrand, believed that women should not have careers and tried to restrain her public appearances. They later divorced and she married his friend Herbert W. Collins and used his surname professionally.
Collins began her business taking photographs in her living room in 1920. In the mid 1930s, she opened her own studio in South Rampart Street, part of the Black business district, catering to African-American families. She gained a loyal following and had success, due to both her photography and marketing skills. Out of 101 African-American women who identified themselves as photographers in the 1920 U.S. Census, Collins was the only one listed in New Orleans.
She advertised in newspapers, playing up the sentimentality of a well-done photograph. Collins also included her photograph in the advertisements to appeal to customers who thought a female photographer might take better pictures of babies and children.
Collins retired in 1949 and moved to Los Angeles. She later moved back to New Orleans in 1975, where she died in on April 4, 1988.

## Legacy

According to the Encyclopedia of Louisiana, Collins' career "mirrored a complicated interplay of gender, racial and class expectations".
"The history of black liberation in the United States could be characterized as a struggle over images as much as it has also been a struggle over rights," according to bell hooks. Collins' photographs are representative of that. By taking pictures of black women and children in domestic settings, she challenged the pervasive stereotypes of the time about black women.
Collins was featured in the 2014 documentary Through A Lens Darkly: Black Photographers and the Emergence of a People.
Collins' work was included in exhibitions in New Orleans in the late 1900s and early 2000s, such as Women Artists in Louisiana, 1825–1965: A Place of Their Own. She featured in the touring show "The New Woman Behind the Camera," shown at the Metropolitan Museum of Art then the National Gallery of Art, Washington D.C. in 2021 and 2022.
Collins is the subject of the 2013 book Picturing Black New Orleans: A Creole Photographer’s View of the Early Twentieth Century, by Arthé A. Anthony.
# Juan Elias Garcia

Juan Elias Garcia (born January 12, 1993) is a Salvadoran-American man on the FBI Ten Most Wanted Fugitives list for killing his 19-year-old ex-girlfriend and letting fellow MS-13 gang members shoot her two-year-old son as he grabbed Garcia's leg for help. The murder occurred on February 4, 2010, while Garcia was added to the list on March 26, 2014. He surrendered a day after being on the list.
Garcia was convicted in March 2013 of the murders of Vanessa Argueta and Diego Torres and sentenced to life in prison.
# Taylor Swift (disambiguation)

Taylor Swift (born December 13, 1989) is an American singer and songwriter.
Taylor Swift may also refer to:
* Taylor Swift: The Eras Tour, a 2023 American concert film
* Taylor Swift (album), a 2006 album by Taylor Swift
* Taylor Swift Productions, the media company of Taylor Swift
# Sev Berd

Sev Berd or Black Fortress (Armenian: Սև բերդ; Russian: Чёрная Кре́пость, Chornaya Krepost) is an abandoned Russian imperial fortress in Gyumri, Shirak Province, Armenia. The fortress, which lies 8 kilometres (5.0 mi) from the Turkish border, was built in response to the Russo-Turkish War of 1828–1829. It is a national cultural heritage monument in Armenia.

## History

Gyumri, which lies on the border with Turkey, became part of the Russian Empire after the Treaty of Gulistan. Gyumri was renamed Alexandropol in 1837 after the visit of Tsar Nicholas I, in honor of his wife, Empress Alexandra Fyodorovna.
The fortress was built on top of a hill, and the full fortification took a decade after the first stones were laid in 1834. The fortress is a 360-degree round structure made of black stone, from which it gets its name. After Russia's loss in the Crimean War, Sev Berd was upgraded and designated a "first-class" fortress. It never underwent a siege, but was of strategic importance in victories over the Turks in subsequent wars that lasted through 1878. The fortress was downgraded to "second-class" status in 1887, after the final Russo-Turkish War of 1877–1878 that saw Russia gain strongholds in Kars and Batumi.
The Russian 102nd Military Base was built in the 1940s next to Sev Berd. The base remains active today for the Russian military, which provides national defense support for Armenia.

## Current status

The fortress was purchased by the Balasanyan family in 2012. Owner Misak Balasanyan intends to turn Sev Berd into a tourist attraction.
Archeological efforts are ongoing at the site.
# Somadeva

Somadeva, also known as Somadeva Bhatta, was an 11th century writer from Kashmir. He is best known for his work Kathasaritsagara.
Somadeva is believed to have lived in Kashmir, a region in the northwestern part of the Indian subcontinent, during the 11th century CE. He was a Shaivite Brahmin scholar and a court poet, serving in the court of King Ananta of Kashmir. Somadeva's most famous work, "Katha Sarit Sagara," is a vast compilation of stories and folktales drawn from various sources, including earlier Indian texts, oral traditions, and the literary heritage of Kashmir. The work is divided into 18 books (or lambakas), each containing a series of interconnected stories within a larger narrative framework. Most of his work was composed by the help of patronage from Ananta and were composed for Queen Suryamati, a princess of Jalandhara and wife of King Ananta of Kashmir.
# 1984 Caymanian general election

General elections were held in the Cayman Islands in November 1984. The ruling Team for National Unity led by Jim Bodden lost all eight seats due to a scandal over Caymanian banks being used to launder drug money. The opposition Progress with Dignity Team of Benson Ebanks won three seats in the Legislative Assembly, but the majority (nine) were won by independents. Ebanks subsequently became Chief Minister after forming a coalition.

## Results

| Party | Party | Votes | % | Seats | +/– |
| | Progress with Dignity Team | | | 3 | +1 |
| | Team for National Unity | | | 0 | –8 |
| | Independents | | | 9 | +7 |
| Total | Total | | | 12 | 0 |
| Total votes | Total votes | 6,690 | – | | |
| Registered voters/turnout | Registered voters/turnout | 8,581 | 77.96 | | |
| Source: Caribbean Elections ||||||
# Neuroreflexotherapy

Neuroreflexotherapy (NRT) is a type of alternative medicine treatment used for some cases of low back pain (LBP). Small pieces of metal are placed just under the surface of the skin in the ear and back, and are intended to interrupt the neural pain processes. Tentative evidence supports its use.

## Efficacy

A 2005 Cochrane review said that while some limited research reported "surprising" results for the efficacy of this therapy in treating nonspecific LBP, a lack of confirming research made it impossible to reach general conclusions about its overall efficacy.

## Side effects

Negative skin reactions have been described including dermatitis and skin infections.

## Technique

In the procedure, small pieces of metal are placed in the skin of the back and ear: surgical staples are placed through the outer layer of skin, and burins are implanted just beneath the skin surface. The pieces are either removed or fall out on their own between two weeks and three months after implantation. The procedure is done on an outpatient basis, and takes about one hour to complete. A 2005 review did not find reports of pain or scarring associated with the procedure.

## Mechanism of action

The pieces of metal are placed in locations believed to be in neural pain transmission pathways in order to interrupt them. The locations chosen are specific dermatomes in the back - regions served by a particular nerve root - along with what Marlowe describes as associated "referred tender points" in the ear. This combination of locations is theorized to reduce pain by interfering with the neural pain transmission and processing pathways, interrupting nerve signals that tighten the lower back muscles, and reducing neurogenic inflammation. The metal pieces in the lower back stimulate the release of peptides that inhibit the generation of pain messages, and the ones in the ear are theorized to activate pain-relieving mechanisms in the brain.

## History

Several research works in neurophysiology and other fields of medicine were carried out by Prof. Dr. René Kovacs in the second half of the 20th century in France and Spain. These works led to Neuroreflexotherapy (NRT) development which is continued by the Kovacs Foundation since 1986.
# Campiglossa iriomotensis

Campiglossa iriomotensis is a species of tephritid or fruit flies in the genus Campiglossa of the family Tephritidae.

## Distribution

The species is found in Japan.
# Gazpromavia

Gazpromavia (Gazpromavia Aviation) is an airline based in Moscow, Russia. It operates passenger and cargo charters, mainly in support of the oil and gas industry. It also operates regular domestic flights from Moscow and international charter passenger and cargo services.
The airline's head office is on the property of Ostafyevo Airport, Ryazanovskoye Settlement, Novomoskovsky Administrative Okrug. It is banned from flying into the EU

## History

The airline was established in March 1995 and started operations on 16 April 1995. It is wholly owned by JSC Gazprom Russia and has 2,736 employees (at March 2007).

## Airports

Gazpromavia owns and operates the following two Class B airports which accommodate aircraft such as the Tu-154, Il-76, An-74 and all types of helicopters.:
* Gazpromavia base Ostafyevo International Airport, located near Moscow
* Yamburg airport located in Yamburg, Yamalo-Nenets Autonomous Okrug.

## Destinations

Gazpromavia offers scheduled flights to the following destinations (as of December 2012):

### Russia

* Barnaul - German Titov Barnaul International Airport
* Belgorod - Belgorod International Airport
* Beloyarsk - Beloyarsk Airport
* Makhachkala - Uytash Airport
* Moscow - Vnukovo Airport hub
* Nadym - Nadym Airport
* Novosibirsk - Tolmachevo Airport
* Novy Urengoy - Novy Urengoy Airport
* Saint Petersburg - Pulkovo Airport
* Samara - Kurumoch International Airport
* Sochi - Sochi International Airport
* Sovetsky - Sovetsky Airport
* Tyumen - Roschino International Airport
* Ulyanovsk - Ulyanovsk Baratayevka Airport
* Yekaterinburg - Uktus Airport

### Serbia

* Belgrade - Belgrade Nikola Tesla Airport

### Uzbekistan

* Nukus - Nukus Airport

### Codeshare agreements

* UTair Aviation

## Aerial services

Gazpromavia also provides the following services:
* Aerial prospecting, monitoring and patrolling of works in regions that are difficult to access
* Aerial delivery of the working shifts
* Aerial logistical support of construction material, equipment, products, and medical supplies
* Aerial construction and installation work, Air rescue and Air Ambulance services.

## Accidents

On 12 July 2024, a Sukhoi Superjet 100-95LR, crashed near the city of Kolomna, seven minutes after taking off from Tretyakovo Airport. All three crew members died.

## Fleet

As of January 2018, Gazpromavia fleet consists on the following aircraft:
Gazpromavia Fleet :
| Aircraft | In Fleet | Orders | Passengers | Passengers | Passengers | Passengers | Notes |
| Aircraft | In Fleet | Orders | F | J | Y | Total | Notes |
| Boeing 737-700 | 3 | — | — | 20 | 102 | 122 | |
| Dassault Falcon 900 | 4 | 1 | 8 | — | — | 8 | VIP |
| Sukhoi Superjet 100 | 10 | — | — | — | 90 | 90 | One crashed |
| Yakovlev Yak-40 | 4 | — | — | 16 | — | 16 | Saloon variant |
| Total | 21 | 1 | | | | | |

### Helicopter fleet

As of January 2018, Gazpromavia operates the following fleet of helicopters:
Gazpromavia Helicopter Fleet :
| Aircraft | In Fleet | Orders | Passengers |
| Eurocopter EC135 | 8 | — | 7 |
| Kamov Ka-26 | 22 | — | 7 |
| Mil Mi-2 | 39 | — | 8 |
| Mil Mi-8 | 45 | — | 9 |
| Total | 106 | — | |