OpenLLM-France/wikimedia huggingface dataset:
# Ω-logic

In set theory, Ω-logic is an infinitary logic and deductive system proposed by W. Hugh Woodin (1999) as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure $H_{\aleph _{2}}$. Just as the axiom of projective determinacy yields a canonical theory of $H_{\aleph _{1}}$, he sought to find axioms that would give a canonical theory for the larger structure. The theory he developed involves a controversial argument that the continuum hypothesis is false.

## Analysis

Woodin's Ω-conjecture asserts that if there is a proper class of Woodin cardinals (for technical reasons, most results in the theory are most easily stated under this assumption), then Ω-logic satisfies an analogue of the completeness theorem. From this conjecture, it can be shown that, if there is any single axiom which is comprehensive over $H_{\aleph _{2}}$ (in Ω-logic), it must imply that the continuum is not $\aleph _{1}$. Woodin also isolated a specific axiom, a variation of Martin's maximum, which states that any Ω-consistent $\Pi _{2}$ (over $H_{\aleph _{2}}$) sentence is true; this axiom implies that the continuum is $\aleph _{2}$.
Woodin also related his Ω-conjecture to a proposed abstract definition of large cardinals: he took a "large cardinal property" to be a $\Sigma _{2}$ property $P(\alpha )$ of ordinals which implies that α is a strong inaccessible, and which is invariant under forcing by sets of cardinal less than α. Then the Ω-conjecture implies that if there are arbitrarily large models containing a large cardinal, this fact will be provable in Ω-logic.
The theory involves a definition of Ω-validity: a statement is an Ω-valid consequence of a set theory T if it holds in every model of T having the form $V_{\alpha }^{\mathbb {B} }$ for some ordinal $\alpha$ and some forcing notion $\mathbb {B}$. This notion is clearly preserved under forcing, and in the presence of a proper class of Woodin cardinals it will also be invariant under forcing (in other words, Ω-satisfiability is preserved under forcing as well). There is also a notion of Ω-provability; here the "proofs" consist of universally Baire sets and are checked by verifying that for every countable transitive model of the theory, and every forcing notion in the model, the generic extension of the model (as calculated in V) contains the "proof", restricted its own reals. For a proof-set A the condition to be checked here is called "A-closed". A complexity measure can be given on the proofs by their ranks in the Wadge hierarchy. Woodin showed that this notion of "provability" implies Ω-validity for sentences which are $\Pi _{2}$ over V. The Ω-conjecture states that the converse of this result also holds. In all currently known core models, it is known to be true; moreover the consistency strength of the large cardinals corresponds to the least proof-rank required to "prove" the existence of the cardinals.
# Šljivovica (disambiguation)

Šljivovica is a fruit brandy.
Šljivovica may also refer to:
* Šljivovica, Čajetina, a village in the municipality of Čajetina, Serbia
* Šljivovica, Vushtrri, a village in the municipality of Vushtrri, Kosovo
# Šljivovik

Šljivovik (Serbian Cyrillic: Шљивовик) is a mountain in southern Serbia, near the town of Bela Palanka. Its highest peak Šljivovički vrh has an elevation of 1258 meters above sea level.
# Deva Pureeswarar Temple

10°43′33″N 79°43′53″E﻿ / ﻿10.725874°N 79.731436°E﻿ / 10.725874; 79.731436
Deva Pureeswarar Temple (தேவபுரீஸ்வரர் கோயில் ) is a Hindu temple in Thevur in the Tiruvarur District of Tamil Nadu, India. The presiding deity is Shiva. The temple is in the village of Thevur near Kilvelur. It is one of the shrines of the 275 Paadal Petra Sthalams.

## Legend

According to Hindu mythology, the Devas worshipped Shiva at Thevur to rid themselves of the sin of killing Vruddhasura. The temple is also associated with the legends of the Ramayana as per which Kubera worshipped Shiva at the Deva Pureeswarar Temple to get back his wealth stolen by Ravana. As per the Mahabharata, Virata worshipped Shiva at the temple along with his son Uttara.

## Significance

Praises of the temple have been sung by the Nayanmars, Appar and Sambandar. The temple is frequented by unmarried people and those seeking children.
# Đam Rông district

Đam Rông is a rural district of Lâm Đồng province in the Central Highlands region of Vietnam. As of 2009 the district had a population of 38,400. The district covers an area of 892.2 km$^2$. The district capital lies at Đam Rông.
# Deterministic parsing

