Andrey Bovykin

Possui doutorado - University of Birmingham, Inglaterra (2000). Atualmente é Professor Adjunto A na Universidade Federal da Bahia (UFBA). Tem experiência nas áreas de Matemática, com ênfase em Lógica Matemática.

Informações coletadas do Lattes em 03/06/2026

Acadêmico

Formação acadêmica

Doutorado em Matemática e Estatística

1996 - 2000

University of Birmingham
Título: On order-types of models of arithmetic
Orientador: Richard William Kaye
Bolsista do(a): School of Mathematics, University of Birmingham, SM, Grã-Bretanha. Grande área: Ciências Exatas e da Terra

Graduação em Matemática

1993 - 1996

Universidade de Sao Petersburgo

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Russo

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Metamatemática.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Filosofia.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: teoria dos conjuntos.

Participação em eventos

Universal Logic Congress. Tutorial: Introdução à metamatemática. 2013. (Congresso).

H. Heusler anniversary meeting.H. Heusler anniversary meeting. 2012. (Encontro).

Model theory and proof theory of arithmetic.New unprovability results in the Infinite-Dimensional Ramsey Theory and other recent developments in metamathematics. 2012. (Seminário).

Converazione Talks in University of Cambridge.Proof Theory and Constructive Mathematics. 2011. (Oficina).

Escola Brasileira de Lógica. Turing-complete and arithmetically-complete templates: the atlas and the theory of all possible machines. 2011. (Congresso).

Gödel Congress. Unprovable Ramsey-like statements reformulated to talk about primes. 2011. (Congresso).

Proof Complexity Computation. Brief introduction to unprovablility. 2011. (Congresso).

Converazione Talks in University of Cambridge.Proof Theory and Constructive Mathematics. 2010. (Seminário).

Days of Weak Arithmetics in Polish Academy of Sciences.Days of Weak Arithmetics. 2010. (Encontro).

Ideals of Proof.Proof Theory and Constructive Mathematics. 2010. (Simpósio).

Tbilisi Logic School.Proof Theory and Constructive Mathematics. 2010. (Oficina).

Proof Theory and Constructive Mathematics - University of Leeds.Proof Theory and Constructive Mathematics. 2009. (Encontro).

Gödel Colloquium Lecture.Mathematical Logic: Proof Theory and Constructive Mathematics. 2008. (Simpósio).

Logic Symposium in University of Bern.Methods of Logic in Mathematics. 2008. (Simpósio).

Methods of Logic in Mathematics.Methods of Logic in Mathematics. 2008. (Seminário).

London Mathematical Society Meeting.Set Theory and its Neighbours. 2007. (Simpósio).

Methods of Proof Theory in Mathematics in Max-Planck Institute.Methods of Proof Theory in Mathematics. 2007. (Simpósio).

Logic, Combinatorics and Independence results.Order-types of models of arithmetic and a connection with arithmetic saturation. 2006. (Oficina).

Logic Colloquium.Proof Theory. 2006. (Simpósio).

Methods of Logic in Mathematics.Methods of Logic in Mathematics. 2005. (Seminário).

Utrecht Logic Lunch.Order-types of models of arithmetic and a connection with arithmetic saturation. 2004. (Seminário).

Model Theory and Algebra.Model Theory and Algebra. 2001. (Encontro).

London Mathematical Society Meeting.Set Theory and its Neighbors. 2000. (Seminário).

Participação em bancas

Aluno: Florian Pelupessy

BOVYKIN, A.; WEIERMANN, A.. Connecting the Provable with the Unprovable: Phase Transitions in Unprovability. 2012. Tese (Doutorado em PhD Mathematics) - Universiteit Gent.

Orientou

Katie Pearce

Translating unprovable statements into polynomial expressions; 2010; Dissertação (Mestrado em Mathematics and Philosophy, MSc joint honours) - University of Bristol, ; Orientador: Andrey Bovykin;

Samuel Doleman

On Suslin trees; 2010; Dissertação (Mestrado em MSc in Mathematics) - University of Bristol, ; Orientador: Andrey Bovykin;

Andrew Hollingsworth

Paris-Kirby hydra games; 2010; Dissertação (Mestrado em Mathematics and Philosophy, MSc joint honours) - University of Bristol, ; Orientador: Andrey Bovykin;

Alexander Riley

Combinatorics of Higman's Lemma; 2010; Dissertação (Mestrado em Mathematics and Philosophy, MSc joint honours) - University of Bristol, ; Orientador: Andrey Bovykin;

Stuart King

