OpenLLM-France/wikimedia huggingface dataset:
# FA Cup 1998-1999

La FA Cup 1998-1999 è stata la centodiciottesima edizione della competizione calcistica più antica del mondo. È stata vinta dal Manchester Utd contro il Newcastle Utd.

## Finale

Allenatore Alex Ferguson
# Constantino Vaporaki

Constantino Guillermo Vaporaki Tello (Ushuaia, 6 gennaio 1990) è un giocatore di calcio a 5 argentino. Con la nazionale argentina è stato campione del mondo nel 2016 e campione sudamericano nel 2015 e nel 2022.

## Biografia

Constantino è l'ultimo di tre fratelli: anche il secondogenito, Alamiro, è stato un giocatore di calcio a 5. Insieme, hanno giocato con Boca Juniors, Jumilla e nella selezione argentina con la quale hanno vinto il campionato del mondo 2016.

## Carriera

Vaporaki ha debuttato nella prima squadra del Boca Juniors nel corso della División de Honor 2008. Con i xeneizes ha disputato nove stagioni, distribuite in tre distinte parentesi.

## Palmarès
### Nazionale

* Campionato mondiale: 1
    Colombia 2016
* Coppa America: 2
    Ecuador 2015
    Paraguay 2022
# Beyti

Beyti è un ristorante di Istanbul, in Turchia, specializzato in carne arrosto. Esso fu fondato nel 1945 a Küçükçekmece e dal 1983 è situato a Florya, un quartiere elegante della periferia ovest della città. Il ristorante è di proprietà del ristoratore Beyti Güler e gestito da lui insieme ai suoi figli Cüneyt e Ahmet.
La sala da pranzo principale, con una capacità totale di 500 posti, offre cucina tradizionale turca e vari spiedini alla griglia su carbone di quercia. Il Beyti Kebab, una specialità che prende il nome dallo chef, è il più popolare. Beyti è membro della prestigiosa organizzazione gastronomica internazionale Confrérie de la Chaîne des Rôtisseurs.

## Storia

Beyti Güler discende da una famiglia turca che fuggì da Samarcanda in Crimea negli anni '20 del 1700 dopo l'assalto dei persiani. Negli anni '70 dell'Ottocento, in seguito alla guerra di Crimea, la famiglia si trasferì in Romania, in Dobrugia. La famiglia immigrò in Turchia nel 1935.
Nel 1945, Beyti e suo padre aprirono un piccolo ristorante di carne a Küçükçekmece, nella periferia ovest di Istanbul. Esso era posto lungo la strada, e aveva una superficie di 30 m² e quattro tavoli. Il ristorante, anche se aveva solo 20 posti, diventò un locale popolare diventando famoso subito dopo l'apertura. Giornalisti importanti, alti dirigenti e persino politici di alto livello venivano ad assaggiare il döner kebab che raramente era disponibile altrove.
Un articolo pubblicato nel 1965 nel New York Herald Tribune portò alla fama internazionale. Dal 1966 al 1974, il ristorante fornì giornalmente il catering a quattro aerei di linea della Pan American World Airways. Il ristorante servi' il presidente degli Stati Uniti Richard Nixon a bordo dell'Air Force One durante il suo primo viaggio ufficiale in Europa, un'opportunità che aiutò il kebap turco a diventare famoso.
Per soddisfare la crescente domanda, Beyti Güler eresse a Florya, un quartiere residenziale di lusso vicino all'aeroporto internazionale Atatürk, un edificio di tre piani. Composto da undici sale da pranzo di varie dimensioni più una terrazza, l'edificio è stato progettato in uno stile architettonico moderno da Osman Yılmaz Şanlı. La decorazione interna si è ispirata invece all'arte turco ottomana. La costruzione fu iniziata nel 1979 e il nuovo sito fu aperto nel 1983.

## Beyti Kebab