In natural language processing, deterministic parsing refers to parsing algorithms that do not backtrack. LR-parsers are an example. (This meaning of the words "deterministic" and "non-deterministic" differs from that used to describe nondeterministic algorithms.)
The deterministic behavior is desired and expected in compiling programming languages. In natural language processing, it was thought for a long time that deterministic parsing is impossible due to ambiguity inherent in natural languages (many sentences have more than one plausible parse). Thus, non-deterministic approaches such as the chart parser had to be applied. However, Mitch Marcus proposed in 1978 the Parsifal parser that was able to deal with ambiguities while still keeping the deterministic behavior.
# Indeni Petroleum Refinery

The Indeni Petroleum Refinery is an oil refinery in Zambia's industrial city of Ndola.

## Location

The refinery is located in Ndola, Ndola District, Copperbelt Province, approximately 8 kilometres (5 mi), by road, southeast of the city's central business district. The geographical coordinates of the refinery are:13°02'21.0"S, 28°40'48.0"E (Latitude:-13.039167; Longitude:28.680000).

## Overview

The petroleum refinery is described in some publications as a "very small and simple refinery". It was constructed in 1973, with capacity to refine 24,000 bbl/d of crude oil, and process 1,200,000 tonnes (1,322,774 tons) of feedstock annually. Crude oil is imported via the Kurasini Oil Jetty in Dar es Salaam, Tanzania and is delivered to the refinery through the 1,704 kilometres (1,059 mi) Tazama Pipeline. The annual delivery capacity of the pipeline is also the annual processing capacity of the refinery.

## Operations

The Indeni Refinery is configured as a Hydro-skimming refinery. Designed in 1973, the refinery is not able to refine pure crude at commercial levels and processes spiked crude.
The refinery is able to produce the following products: (a) unleaded petrol (b) automotive gas oil (c) industrial kerosene (d) domestic kerosene (e) Jet fuel (f) Liquefied Petroleum Gas (g) reformate (h) fuel oil and (i) asphalt.

## Ownership

When the refinery was established in 1973, it was owned and managed by Indeni Petroleum Refinery Company Limited, a 50/50 joint venture between the government of Zambia and Eni, the Italian energy conglomerate, through their subsidiary Agip Zambia. Under the terms of the joint venture, Eni was responsible for the management of the refinery. In 2001, Eni sold their shareholding to Total S.A., through their subsidiary TotalFinaElf. Total took over management of the refinery. In 2009, Total S.A. sold their shareholding to the Zambian government for consideration of US$5.5 million.
Since then, there have been attempts to bring on-board a strategic partner with funding and expertise to upgrade, modernize and expand the refinery.

## Modernization

In 2017, the World Bank stated that the Indeni Petroleum Refinery was "inefficient and technologically unsuited for current fuel needs". Its capacity is too small. It does not produce refinement products that larger, more efficient refineries can. For the amount of resources expended to keep it running, the government can do better towards meeting their national petroleum objectives.
In order to meet increasing petroleum products demand both nationally and regionally, there are two choices (a) build a new modern refinery that meets current and future national and regional needs or (b) expand and modernize the present refinery to improve its efficiency and output. Building a new refinery is ruled out by its cost. Rehabilitation, expansion and modernization has been estimated at about US$500 million. As the government considers its options, the capacity at the refinery has dropped to 21,000 bbl/day. The last hope is to find a deep-pocket investor who can buy a stake in the present refinery and modernize it.
# Ślepowron

Ślepowron ("night heron") may refer to:
* Ślepowron coat of arms
* Ślepowron, Masovian Voivodeship (east-central Poland)
# Calliopsis filiorum

Calliopsis filiorum is a species of bee in the family Andrenidae. It is found in North America.
# Calliopsis helianthi

Calliopsis helianthi is a species of bee in the family Andrenidae. It is found in Central America and North America.
# Devalegama

7°17′01″N 80°19′19″E﻿ / ﻿7.283552°N 80.321989°E﻿ / 7.283552; 80.321989 Devalegama is a small town in Sri Lanka located on the A19 highway running from Kegalla to Polgahawela. The phrase 'Devalegama' means 'The village of the shrine'. The townspeople believe that this name originates from the fact that there is an ancient shrine dedicated to one of the local deities in the vicinity of the town.