The influence of the Axiom of Determinacy on Combinatorics; 2009; Dissertação (Mestrado em MSc in Mathematics) - University of Bristol, ; Orientador: Andrey Bovykin;

Alexander Sirotkin

Arithmetised completeness theorem; 2003; Dissertação (Mestrado em Pure Mathematics) - St; Petersburg State University, ; Orientador: Andrey Bovykin;

Michiel De Smet

Unprovability and phase transitions in Ramsey theory; 2011; Tese (Doutorado em PhD in Mathematics) - Ghent University, ; Coorientador: Andrey Bovykin;

Produções bibliográficas

BOVYKIN, ANDREY . Metamathematical subtleties of winning in Diophantine games. SOUTH AMERICAN JOURNAL OF LOGIC , v. 6, p. 25-49, 2020.
BOVYKIN, ANDREY ; WEIERMANN, ANDREAS . The strength of infinitary Ramseyan principles can be accessed by their densities. ANNALS OF PURE AND APPLIED LOGIC , v. 168, p. 1700-1709, 2017.
BOVYKIN, ANDREY ; DE SMET, M. . A glimpse at polynomials with quantifiers. THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS , v. 4, p. 3237-3260, 2017.
BOVYKIN, A. . Unprovability threshold for planar graph minor theorem. Annals of Pure and Applied Logic (Print) , v. 162, p. 175-181, 2010.
BOVYKIN, A. ; WEIERMANN, A. . Unprovability, phase transitions and the Riemann zeta-function. New directions in the value-distribution theory of universal zeta and L-functions , v. 1, p. 19-36, 2009.
BOVYKIN, A. . Resplendent models and Sigma_1^1 definability with an oracle. Archive for Mathematical Logic (Print) , v. 47, p. 604-621, 2008.
BOVYKIN, A. . Exact unprovability results for compound well-quasi-ordered combinatorial classes. Annals of Pure and Applied Logic , v. 157, p. 77-84, 2008.
BOVYKIN, A. . Unprovability of sharp versions of Friedman's sine-principle. Proceedings of the American Mathematical Society , v. 135, p. 2967-2973, 2007.
BOVYKIN, A. . Several proofs of PA-unprovability. Contemporary Mathematics - American Mathematical Society (Print) , v. 380, p. 29-43, 2005.
BOVYKIN, A. . On order-types of models of arithmetic and a connection to arithmetical saturation. Lobachevskii Journal of Mathematics , v. 16, p. 3-15, 2004.
BOVYKIN, A. ; KAYE, R. . On order-types of models of arithmetic. Contemporary Mathematics Series of the American Mathematical Society , v. 302, p. 275-285, 2001.
BOVYKIN, A. ; DE SMET, M. . A glimpse at polynomials with quantifiers. Volume dedicated to winners of the Kurt Godel Society Prize. 1ed.London: Mathias Baaz, 2017, v. 4, p. 3237-3260.
BOVYKIN, A. . Unprovable Ramsey-like statements reformulated to talk about primes. In: Solomon Feferman; Wilfried Sieg. (Org.). Proofs, Categories and Computations. Essays in honor of Grigori Mints. 1ed.Londres: College Publications, 2010, v. 1, p. 1-.
BOVYKIN, A. . Brief Introduction to Unprovability. Lecture Notes in Logic. 1ed.Cambridge, Inglaterra: , 2009, v. 32, p. 38-64.
BOVYKIN, A. ; WEIERMANN, A. . of infinitary ramseyan principles can be accessed by their densities. Annals of Pure and Applied Logic (Print) , 2015.

Projetos de pesquisa

2006 - Atual

Lógica, Conjuntos e Topologia, Descrição: O Grupo de Pesquisa em Lógica, Conjuntos e Topologia mantém um seminário regular de pesquisa desde 2006 e desde então seus membros vêm publicando artigos em revistas internacionais com arbitragem (Logic Journal of IGPL, Logic of Journal and Computation, Commentationes Mathematicae Universitatis Carolinae, Acta Mathematica Hungarica, APAL, entre outras). Entre 2010 e 2014 tivemos cinco mestrados concluídos sob a orientação do grupo. Em fevereiro de 2010, o grupo organizou o evento "Semana de Teoria dos Conjuntos e Topologia Geral/Set Theory and General Topology Week", com a presença de diversos pesquisadores do Brasil e do exterior. A segunda edição desse evento ocorreu em fevereiro de 2012, com a presença de ainda mais pesquisadores visitantes e foi realizada em homenagem ao renomado pesquisador canadense Dr. Frank Tall, em ocasião de sua aposentadoria.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Andrey Bovykin - Integrante / Andreas Bernhard Michael Brunner - Integrante / Ciro Russo - Integrante / Peter Malcolm Johnson - Integrante / Samuel Gomes da Silva - Coordenador / Thierry Corrêa Petit Lobão - Integrante.