Nel corso di una visita in Svizzera nel 1961, Beyti Güler si ispirò al metodo ideato dal macellaio Möller per la preparazione della carne. Quando tornò a casa, introdusse un piatto composto da filetti di agnello arrosto avvolti in strisce di grasso di cotoletta d'agnello. Il piatto, quando la fama del kebab si diffuse a livello internazionale, prese da lui il nome di Beyti Kebab. Tuttavia, il piatto a base di carne macinata ampiamente venduto come cibo di strada sotto lo stesso nome, ha poche somiglianze con l'originale.

## Clienti famosi

In più di cinquanta anni, molti capi di stato, politici di alto rango, uomini d'affari e celebrità di tutto il mondo hanno mangiato da Beyti durante le loro visite a Istanbul.
# Chi dice donna dice danno

Chi dice donna dice danno (The Untameable) è un film muto del 1923 diretto da Herbert Blaché. La sceneggiatura di Hugh Hoffman si basa su The White Cat, romanzo di Gelett Burgess pubblicato a Indianapolis nel 1907.
Prodotto e diretto dalla Universal, aveva come interpreti Gladys Walton, Malcolm McGregor, John Sainpolis, Etta Lee, Lon Poff.

## Trama

La fidanzata di Chester Castle, Joy Fielding, comincia a soffrire di scissione della personalità. Ci sono dei momenti in cui si trasforma in una donna crudele e seducente, una vera femme fatale che si fa chiamare Edna Fielding. Ma le cause dei suoi comportamenti schizofrenici non sono dovute a qualche malattia mentale, ma - invece - ai maneggi di Copin, il suo medico, che usa l'ipnosi per ridurla in quello stato. Il medico, infatti, progetta di impossessarsi degli averi di Joy della quale ha ormai quasi il completo controllo. Castle, scoprendo il piano di Copin, insiste per portare immediatamente all'altare Joy, sottraendola in questa maniera all'influenza del medico. Copin, senza scoraggiarsi, si introduce di notte in casa di Joy, che ipnotizza ancora una volta. Ma Castle sorvegliava la fidanzata e interviene, lottando contro quel pericoloso malvivente. Nella lotta, Copin soccombe, rimanendo incidentalmente ucciso. La sua morte mette fine anche alla sua influenza malefica su Joy che perde la doppia personalità, liberandosi dalla malvagia Edna.

## Produzione

Il film fu prodotto dalla Universal Pictures. Era conosciuto anche con i titoli The White Cat e The Two Souled Woman.

## Distribuzione

Il copyright del film, richiesto dalla Universal Pictures, fu registrato il 4 agosto 1923 con il numero LP19290.
Distribuito dalla Universal Pictures, il film uscì nelle sale cinematografiche statunitensi il 10 settembre 1923. In Finlandia, venne distribuito il 7 febbraio 1927.
In Italia, l'Universal lo distribuì con il visto di censura numero 19125 rilasciato il 10 gennaio 1924.
Copie complete della pellicola si trovano conservate negli archivi della Library of Congress di Washington e in quelli dell'Academy Film Archive di Beverly Hills.
# Namenlos

Namenlos è un film muto del 1923 diretto da Michael Kertész. Quest'ultimo, un cineasta ungherese che sarebbe emigrato in seguito negli Stati Uniti, avrebbe poi adottato il nome di Michael Curtiz, con il quale sarebbe diventato uno dei più popolari registi di Hollywood.

## Produzione

Il film fu prodotto dalla Sascha Film-Industrie AG (Wien).

## Distribuzione

Distribuito dall'Universum Film (UFA), il film fu presentato in prima a Vienna il 28 dicembre 1923. Il visto di censura porta la data del 1º dicembre 1923.
# Castagno (colore)

Il castagno o rosso indiano è una tonalità brunastra di colore rosso. È chiamato così da un tipo di terreno che si trova in India. È quindi un tono della terra, ma anche un rosso. Si compone di ossidi naturali del ferro.
Altre tonalità degli ossidi del ferro includono il colore rosso rosso ed inglese veneziano.