## Geography

The area is surrounded by low hills that have been mostly transformed into rubber plantations. The tallest peak of these is known as navugala, which has a triangulation point of the geodetic survey of Sri Lanka. Among the hills there is a series of long interconnected alluvial-plains that are used for paddy cultivation. There is a small perennial stream that originates from the hills on the south of the town and flows across the center towards north to join the large river known as Ma Oya.

## Expressway

Devalegama will be one of the important points along the new expressway planned to link Kandy city with the capital Colombo.

## Highlights

Venerable Katukurunde Nanananda Thera, the former Dhamma teacher of Nissarana Vanaya and author of Concept and Reality, The Magic of the Mind etc. resided in the Pothgulgala Aranya in Devalegama.
* This Sabaragamuwa Province, Sri Lanka location article is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
# Indestructible

Indestructible may refer to:

## Music

* Indestructible Record Company, an American record label 1906–1925

### Albums

* Indestructible (Art Blakey album), 1966
* Indestructible (Elvis Crespo album) or the title song, 2010
* Indestructible (Disturbed album) or the title song (see below), 2008
* Indestructible (Four Tops album), 1988
* Indestructible (Rancid album) or the title song, 2003
* Indestructible (Rubén González album) or the title song, 1975
* Indestructible!, by Anita O'Day, 2006
* Indestructible, by Diego el Cigala, 2016
* Indestructible, by K-otic, 2002
* Indestructible, by Lisa Nilsson, 1990

### Songs

* "Indestructible" (Disturbed song), 2008
* "Indestructible" (Matthew Good Band song), 1998
* "Indestructible" (Robyn song), 2010
* "Indestructible", by Girls' Generation from The Best, 2014
* "Indestructible", by Goo Goo Dolls from Miracle Pill, 2019

## Other uses

* The Indestructible (film), a 1959 French comedy film
* Indestructible (video game), a 2012 vehicular combat game
* Indestructibility, a mathematical concept
# Daouda Diakité (Malian footballer)

Daouda Diakité (born 20 March 1977) is a Malian footballer. He played in 39 matches for the Mali national football team from 1995 to 2005. He was also named in Mali's squad for the 2002 African Cup of Nations tournament.
# Bob Hay

Bob Hay may refer to:
* Bob Hay (musician), American singer and songwriter
* Bob Hay (general) (1920–1998), Australian army general and VFL footballer
* Bob Hay (footballer, born 1880) (1880–1959), Australian rules footballer for Fitzroy
* Bob Hay (footballer, born 1938), Australian rules footballer for St Kilda, see List of St Kilda Football Club players
* Bob Hay (racing driver), South African Formula One driver
# Hirate Masahide

Hirate Masahide (平手 政秀, June 4, 1492 – February 25, 1553) was a Japanese samurai who served the Oda clan for two generations. His original name was Hirate Kiyohide (平手 清秀).

## Life

Masahide first served Oda Nobuhide. He was a talented samurai as well as skilled in sado and waka. This helped him to act as a skilled diplomat, dealing with the Ashikaga shogunate and deputies of the emperor. In 1533, a well-known regent Yamashina Tokitsugu visited Owari Province, the domain of the Oda clan. Finding the reception prepared by Masahide superb, Tokitsugu praised Masahide's knowledge highly. Other signs of his importance as a diplomat can be found in the fact that he paid a visit to Kyoto in the name of Nobuhide to offer the funds needed to repair the Emperor's residence.
When Nobuhide's son Nobunaga was born in 1534, Masahide became the second highest ranking Karō as well as the tutor of the newborn heir. In 1547 Nobunaga finished his coming-of-age ceremony, and on the occasion of his first battle, Masahide served beside him. The next year, he exerted himself to establish peace between Nobuhide and his agelong rival Saitō Dōsan of Mino Province, and to arrange the marriage between Nobunaga and Dōsan's daughter Nōhime. This move made it possible for the Oda clan to concentrate on the fight against the Imagawa clan.
Masahide served the Oda family faithfully in many ways, but he was also deeply troubled by Nobunaga's eccentricity. After Nobuhide's death, discord in the clan increased and so did Masahide's concern about the future of his master.
In 1553, Masahide committed kanshi ("remonstration death") to startle Nobunaga into his obligations.
# Malik Rihan Dargah, Sira

