hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Andriy Biletsky
Andriy Yevheniyovych Biletsky ( em ucraniano:  Андрі́й Євге́нійович Біле́цький, transl. Andríj Jevhénijovyč Biléćký, IPA: [ɐnˈd⁽ʲ⁾r⁽ʲ⁾ij jeu̯ɦɛn⁽ʲ⁾ijoʋɪt͡ʃ b⁽ʲ⁾iˈɫɛt͡sʲkɪj] ; nascido em 5 de agosto de 1979 ) é um político de extrema-direita ucraniano e oficial militar. Ele é o líder do partido político Corpo Nacional e comandante do 3° Corpo de exército.

Biletsky foi o primeiro comandante da milícia voluntária Batalhão de Azov, onde chegou a patente de Tenente-coronel, e co-fundador do movimento nacionalista Assembleia Social-Nacional. De 2014 a 2019, Biletsky foi membro do Parlamento ucraniano. Após a Invasão Russa da Ucrânia em 2022, Biletsky se alistou nas Forças Armadas da Ucrânia e se tornou comandante da 3ª Brigada de Assalto, formada por veteranos do Batalhão Azov, e em 2025 foi promovido a patente de General de brigada e comandante do 3° Corpo de exército.

Setor Direito
Setor Direito ou Setor da Direita (em ucraniano:  Правий сектор, transl. Pravyy sektor ) é um partido e um movimento político ucraniano de extrema-direita, neofascista e ultranacionalista, criado em novembro de 2013, como uma confederação paramilitar de várias organizações nacionalistas, no contexto da Euromaidan, em Kiev.

A confederação tornou-se um partido político em 22 de março de 2014, altura em que informava reunir dez mil membros. O grupo já foi acusado de possuir fortes ligações neonazistas. Atualmente, tem participado de manifestações em apoio ao governo de  Israel, no conflito israelo-palestino. A bandeira do Pravyy Sektor é baseada na bandeira do Exército Insurreto Ucraniano e OUN - Banderita também tem sido usada pela extrema-direita, fora da Ucrânia, em manifestações públicas.

O Setor Direito participou diretamente na Guerra Russo-Ucraniana por meio de sua ala paramilitar, o Corpo Voluntário Ucraniano.
Gheorghe Gheorghiu-Dej
Gheorghe Gheorghiu-Dej (Bârlad, 8 de novembro de 1901 - Bucareste, 19 de março de 1965) foi um político comunista e dirigente romeno. Exerceu o cargo de secretário geral do Partido Comunista Romeno de 1944 até sua morte; Primeiro-ministro da Romênia de 1952 até 1955 e Presidente da República de 1961 a 1965.