## Castagno scuro

Il colore presente a destra è il castagno scuro.
V · D · MGradazioni di rosso :
| Bordeaux | Rosso Falun | Granata | Borgogna | Carminio | Sangria | Amaranto | Mattone | Rosso ferrarese | Rosso cardinale |
| Rosso pompeiano | Rosso veneziano | Rosso di Persia | Terracotta | Castagno | Ciliegia | Corallo | Melograno | Rosso | Scarlatto |
| Vermiglione | Alizarina | Cremisi | Ruggine | Rosso corsa | Porpora | Rosa vivo | Magenta inchiostro | Fucsia | Rosa shocking |
| Magenta | Rosa scuro | Rosa | Incarnato prugna | Malva | | | | | |
# Vincent Nichols

Vincent Gerard Nichols (Crosby, 8 novembre 1945) è un cardinale e arcivescovo cattolico britannico, dal 3 aprile 2009 arcivescovo di Westminster.

## Biografia

Allievo del Venerabile Collegio Inglese di Roma, è ordinato sacerdote il 21 novembre 1969, e consacrato vescovo il 24 gennaio 1992.
Il 5 novembre 1991 è eletto vescovo titolare di Othona ed ausiliare di Westminster.
Il 15 febbraio 2000 è nominato arcivescovo di Birmingham.
Il 3 aprile 2009 è promosso arcivescovo di Westminster; succede al cardinale Cormac Murphy-O'Connor, dimessosi per raggiunti limiti d'età. Assume anche il titolo onorifico di primate d'Inghilterra e Galles.
È poi eletto presidente della Conferenza Episcopale di Inghilterra e Galles il successivo 30 aprile, sempre in sostituzione del cardinale Murphy-O'Connor.
Il 15 gennaio 2011 ordina sacerdoti cattolici i primi tre membri della Chiesa d'Inghilterra, ex vescovi anglicani, i quali avevano chiesto e ottenuto di rientrare in comunione con la Chiesa di Roma, grazie all'erezione dell'ordinariato personale di Nostra Signora di Walsingham.
Il 12 gennaio 2014 papa Francesco ne annuncia la creazione a cardinale nel concistoro del 22 febbraio seguente.
Nell'ottobre 2016 è eletto vicepresidente del Consiglio delle conferenze dei vescovi d'Europa.

## Genealogia episcopale e successione apostolica

La genealogia episcopale è:
* Cardinale Scipione Rebiba
* Cardinale Giulio Antonio Santori
* Cardinale Girolamo Bernerio, O.P.
* Arcivescovo Galeazzo Sanvitale
* Cardinale Ludovico Ludovisi
* Cardinale Luigi Caetani
* Cardinale Ulderico Carpegna
* Cardinale Paluzzo Paluzzi Altieri degli Albertoni
* Papa Benedetto XIII
* Papa Benedetto XIV
* Papa Clemente XIII
* Cardinale Marcantonio Colonna
* Cardinale Giacinto Sigismondo Gerdil, B.
* Cardinale Giulio Maria della Somaglia
* Cardinale Carlo Odescalchi, S.I.
* Cardinale Costantino Patrizi Naro
* Cardinale Serafino Vannutelli
* Cardinale Domenico Serafini, Cong. Subl. O.S.B.
* Cardinale Pietro Fumasoni Biondi
* Arcivescovo Filippo Bernardini
* Vescovo Franziskus von Streng
* Arcivescovo Bruno Bernard Heim
* Cardinale George Basil Hume, O.S.B.
* Cardinale Vincent Gerard Nichols
La successione apostolica è:
* Vescovo David Christopher McGough (2005)
* Vescovo John Francis Sherrington (2011)
* Vescovo Nicholas Gilbert Erskine Hudson (2014)
* Vescovo Alan Stephen Williams, S.M. (2014)
* Vescovo Marcus Stock (2014)
* Vescovo Patrick Joseph McKinney (2015)
* Vescovo Paul McAleenan (2016)
* Arcivescovo John Wilson (2016)
* Vescovo Carmelo Zammit (2016)
* Vescovo David James Oakley (2020)
* Vescovo James Paul Curry (2024)
# Criosurnatante