Malik Rihan Dargah, also known as Malik Rihan tomb, is a mausoleum in Sira, Karnataka, India. It contains the grave of Malik Rihan who was the governor of Sira province in the 17th-century. It has a square plan and illustrates the Indo-Saracenic style in Deccan architecture.

## Location

The tomb is located in the Sira town which is a taluk in Tumkur District in the Province of Sira in the Indian State of Karnataka. It is a municipal town on the National Highway (NH-48) (from Bangalore to Pune), and is 123 kilometres (76 mi) away from Bangalore.

## History

Sira was near the eastern edge of the region under the control of the Bijapur Sultans from 1638 to 1687, before Aurangzeb dismissed them and expanded the Mughal empire. Sira was also the place where Hyder Ali began his career, before seeking employment with the Wodeyars and later organizing a coup to dismiss them to found the Mysore Sultanate. His son Tipu Sultan forced the relocation of most Muslims from Sira to a new town he founded on the island of Seringapatam. This led to a large decline of Sira.
While under the control of Bijapur Sultanate, Malik Rihan was appointed the Subahdar (governor) of Sira by the Adil Shahis from 1638 to 1651. This mausoleum was completed in 1651, over his tomb.
In October 2012, under the High Court order, the Hazrath Malik Rehan Dargah- Wakf was brought under Section 65 of the Wakf Act, 1995 by the Karnataka State.

## Features

The mausoleum built in 1651 in Mudéjar style has a square plan. It has a central hall, with a sheltered arcade with sculpted brackets. The dome on the top is "three quarters hemispherical" with Adil Shahi-style "domical finials". It illustrates the Saracenic style.
The tomb, which is a protected monument under the Archaeological Survey of India (ASI), is located close to the Jama Masjid, Sira.

## Other structures

Apart from the Kasturi Rangappa Nayaka Fort, the Juma Masjid close to the tomb was built in 1696. The masjid is decorated with five arches in the facade. Ornamented parapet walls are built above the arches. The roof of the masjid is made up of three domes.
# Patient relocation

Patient relocation may refer to:
* Care transition, between health care practitioners
* Climatotherapy, relocation to another climate
# Basilica of the Visitation of the Blessed Virgin Mary

Basilica of the Visitation of the Blessed Virgin Mary is the name of several churches:
* Basilica of the Visitation of the Blessed Virgin Mary, Levoča, Slovakia
* Basilica of the Visitation of the Blessed Virgin Mary, Staré Hory, Slovakia
# Boisdale railway station

Boisdale is a closed station located in the town of Boisdale, on the Briagolong railway line in Victoria, Australia.

## History

The station opened concurrently with the Briagolong railway line in 1889, and was 224 km from Southern Cross. The main items freighted at the station were sugar beet and firewood. In 1902, a farmer named John Bennett fell off the platform at the station onto the rails, breaking two of his ribs. Bennett ultimately was compensated by the Railway Department with a "substantial settlement".
Boisdale station was closed to passenger traffic in 1930. The station ultimately closed fully in 1952, after which the station building was demolished and the tracks removed. On 6 January 1955, the Shire of Maffra council submitted an application to Victorian Railways to acquire the site of the former Boisdale railway station, and ownership was granted to the shire in August 1962. Today, the railway station site is home to the Boisdale Recreation Reserve, which opened in 1968.
Passenger bookings at Boisdale station :
| Year | Passengers |
| 1901 | 879 |
| 1910 | 334 |
| 1915 | 597 |
| 1920 | 1841 |
| 1930 | 223 |
# Boisdon

Boisdon (French pronunciation: ) is a commune located in the Seine-et-Marne department in the Île-de-France region in north-central France.
# Bobby Hodge

Robert William Hodge (born 30 April 1954) is an English former footballer who played in the Football League as a winger for Exeter City, Colchester United and Torquay United.

## Career

Born in Exeter, Hodge began his career with local team Exeter City. He made 128 league appearances for the club and scored 18 goals between 1974 and 1978, helping the club to promotion to the Third Division in the 1976–77 season by finishing in second position in the league table.
Colchester United signed Hodge in 1978 for a fee of £15,000 and made his debut for the club on 23 September 1978, a 2–2 draw with Walsall at Fellows Park. He scored his first goal in a 1–0 victory at Darlington in the third round of the FA Cup on 9 January 1979. He would go on to score 14 league goals in 92 appearances for the club between 1978 and 1981. He scored his last goal for the club in a 1–0 win over Newport County at Layer Road on 20 December 1980, and played his final U's game on 7 February 1981, a 3–1 away defeat to Millwall.
Following his Colchester United exit, Hodge joined south coast club Torquay United for a brief stint, appearing in four league games and scoring once. He would later represent Chelmsford City and Norwegian club Fredrikstad FK.