Prêmios

2008

Kurt Gödel Society Prize and fellowship, Kurt Gödel Society and the John Templeton Foundation.

2006

John Templeton Foundation grant, John Templeton Foundation, parte do programa "Exploring the Infinite".

Histórico profissional

Endereço profissional

Universidade Federal da Bahia, Instituto de Matemática. , Avenida Adhemar de Barros, Ondina, 40170110 - Salvador, BA - Brasil, Telefone: (71) 32836273

Experiência profissional

2011 - 2011

University Of Cambridge

Vínculo: Colaborador, Enquadramento Funcional: Colaborador e pesquisador visitante

Outras informações:
Colaboração em pesquisas com Zachiri McKenzie e Thomas Forster. Ministrei três cursos para alunos de mestrado: "Unusual Proofs" (3 aulas) "Hilbert's Tenth Problem" (2 aulas) "Paris-Harrington Principle" (1 aula).

Atividades

09/2011 - 12/2011
Pesquisa e desenvolvimento, Clare College.,Linhas de pesquisa

2002 - 2004

Steklov Mathematical Institute

Vínculo: , Enquadramento Funcional: Pesquisador Júnior, Regime: Dedicação exclusiva.

Outras informações:
Contratado pela Academia Russa das Ciências como Pesquisador Júnior.

2008 - 2011

University of Bristol

Vínculo: Research Fellow, Enquadramento Funcional: Pesquisador, Regime: Dedicação exclusiva.

Outras informações:
Investigador Principal, com bolsa do programa ?Exploring the Infinite? da Fundação John Templeton. Acolhido como Research Fellow no Departamento de Matemática da Universidade de Bristol.

Atividades

04/2008 - 03/2011
Pesquisa e desenvolvimento, School of Mathematics.,Linhas de pesquisa
04/2008 - 03/2011
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Lógica (3º ano), Teoria dos Conjuntos (3º ano), Universo Construível de Gödel (4º ano e mestrado)

1996 - 2000

University of Birmingham

Vínculo: Celetista, Enquadramento Funcional: Postgraduate (Doutorado) Teaching Assistant, Regime: Dedicação exclusiva.

Outras informações:
Aulas oferecidas como parte da capacitação didática do doutorando.

Atividades

08/1996 - 07/2000
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra Linear, Cálculo, Equações Diferenciais, Introdução à Ciência da Computação, Matemática Discreta, Matemática para engenheiros, Métodos numéricos com MAPLE

2013 - 2013

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Visitante FAPERJ, Regime: Dedicação exclusiva.

Outras informações:
Bolsa FAPERJ

2012 - 2013

Universidade Federal do Rio de Janeiro

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador Visitante CNPq, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2013 - 12/2013
Pesquisa e desenvolvimento, COPPE.,Linhas de pesquisa
03/2012 - 12/2012
Ensino,,Disciplinas ministradas, Curso Experimental: "Introduction to metamathematics"

2013 - Atual

Universidade Federal da Bahia

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto A, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2015
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra Linear, Cálculo A
12/2013
Pesquisa e desenvolvimento, Instituto de Matemática.,Linhas de pesquisa

2004 - 2007

University of Liverpool

Vínculo: , Enquadramento Funcional: Pesquisador Associado, Regime: Dedicação exclusiva.

Atividades

06/2004 - 06/2007
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Matemática para cientistas computacionais

2011 - 2011

Ghent University

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador Visitante, Regime: Dedicação exclusiva.

2002 - 2002

University Of Helsinki

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Júnior de Pós-Doutorado, Regime: Dedicação exclusiva.

2000 - 2000

Institut Mittag-Leffler

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Visitante, Regime: Dedicação exclusiva.

Outras informações:
Pesquisador Visitante durante o Ano da Lógica na Academia Sueca Real das Ciências.

2001 - 2001

Ýstanbul Bilgi Üniversitesi

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Pós-Doutorado Tübitak, Regime: Dedicação exclusiva.

Outras informações:
Bolsista Tübitak (Fundação pela Ciência da Turquia)

Atividades

02/2001 - 12/2001
Pesquisa e desenvolvimento, Tübitak (Conselho Científico e Tecnológico da Turquia).,Linhas de pesquisa
02/2001 - 12/2001
Ensino, Lógica, Nível: Graduação,Disciplinas ministradas, Curso experimental: "Advanced Algebra and Model Theory"