Il criosupernatante o criosurnatante, chiamato anche plasma criodepleto o plasma depleto del crioprecipitato, è plasma da cui è stato rimosso il crioprecipitato, e ha livelli ridotti di fattore VIII, fattore di von Willebrand, fattore XIII, fibronectina e fibrinogeno.
Il criosupernatante può essere usato quando non è necessaria l'implementazione di fattore VIII, ed è indicato per il plasma exchange nei pazienti con porpora trombotica trombocitopenica e per il trattamento della sindrome emolitico-uremica.
# Francine Zouga

Francine Zouga Edoa (Yaoundé, 9 novembre 1987) è una calciatrice camerunese, di ruolo centrocampista.

## Carriera
### Club

Giunta in Europa, dal 2012 ha giocato inizialmente nel campionato svizzero femminile di calcio, con l'Aïre-le-Lignon, per trasferirsi alle kazake del CSHVSM Kairat di Almaty per la stagione 2013 e la prima parte di quella 2014, e dall'estate di quell'anno giungendo al Montpellier per giocare in D1 e infine, la stagione successiva, nuovamente in Svizzera nella squadra del Chênois impegnata nella Lega Nazionale B.
Nell'estate 2021 è tra le 5 calciatrici annunciate in arrivo al RFCU Lussemburgo, tra le quali la compagna di nazionale Marlyse Ngo Ndoumbouk, club lussemburghese con il quale disputa per la prima volta la UEFA Women's Champions League venendo impiegata nella competizione dal tecnico Alexandre Luthardt in tutti i due incontri disputati dalla sua squadra prima dell'eliminazione nella fase di qualificazione all'edizione 2021-2022.

### Nazionale

Francine Zouga viene selezionata per l'edizione di Guinea Equatoriale 2012 della Campionato africano femminile, in cui la nazionale arriva al terzo posto, grazie alla vittoria per 1-0 sulla Nigeria nella finale per il terzo posto, e ottenendo la finale nella successiva edizione di Namibia 2014 avvenuta grazie alla sconfitta per 2-0 contro la Nigeria garantirà a lei e alle sue compagne la storica qualificazione alla fase finale di un campionato mondiale femminile di calcio all'edizione di Canada 2015.
Successivamente viene convocata dalla Federcalcio camerunese per rappresentare la nazione vestendo la maglia della nazionale femminile ai Giochi della XXX Olimpiade nel 2012. La squadra inserita nel Gruppo E non riesce comunque a superare la prima fase del torneo.
Viene inserita nella rosa della nazionale in partenza per Canada 2015. In questa edizione dopo aver superato il girone eliminatorio con sei punti; frutto di due vittorie e una sconfitta, viene eliminata agli ottavi di finale dalla Cina con il risultato di 1 a 0 a favore delle asiatiche.

## Palmarès
### Club

* Campionato lussemburghese femminile: 1
    RFCU Lussemburgo: 2021-2022
* Coppa di Lussemburgo femminile: 1
    RFCU Lussemburgo: 2021-2022
# Plasmodium vivax

Il Plasmodium vivax è un parassita unicellulare, è il più frequente e diffuso responsabile di malaria ricorrente. La dicitura "vivax" deriva dal fatto che i trofozoiti sono caratterizzati da movimenti rapidi.

## Trasmissione e effetti

È una delle quattro specie di parassiti del genere Plasmodium che, comunemente, causano la malaria; è meno virulento del Plasmodium falciparum, il più mortale dei quattro. Il contagio avviene attraverso punture delle zanzare Anopheles; il periodo di incubazione in genere va dai 10 ai 17 giorni, anche se raramente può raggiungere l'anno.