## Honours
### Exeter City

* 1976–77 Football League Fourth Division runner-up (Level 4)
    All honours referenced by:
# Anneville

Anneville (from Anslecvilla "the estate of Ansleicus") may refer to:
* In France:
** Anneville-Ambourville, Seine-Maritime, Normandy
** Anneville-sur-Scie, Seine-Maritime, Normandy
** Anneville-en-Saire, Manche, Normandy
** Anneville-sur-Mer, Manche, Normandy
* In the Netherlands:
** Anneville (Ulvenhout), a country estate in Ulvenhout
* In the Republic of Ireland:
** Anneville, County Clare, a townland in the civil parish of Killinaboy, barony of Inchiquin, County Clare
** Anneville, County Laois, a townland in the civil parish of Shrule, barony of Slievemargy, County Laois
** Anneville, County Meath (or Clonard Old), a townland in the civil parish of Clonard, barony of Upper Moyfenrath, County Meath
** Anneville, County Westmeath (or Rathduff), a townland in the civil parish of Moylisker, barony of Fartullagh, County Westmeath
# Annex

Annex (American English) or annexe (Commonwealth English; see spelling differences) may refer to:

## Places

* The Annex, a neighbourhood in downtown Toronto, Ontario, Canada.
* The Annex (New Haven), a neighborhood of New Haven, Connecticut, United States.
* Annex, Oregon, a census-designated place in the United States.

## Other uses

* Annex (comics), a Marvel Comics character
* Addendum or appendix at the end of a document
* The Annex, Grand Cayman, a football ground in George Town, Cayman Islands
* "Annex", B-side of the 1980 Orchestral Manoeuvres in the Dark single "Enola Gay"
* Annex, an early name for the Bangkok Adventist Hospital
# Anne Dreydel

Anne Dreydel OBE (27 May 1918 – 3 July 2007) was the co-founder of the Oxford English Centre, which later became St Clare's, Oxford. In 1958 she was awarded the German state decoration of Bundesverdienstkreuz which, in 2001, was then upgraded to the Commander's Cross. In 1981 she was appointed an OBE for her services to education.
At the age of 22, during the Second World War, Dreydel was badly injured by a German bomb that fell on her London home. The explosion killed her stepfather and paralysed her from the waist down. After over a year of recovery she left hospital, but she remained in a wheelchair for the remainder of her life.
Dreydel studied English at St. Anne's College in Oxford from 1943 and studied German in Bonn during her holidays. In 1947 she founded the Oxford-Bonn Universities Committee to develop the twinning of the University of Oxford and the University of Bonn and their respective cities. The link encouraged students from Germany to study at Oxford during a time when relations between the countries were still strained.
Along with Pamela Morris she founded the Oxford English Centre in 1953, which went on to become St Clare's College. She became the sole principal in 1972 and remained in that post until her retirement in 1983. Later she would become the head of the American International School of Florence and then the director of the Oxford Centre for Learning Skills.
Dreydel also helped the disabled by serving on the Committee for the Employment of Disabled People for Oxfordshire and Berkshire.
# Toxonotus fascicularis

Toxonotus fascicularis is a species of fungus weevil in the beetle family Anthribidae. It is found in the Caribbean Sea and North America.
# Toxonotus lividus

Toxonotus lividus is a species of fungus weevil in the beetle family Anthribidae.
# Toxonotus bipunctatus

Toxonotus bipunctatus is a species of fungus weevil in the beetle family Anthribidae.
# Bolaños de Campos

Bolaños de Campos is a municipality located in the province of Valladolid, Castile and León, Spain. According to the 2004 census (INE), the municipality has a population of 399 inhabitants.
# Paisia

Paisia is an extinct genus of eudicot plants from the Cretaceous period. Found in the Almargem Formation, Early Cretaceous (late Barremian–early Albian) near Catefica, Portugal, it was first named by Else Marie Friis, Mário Miguel Mendes and Kaj Raunsgaard Pedersen in 2018. The type species is Paisia pantoporata.