Galați
Galați ou Galatz (pronúncia /ga'laʦʲ/) é uma cidade e município do leste da Romênia, capital do județ (distrito) de Galați, às margens do Danúbio. Sua população em 2011 era de 249.432 habitantes que vivem numa área de 241,5 km².
Bacalhau-polar
O bacalhau-polar (Boreogadus saida), também conhecido como bacalhau-do-Ártico, é um peixe da família Gadidae, relacionada ao bacalhau (gênero Gadus). Outra espécie de peixe para a qual são usados os nomes comuns bacalhau-do-Ártico e bacalhau-polar é o Arctogadus glacialis [en].

Mar de Cara
O mar de Cara ou mar de Kara (em russo:  Ка́рское мо́ре) faz parte do oceano Ártico, a norte da Sibéria. Está separado do mar de Barents, a oeste, pelo estreito de Kara. A este situa-se o mar de Laptev.

Tem cerca de 1450 km de comprimento e 970 km de largura, com uma área total de 883 000 km². A sua profundidade média é de 110 m.

Recebe pequenas quantidades de água doce dos rios Ob, Ienissei, Taz, Pyasina e Taimir, variando assim a sua salinidade, ao longo do tempo, de maneira elevada.

Supõe-se que Rússia despejou no fundo deste mar uma grande quantidade de resíduos tóxico nucleares[carece de fontes?].

De assinalar que a exploração de petróleo e gás natural nesta zona está a ser estudada (não confirmada a presença).

Nele ficam as desabitadas ilhas do Instituto Ártico.
Coríndon
Coríndon, corindo ou corundo é um mineral cristalino a base de óxido de alumínio, que representa valor 9 em dureza, na escala de Mohs. Naturalmente transparente, pode ter cores diferentes de acordo com impurezas que estejam incorporadas à sua matriz. Os espécimes translúcidos são usados como joias. O coríndon de coloração vermelha é chamado de rubi, enquanto as demais tonalidades são chamadas de safiras, não obstante estas sejam mais conhecidas em sua cor azul.

Cristal
Um cristal é um sólido no qual os constituintes, sejam eles átomos, moléculas ou íons, estão organizados num padrão tridimensional bem definido, que se repete no espaço, formando uma estrutura com uma geometria específica.

Em química e mineralogia, um cristal é uma forma da matéria na qual as partículas constituintes estão agregadas regularmente, criando uma estrutura cristalina que se manifesta macroscopicamente por assumir a forma externa de um sólido de faces planas regularmente arranjadas, em geral com elevado grau de simetria tridimensional.

Cristal deriva da palavra em grego clássico: κρύσταλλος (krustallos) que quer dizer ao mesmo tempo "gelo" e "quartzo".
Epidendrum fulgens
Epidendrum fulgens é uma espécie de orquídea nativa do Brasil, pertencente ao gênero Epidendrum.  É frequentemente confundida com outras espécies parecidas, tais como  E. secundum, E. denticulatum ou E. radicans.

Seu habitat natural são as áreas mais abertas da mata atlântica e setores de restingas, recebendo por isso o nome popular de orquídea-da-praia ou orquídea-da-restinga. Não apresenta hábitos epífitos, crescendo a partir do solo, em áreas levementes sombreadas ou sob sol pleno.

Epidendrum
Epidendrum (em português: Epidendro) é um género botânico pertencente à família das orquídeas (Orchidaceae). Por incluir mais de 1100 espécies, é apelidado por alguns autores de mega-género.

Quando, em 1763, Carolus Linnaeus deu o nome ao género, incluiu neste todas as orquídeas epífitas que conhecia. Hoje poucas dessas orquídeas continuam incluídas neste género, o que não impede que o número total de espécies do género continue a crescer.
NGC 3816
NGC 3816 é uma galáxia lenticular (S0) localizada na direcção da constelação de Leo. Possui uma declinação de +20° 06' 13" e uma ascensão recta de 11 horas, 41 minutos e 47,8 segundos.

A galáxia NGC 3816 foi descoberta em 9 de Maio de 1864 por Heinrich Louis d'Arrest.

Leo
Leo, o Leão, é uma constelação do zodíaco. O genitivo, usado para formar nomes de estrelas, é Leonis.

As constelações vizinhas, segundo as delineações contemporâneas, são a Ursa Maior, o Leão Menor, o Caranguejo, a Hidra, o Sextante, a Taça, a Virgem e a Cabeleira de Berenice.

A estrela Wolf 359, uma das mais próximas do Sistema Solar, é uma das estrelas do Leão.
Wageningen
Wageningen é uma cidade dos Países Baixos na província de Guéldria, a 16 km da cidade de Arnhem e na fronteira com a província de Utrecht.  Wageningen conta com 34 348 habitantes em 2006, dos quais alguns milhares são estudantes.

A cidade é conhecida pela Universidade de Wageningen (Wageningen Universiteit), que, juntamente com os institutos de pesquisa a ela associados, emprega cerca de 7 400 pessoas.

Os romanos chamavam o pequeno povoado surgido em torno de um forte, na margem norte do rio Reno, que guardava a fronteira norte do Império Romano no continente europeu, de Vila Vada.

Em 5 de maio de 1945, o general alemão Blaskowitz rendeu-se ao general canadense Charles Foulkes, o que pôs fim à Segunda Guerra Mundial em solo neerlandês. Os generais negociaram a capitulação no Hotel de Wereld ("Hotel O Mundo").

Arnhem
Arnhem é uma cidade e município na parte oriental dos Países Baixos, é a capital da província da Guéldria, e está situada perto do Baixo Reno. Em setembro de 1944, a Batalha de Arnhem ocorreu em suas imediações.

Sua população era de 159.265 habitantes em 2019, o que a torna a segunda maior da província, após Nimegue.
Les Clark
Leslie James Clark, conhecido como Les Clark (Ogden, 17 de novembro de 1907 — Santa Bárbara, 12 de setembro de 1979) foi um animador e diretor norte-americano, o primeiro dos Os Nove Anciões dos estúdios Disney. Juntou-se à empresa em 1927, e foi o único animador que trabalhou na época da criação de Mickey Mouse com Ub Iwerks.

Ub Iwerks
Ubbe Ert Iwwerks, mais conhecido como Ub Iwerks, (Kansas City, 24 de março de 1901 — Burbank, 7 de julho de 1971) foi um desenhista norte-americano que criou o personagem Mickey Mouse para a Disney.

Ub nasceu na cidade de Kansas City e era filho de Uert Ubbe Iwwerks, um imigrante que chegou aos Estados Unidos da América em 1869, provindo de uma pequena aldeia chamada Uttum, na Frísia Oriental (Baixa Saxónia) um local que fica no noroeste da Alemanha. Muitos anos depois, quando começou a trabalhar profissionalmente simplificou seu nome para Ub Iwerks, como é conhecido até os dias atuais.
Receptor de histamina H3
Os receptores de  histamina H3 são expressos no sistema nervoso central e, de forma menos significativa, no sistema nervoso periférico, onde eles agem como [[autorreceptor]es] pré-sinápticos em neurônios histaminérgicos, controlando assim a ciclagem de histamina através de inibição por retroalimentação negativa da síntese e liberação da histamina. O receptor H3 também é capaz de inibir a liberação de outros  neurotransmissores (agindo como um heterorreceptor inibitório) incluindo dopamina, GABA, acetilcolina, noradrenalina, histamina e serotonina.
A sequência gênica dos receptores H3 possui apenas 22% e 20% de homologia com os receptores H1 e H2 respectivamente.

Ácido gama-aminobutírico
Ácido gama-aminobutírico (IUPAC: 4-aminobutanóico [ácido]), também conhecido pela sigla inglesa GABA (Gamma-AminoButyric Acid), é um ácido aminobutírico em que o grupo amina está na extremidade da cadeia carbônica. É o principal neurotransmissor inibidor no sistema nervoso central dos mamíferos. Ele desempenha um papel importante na regulação da excitabilidade neuronal ao longo de todo o sistema nervoso. Nos seres humanos, o GABA também é diretamente responsável pela regulação do tônus muscular. A ação inibitória do neurotransmissor GABA, através da ativação do receptor GABA-A, está relacionada com o comportamento agressivo e impulsividade em humanos. Em espécies de insetos, o GABA atua apenas em receptores excitatórios nos nervos.

Na diplegia espástica em seres humanos, a absorção de GABA por parte de alguns nervos fica danificada, o que leva a hipertonia dos músculos sinalizada por esses nervos.
Umbigada
Umbigada (derivado de "umbigo") ou "golpe de barriga", é um movimento de dança em vários tipos de dança afro-brasileiras.

É executado com um dançarino abrindo os braços e estendendo a barriga na área do umbigo em direção a outra dançarina. Os corpos dos dançarinos podem ou não se tocar.

É uma o característica básica de muitas danças importadas da região do Congo-Angola para o Brasil e Portugal, como: samba, fandango, batuque, tambor de crioula.

É comumente usado para fazer um convite para dançar, por exemplo, durante o samba de roda. No entanto, também pode constituir um elemento da própria dança.

Umbigo
O umbigo é a cicatriz resultante da queda fisiológica (natural) do coto umbilical, e costuma manifestar-se como uma depressão na pele. Por ser uma cicatriz, é possível diferenciar irmãos gêmeos a partir dos umbigos, uma vez que as cicatrizes não são provocadas pela genética.

A palavra umbigo tem sua origem no latim umbilīcus, diminutivo de umbo, com o sentido de saliência arredondada em uma superfície; foi escrita pela primeira vez em um documento oficial em 1563. Importante destacar que o umbigo não é uma exclusividade dos humanos: todos os mamíferos que têm placentas possuem umbigos;

Em humanos, a queda do coto umbilical ocorre após uma semana do nascimento, mas pode ter uma espera de até três semanas. Ao cair, forma o umbigo do bebê.

É também uma zona erógena, devido a alta sensibilidade que existe ao redor de sua área. De acordo com o psicólogo Leon F. Seltzer, “o fato de ver o umbigo e a área ao seu redor pode ser muito atraente para um parceiro”.
Copa Davis de 1955
A Copa Davis de 1955 foi a 44ª edição do mais importante torneio do tênis masculino de seleções. A Zona do Leste foi restabelecida neste ano. Participaram da competição 34 equipes, sendo 24 na Zona Europeia, 7 na Zona Americana e 3 na Zona do Leste.

A Austrália derrotou o Canadá na final da Zona Americana, a Itália bateu a Suécia na final da Zona Europeia e o Japão venceu as Filipinas. Os Estados Unidos, atuais campeões, foram derrotados pela Austrália no Desafio Final. A final foi disputada no West Side Tennis Club em Forest Hill, Estados Unidos, de 26 a 28 de agosto.

Equipe australiana na Copa Davis
A equipe australiana na Copa Davis representa a Austrália na Copa Davis, principal competição de tênis masculina por equipes do mundo. É administrada pela Tennis Australia.

Conquistou vinte e oito títulos, sendo seis pela extinta Australásia, união com a Nova Zelândia até 1922. Apenas a Austrália acumulou esses êxitos.
NGC 215
NGC 215 é uma galáxia elíptica (E-S0) localizada na direcção da constelação de Phoenix. Possui uma declinação de -56° 12' 51" e uma ascensão recta de 0 horas, 40 minutos e 48,9 segundos.

A galáxia NGC 215 foi descoberta em 28 de Outubro de 1834 por John Herschel.

Phoenix (constelação)
Phoenix (Phe), a Fênix, é uma constelação do hemisfério celestial sul. O genitivo, usado para formar nomes de estrelas, é Phoenicis. Sua estrela mais brilhante é Alpha Phoenicis (Ankaa).

A constelação se situa a aproximadamente entre -40° e -57° de declinação e 23,5h e 2h de ascensão reta, e é visível entre as latitudes +40° e -90°. As constelações vizinhas são Fornax, Sculptor, Grus, Tucana e Eridanus.

A Fénix faz parte de um grupo de 12 constelações modernas introduzidas pelos navegadores holandeses Pieter Keyser e Frederick de Houtman, que cartografaram o céu do hemisfério Sul entre 1595 e 1597. Não está, por isso, associada a nenhuma lenda clássica.

Esta não é uma figura celeste muito óbvia, por ser constituída por estrelas bastante ténues, mas a mais brilhante (Alfa) encontra-se com relativa facilidade. Pode ser localizada tendo como referência as estrelas mais óbvias dessa área do céu, Fomalhaut e Achernar, das constelações do Peixe Austral e Erídano, respectivamente.
Cristóvão I de Tirariche
Cristóvão I de Tirariche (em armênio/arménio: Քրիստափոր Ա Տիրառիջցի; romaniz.: Kristapor Tirariǰtsi; m. 545) foi católico de 539 a 545. Nasceu na vila de Tirariche, no cantão de Bagrauandena, na província de Airarate. Sucedeu em 539 o católico Isaque II. Fiel aos princípios do Primeiro Concílio de Dúbio de 506, morreu em 545 e foi sucedido no trono catolicossal por Leôncio de Erraste.

Católico de Todos os Armênios
Patriarca Supremo e Católico de Todos os Armênios (português brasileiro) ou Arménios (português europeu) (ou então Católico de Todos os Armênios/Arménios, Católico de Toda a Armênia/Arménia) é o bispo chefe da Igreja Apostólica Armênia, com sede administrativa em Valarsapate, fundada em 301, uma das Igrejas ortodoxas orientais. Embora seja uma Igreja ortodoxa, não está em comunhão nem à Igreja Católica nem à Igreja Ortodoxa, somente aceitando os três primeiros concílios ecumênicos (Primeiro Concílio de Niceia, Primeiro Concílio de Constantinopla e Primeiro Concílio de Éfeso).

O primeiro Católico de Todos os Armênios foi Gregório, o Iluminador. A Armênia foi a primeira nação a ter a religião oficial cristã, antes mesmo de Constantino.

O atual Católico é Karekin II.
Jamiltepec
Santiago Jamiltepec é uma cidade e a sede do município vizinho de mesmo nome, no estado mexicano de Oaxaca. Ele está localizado no distrito de Jamiltepec, a oeste da região da Costa Chica, 30 km a leste de Pinotepa Nacional na Rodovia Federal 200 e 460 km a sudoeste da capital do estado, Oaxaca de Juárez

Oaxaca de Juárez
Oaxaca de Juárez é a capital do estado de Oaxaca fica ao sul do México. Conta com 526 mil habitantes (2004) e situa-se numa altitude de 1550 metros sobre o nível do mar.

No ano de 2006, a cidade de Oaxaca foi palco de um grande processo de lutas populares, iniciadas pela categoria dos professores, que levou à formação da APPO. A "Comuna de Oaxaca", como ficou conhecido o movimento, começou a ser pesadamente atacada por tropas da Policia Federal Preventiva do México a partir do dia 29 de outubro de 2006.
Giuseppe Amisani
Giuseppe Amisani (Mede, 7 de dezembro de 1881 — Portofino, 8 de setembro de 1941) foi um pintor italiano. Estudou na Academia de Brera, em Milão, onde foi aluno do renomado retratista Cesare Tallone. Por influência deste, devotou-se à retratística, destacando-se nos retratos femininos, interpretados com sensualidade e vivacidade de cores e que lhe renderam aceitação e apoio da burguesia de então. Também foi pintor de paisagens, tendo registrado cenários de diversas localidades, da Inglaterra à África.

Fez diversas viagens pela América do Sul, com estadias prolongadas na Argentina e no Brasil. Na cidade de São Paulo, Amisani realizou diversas exposições e estabeleceu um ateliê, onde recebeu diversas encomendas de retratos, contribuindo para a difusão da pintura italiana contemporânea no circuito nacional. Entre 1924 e 1925, trabalhou na decoração do Palácio Real de Alexandria, no Egito, local onde recebeu a alcunha de "pintor do Rei".

Belle Époque brasileira
A Belle Époque brasileira (em português, bela época), também conhecida como Belle Époque Tropical e Era Dourada, é a vertente sulamericana do movimento francês Belle Époque (1871-1914), baseado nos movimentos artísticos do Impressionismo e do Art Nouveau. Foi um período de cultura cosmopolita, de mudanças nas artes, na cultura, na tecnologia e na política do Brasil, entre 1870 e fevereiro de 1922 — fins do Império até a Semana de Arte Moderna.

A Belle Époque, no Brasil, difere de outros países, seja pela duração, seja pelo avanço tecnológico, que se deu, principalmente, nas regiões mais prósperas do país na época: a região do ciclo da borracha (Amazonas e Pará), a região cafeeira (São Paulo e Minas Gerais) e as três principais cidades coloniais brasileiras (Recife, Rio de Janeiro e Salvador).
Hispânia Bética
Hispânia Bética (em latim: Hispania Baetica) foi uma das três províncias romanas na Hispânia (região que corresponde à moderna Península Ibérica). Ela fazia fronteira a oeste com a Lusitânia e a nordeste com a Hispânia Tarraconense. A partir do século VIII, a região tornou-se parte da região de Alandalus e corresponde aproximadamente ao território da moderna Andaluzia, na Espanha. Sua capital era a cidade de Córduba (a moderna Córdova).

Celtiberos
De celtiberos (ou celtibéricos) designam-se os povos ibéricos pré-romanos celtas ou celtizados que habitavam a Península Ibérica desde finais da Idade do Bronze, no século XIII a.C., até à romanização da Hispânia, desde o século II a.C. ao século I. O termo denomina também genericamente os idiomas que utilizavam. Entre estes, existe um expressamente denominado celtibero, que habitava a região a oeste da Cordilheira Ibérica, a Celtibéria. Há também quem integre outros povos neste grupo étnico, como os vetões, váceos, lusitanos, carpetanos ou célticos.
Arquivo do Distrito de Aveiro
O Arquivo do Distrito de Aveiro foi uma publicação periódica portuguesa, publicada trimestralmente, entre 1935 e 1976.

Esta publicação focava-se em assuntos relacionados com o distrito de Aveiro, reunindo estudos de investigação relacionados com a região de Aveiro, nas mais diversas disciplinas (geografia, geologia, etnografia, história, arqueologia, literatura, património, etc.).

Apesar da aparente semelhança do nome, esta publicação não tem qualquer relação com o Arquivo Distrital de Aveiro, tendo sido publicada de forma independente pelos seus proprietários.

Durante os 42 anos de atividade, foram publicados 42 volumes anuais.

Arquivo Distrital de Aveiro
O Arquivo Distrital de Aveiro (também conhecido pela sigla ADAVR) é um arquivo distrital que reúne variada documentação referente ao Distrito de Aveiro.

Criado oficialmente em 22 de maio de 1965, pelo Decreto-lei 46350, de 22 de Maio, está dependente da Direção-Geral do Livro, dos Arquivos e das Bibliotecas (DGLAB) e, através desta, do Ministério da Cultura.

O ADAVR funciona na antiga quinta do Dr. Alberto Souto, em Aradas, num edifício reconstruido especificamente para estas funções, inaugurado em 28 de junho 2002. A sua missão resultou da execução da política arquivística nacional, da responsabilidade do IAN/TT (atual DGLAB), assente numa rede de Arquivos Distritais, que teriam como missão recolher, salvaguardar e promover o património arquivístico.

Desde 2019, o ADAVR tem apresentado exposições mensais, homenageando as figuras notáveis de cada concelho do Distrito.
Mazda 737C
O Mazda 737C foi um protótipo de carro de corrida construído pela Mazdaspeed para as 24 Horas de Le Mans no âmbito do Grupo C2 fórmula.
Dois 737Cs foram inscritos nas 24 Horas de Le Mans em 1985, terminaram a corrida em em 3° e 6° na classe C2. Foi substituído pelo Mazda 757.

Carro conceptual
Carro conceptual, carro conceitual (português europeu) ou carro-conceito (português brasileiro) (da expressão inglesa concept car), designa um veículo experimental em que a indústria automóvel aplica novos  conceitos (estéticos, técnicos e tecnológicos de alto nível) para exibição ao público e análise de meios expecializados. Também se aplica a motos e outros veículos terrestres.
Bandeira de São Bartolomeu
A bandeira de São Bartolomeu consiste no escudo da ilha centrado sobre um fundo branco. Usada na ilha, não tem um estatus oficial. Dado que São Bartolomeu é uma coletividade de ultramar da França, sua bandeira oficial é a tricolor francesa.

São Bartolomeu (coletividade)
São Bartolomeu (em francês: Saint-Barthélemy), oficialmente Coletividade de São Bartolomeu (em francês: Collectivité de Saint-Barthélemy), é um território pertencente à França, com 21 km², envolvendo a ilha de São Bartolomeu e outros territórios pequenos próximos à ilha. Também conhecido por Saint-Barts, Saint-Barths ou Saint-Barth, a Coletividade de São Bartolomeu é um dos quatro territórios das Pequenas Antilhas que englobaram as Índias Ocidentais Francesas. A principal cidade da ilha é Gustávia, nomeada em homenagem ao rei Gustavo III da Suécia. Tem o estatuto de coletividade ultramarina desde 21 de fevereiro de 2007.
Emmanuel d'Alzon
Emmanuel Joseph Marie Maurice Daudé d'Alzon (Le Vigan, 30 de agosto de 1810 – Nîmes, 21 de novembro de 1880), foi vigário-geral da diocese de Nîmes, no sul da França e fundador da Congregação dos Agostinianos da Assunção (1845) e das Oblatas da Assunção (1864).

Nîmes
Nimes (Nîmes em francês) é uma cidade do sul da França, capital do departamento de Gard, na região de Occitânia, com uma população, no município, de 154,196 habitantes (2016). O seu nome na época romana era Nemauo ou Nemausis.

A sua altitude máxima é de 215 m (116 m na zona urbana) e a altitude mínima é de 21 m (45 m na zona urbana). Nîmes está situada numa zona com colinas, particularidade que lhe valeu o epíteto de «Roma francesa». Está a 35 km do mar Mediterrâneo, a 20 km da Camargue, a 35 km dos Cévennes e a 20 km do rio Ródano. Assinala a divisória a Provença (a sua extremidade oeste), e o Languedoc (no seu extremo leste). Nîmes está, além disso, próxima de outras grandes e históricas cidades: Arles (27 km), Avignon (44 km), Alès (46 km), Montpellier (54 km), ou mesmo Orange (65 km), Sète (84 km), Aix-en-Provence (95 km) e Marselha (100 km).
Teorema de compacidade de Barwise
Em Lógica matemática, o teorema da compaccidade de Barwise, em homenagem a Jon Barwise, é uma generalização do teorema da compacidade usual para a lógica de primeira ordem para uma determinada classe de linguagens infinitárias.  Foi afirmado e provado por Barwise em 1967.

Teorema da compacidade
O Teorema da Compacidade assegura que um conjunto  qualquer formado por fórmulas bem formadas de um cálculo de predicados de primeira ordem é satisfazível se, e somente se, todo subconjunto finito  de  também é satisfazível. Ou seja, se , então, qualquer que seja , com , tem-se que ; reciprocamente, se, qualquer que seja , tem-se que , então .

Este teorema denota uma importante propriedade para a lógica de predicados, pois garante que toda e qualquer fórmula é derivável (ou logicamente implicada, no caso semântico) a partir de um conjunto finito de premissas.

No caso proposicional, a propriedade da compacidade é consequência do Teorema de Tychonoff (que assegura que o produto de espaços compactos também é compacto) aplicado a espaços de Stone compactos, e daí segue o nome do teorema.