## Correlazione con la malaria

Sono responsabili di una forma di malaria in cui gli accessi febbrili si presentano ogni terzo giorno (terzana benigna), per cui il ciclo eritrocitario ha una durata di 48 ore. Gli ipnozoiti sono sporozoiti dormienti responsabili di recidive molto frequenti, ma solo entro tre anni dal primo episodio.
# Museo storico del Corpo militare dell'ACISMOM

Il Museo storico del Corpo Militare è uno spazio espositivo situato a Roma, presso la città militare della Cecchignola, e dedicato alla storia del Corpo militare dell'ACISMOM.

## Storia

Il museo è stato inaugurato il 12 gennaio 2006 dall'allora Gran maestro dell'Ordine di Malta Fra' Andrew Bertie presso la Caserma Artale, sede del comando del Corpo militare dell'ACISMOM. Il museo è organizzato su tre sale, dove sono esposti cimeli quali 8 bandiere di guerra, 12 uniformi storiche e 75 copricapi, oltre ad una quantità di fotografie, documenti ed armi.

## Descrizione

La prima sala è dedicata alle Forze Armate dell'Ordine di Malta, progenitrici del Corpo militare e protagoniste della difesa dell'isola per tre secoli, come durante l'Assedio di Malta (1565). Vi prendono posto inoltre i pezzi relativi alla fondazione del Corpo militare nel 1877, con le prime uniformi e la documentazione relativa alla partecipazione al terremoto di Messina del 1908, la guerra italo-turca del 1911 con la nave ospedale Regina Margherita e la prima guerra mondiale. La seconda e la terza sala sono dedicate all'intervento del Corpo nella seconda guerra mondiale con i suoi treni ospedale dello SMOM sul fronte russo e con gli ospedali territoriali.
Il museo è visitabile su appuntamento con il Comando del Corpo dal lunedì al venerdì, dalle ore 9 alle 12.
# Falling (Harry Styles)

Falling è un singolo del cantante britannico Harry Styles, pubblicato il 7 marzo 2020 come quarto estratto dal secondo album in studio Fine Line.

## Promozione

Il cantante ha presentato per la prima volta Falling dal vivo nell'ambito degli annuali BRIT Award il 18 febbraio 2020.

## Video musicale

Il video musicale, diretto da Dave Meyers, è stato reso disponibile il 28 febbraio 2020.

## Tracce

Testi e musiche di Harry Styles e Tyler Johnson.
* Falling – 4:00

## Formazione
### Musicisti

* Harry Styles – voce, cori
* Kid Harpoon – pianoforte, moog
* Leo Abrahams – chitarra elettrica
* Thomas Hull – organo

### Produzione

* Kid Harpoon – produzione
* Tyler Johnson – produzione aggiuntiva
* Sam Witte – ingegneria del suono
* Randy Merrill – mastering
* Spike Stent – missaggio
* Michael Freeman – assistenza al missaggio
* Dan Ewins – assistenza all'ingegneria del suono

## Classifiche
### Classifiche settimanali

| Classifica (2019-20) | Posizione massima |
| Australia | 35 |
| Belgio (Fiandre) | 77 |
| Canada | 55 |
| Corea del Sud | 157 |
| Croazia | 21 |
| Grecia | 51 |
| Irlanda | 22 |
| Lettonia | 48 |
| Lituania | 33 |
| Nuova Zelanda | 24 |
| Portogallo | 43 |
| Regno Unito | 15 |
| Repubblica Ceca | 69 |
| Slovacchia | 74 |
| Stati Uniti | 62 |
| Svezia | 81 |
| Svizzera | 55 |

### Classifiche di fine anno

| Classifica (2020) | Posizione |
| Australia | 78 |
| Irlanda | 41 |
| Portogallo | 159 |
| Regno Unito | 34 |
# Open matte

Open matte, letteralmente traducibile in italiano mascherino aperto, è un metodo utilizzato principalmente nel campo dell'home entertainment per convertire un formato cinematografico nativo widescreen alla visione fullscreen in un televisore 4/3 semplicemente mediante l'eliminazione del mascherino usato in fase di ripresa cinematografica per produrre un'immagine panoramica.

## Processo di open matte

A differenza del pan and scan, con l'open matte non si perdono porzioni di immagine, ma anzi se ne aggiungono, in particolare si aggiungono le parti che, in sede di ripresa, vengono nascoste dal mascherino. Questo, tuttavia, non garantisce una migliore visione, anzi sovente lo spettatore è costretto a vedere dettagli non richiesti, quali ad esempio il microfono che registra il sonoro della scena.
All'open matte si arriva, come nel caso del pan and scan, a uso del mercato dell'home video, dove fino a qualche tempo fa le videocassette e i DVD venivano guardati prevalentemente in televisori 4/3, le case di distribuzione hanno avviato un processo di postproduzione cinematografica atto a ottimizzare l'immagine a tutto il quadro della TV 4/3 (cioè al formato 1,33:1).
# 2747 Český Krumlov

2747 Český Krumlov è un asteroide della fascia principale del diametro medio di circa 32,63 km. Scoperto nel 1980, presenta un'orbita caratterizzata da un semiasse maggiore pari a 3,0968620 au e da un'eccentricità di 0,1288708, inclinata di 5,82372° rispetto all'eclittica.
Fa parte della famiglia di asteroidi Hygiea.
L'asteroide è dedicato alla omonima città della Repubblica Ceca.
# Bandiera del Mali

La bandiera del Mali è stata adottata il 1º marzo 1961. La bandiera è un tricolore a bande verticali, basato sul modello francese, con i tradizionali colori panafricani. Dal lato del pennone sono: verde, giallo e rosso. Il giallo, simbolo di produttività, era precedentemente caricato con la figura stilizzata di un danzatore, figura simbolica assai diffusa nel paese.

## Bandiere storiche

| Anni in uso | Proporzioni | Governo | Descrizione |
| c. 1324 | 4:7 (possibile) | Impero del Mali (possibile) | Una ricostruzione dello stendardo usato da Musa I sul hajj, una possibile bandiera dell'Impero del Mali. Consisteva in un rettangolo giallo bordato di rosso. |
| 1880–1958 | 2:3 | Sudan francese, la colonia del Sudan francese tra 1880 and 1959 | Il Tricolore francese venne usato come bandiera ufficiale per tutto il periodo coloniale. |
| 1958–1959 | 2:3 | Sudan francese, la colonia del Sudan francese tra 1880 and 1959 | Una bandiera specifica per il Sudan francese venne adottata nel 1958 quando il Sudan francese ottenne l'autonomina nell'ambito della Comunità francese. Consisteva nel classico tricolore francese con all'interno della banda bianca la stilizzazione di un omino detto Kanaga. |
| 1959–1960 | 2:3 | Federazione del Mali | La bandiera inizialmente adottata dopo l'indipendenza del Mali consisteva in un tricolore verticale verde, giallo e rosso con in nero nella fascia gialla il Kanaga. |
| 1960-1961 | 2:3 | Repubblica del Mali | La bandiera inizialmente adottata dopo l'indipendenza del Mali consisteva in un tricolore verticale verde, giallo e rosso con in nero nella fascia gialla il Kanaga. |
| 1961–oggi | 2:3 | Repubblica del Mali | L'attuale bandiera del Mali adottata il 1 Marzo 1961, dopo la dissoluzione della federazione del Mali venne rimosso il Kanaga dal centro della bandiera. |
# Centraal Museum

Il Centraal Museum (in italiano Museo centrale) è un museo d'arte di Utrecht, nei Paesi Bassi. Conserva le opere di importanti pittori legati alla città olandese, tra cui Joachim Anthonisz Wtewael, Gerard van Honthorst, Hendrick ter Brugghen, Abraham Bloemaert, Paulus Moreelse e Jan van Scorel.

## Storia

Il museo venne aperto il 5 settembre 1838 presso il municipio di Utrecht, motivo per cui si tratta del museo municipale più antico dei Paesi Bassi; originariamente, la collezione includeva esclusivamente opere legate alla storia di Utrecht. Nel 1891 la sede venne trasferita nell'Hoogeland di Utrecht. Nel 1921 il museo venne trasferito nell'ex monastero medievale di Agnietenstraat e accorpò diverse collezioni d'arte private, diventando così un "museo centralizzato", da cui il nuovo nome "Centraal Museum".
# Principio di Markov

Il Principio di Markov, che deve il nome ad Andrej Andreevič Markov, è una tautologia della logica classica che non è intuizionisticamente valida ma può essere giustificata costruttivamente.
Ci sono diverse formulazioni equivalenti del principio di Markov.

## Enunciato del principio

Nel linguaggio della teoria della calcolabilità, il principio di Markov è l'espressione formale dell'affermazione per cui, se è impossibile che un algoritmo non termini, allora termina. Ciò è equivalente all'affermare che se un insieme, assieme al suo complemento, è ricorsivamente enumerabile, allora l'insieme è ricorsivo.
Nella logica al primo ordine, se $P$ è un predicato sui numeri naturali, si può esprimere come:
    $(\forall n(P(n)\vee \neg P(n)))\wedge (\neg \forall n\neg P(n))\rightarrow (\exists n\;P(n))$.
Cioè, se $P$ è decidibile, e non può essere falso per ogni numero naturale $n$, allora è vero per qualche $n$. (In generale, un predicato $P$ su qualche dominio si dice "decidibile" se per ogni $x$ nel dominio, $P(x)$ è vero o $P(x)$ non è vero, e ciò non sempre vale costruttivamente).
Il principio è equivalente, in HA, a:
    $\neg \neg \exists n\;f(n)=0\rightarrow \exists n\;f(n)=0,$
con $f$ una funzione ricorsiva totale sui numeri naturali.
Nel linguaggio dell'analisi reale, il principio è equivalente ai seguenti:
* Per ogni numero reale $x$, se è contraddittorio che $x$ sia uguale a 0, allora esiste $y\in \mathbb {Q}$ tale che $0<y<|x|$, spesso espresso dicendo che $x$ è costruttivamente diverso da 0.
* Per ogni numero reale $x$, se è contraddittorio che $x$ sia uguale a 0, allora esiste un $y\in \mathbb {R}$ tale che $x\cdot y=1$.

## Realizzabilità

Il principio di Markov può essere giustificato tramite la realizzabilità: un realizzatore è una ricerca illimitata che controlla successivamente se $P(0),P(1),P(2),\dots$ sia vero. Dato che $P$ non è sempre falsa, la ricerca non può continuare all'infinito. Per la logica classica si conclude che la ricerca termina su un valore per cui $P$ vale.
La realizzabilità modificata non giustifica il principio di Markov, anche se si usa la logica classica nella meta-teoria: non c'è nessun realizzatore nel linguaggio del lambda calcolo tipato, dato che non è Turing completo e non si possono definire cicli arbitrari.

## Principio di Markov debole

Una forma più debole del principio di Markov può essere espressa nel linguaggio dell'analisi come:
    $\forall x\in \mathbb {R} \ (\forall y\in \mathbb {R} \ \neg \neg (0<y)\vee \neg \neg (y<x))\to 0<x.$
Questa forma può essere giustificata dai principi di continuità di Brouwer, anche se invece l'enunciato forte li contraddice. Sebbene possa essere derivato per mezzo di ragionamenti intuizionistici, di realizzabilità e classici, il principio non è valido in senso costruttivo secondo Bishop.