Seminar
Logic, Topology and Set Theory
The Logic, Topology, and Set Theory seminar at the Instituto de Matemática of the UFBA was initiated in 2006.
Its aim is to facilitate an ideal environment for exchanging ideas among the people involved (researchers but also undergraduate and graduate students). The talks focus on various topics in the general area of Logic and Foundation of Mathematics, more specifically:
- Classical and Non-Classical Logics
- Set Theory
- Model Theory
- Universal Algebra
- Algebraic Logic
- Lattice Theory and Order Theory
- General and Set-theoretic Topology
- Category Theory
- History and philosophy of Mathematics
Some of the talks are recorded and published on our YouTube channel. Click on the title of each talk (where possible) to watch the corresponding video.
Talks
2016
- Uma abordagem abstrata ao teorema de Glivenko
Hugo L. Mariano (Universidade de São Paulo - Brazil)
February 25, 2016
Download the slides
2015
- Relation algebras throughout Galois connections
Leandro Suguitani (Universidade Federal da Bahia, Brazil)
November 4, 2015
Tristan Bice (Universidade Federal da Bahia, Brazil)
June 17, 2015
Download the slides
- Witnessed and quasi-witnessed models in first order fuzzy logic
Marco Cerami (Palacký University of Olomouc, Czech Republic)
May 27, 2015
- Approximate Ramsey properties for finite-dimensional Banach spaces and simplexes
Dana Bartošová (Universidade de São Paulo - Brazil)
May 27, 2015
Download the slides
- Sparse families and their topological applications
Santi Spataro (Universidade de São Paulo - Brazil)
April 29, 2015
- Alguns sujeitos conjuntísticos no aprendizado de máquina
Vladimir Pestov (University of Ottawa - Canada)
April 15, 2015
Download the slides
- Aproximacões de Grupos, Grafos e Sistemas Dinãmicos com Objetos Finitos
Vladimir Pestov (University of Ottawa - Canada)
April 14, 2015
Download the slides
- Naming Infinity - Religious mysticism and mathematical creativity
Jean-Michel Kantor (Institut mathématique de Jussieu - Paris, France)
April 8, 2015
- The Recovering Information Property and the Axiom of Choice
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brazil)
March 25, 2015
2014
- Dialectica Categories, Cardinalities of the Continuum and Combinatorics of Ideals
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brazil)
December 02, 2014
- Capture, Collection, Choice and Domination: Some Librationist Ventures
Frode Bjørdal (Universidade Federal do Rio Grande do Norte - Natal, Brazil)
October 9, 2014
- Sobre o Problema de Souslin
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brazil)
October 2, 2014
- Edwardian Proofs for Futuristic Programs and Personal Assistants
Valeria Correa Vaz de Paiva (Nuance Communications - Cupertino, USA)
September 16, 2014
- The controversy between Gregory and Huygens on the Quadrature of the Circle
Davide Crippa (Université Paris 7, Denis Diderot - Paris, France)
September 4, 2014
- Ω-sets completos
Andreas B. M. Brunner (Universidade Federal da Bahia - Salvador, Brazil)
July 16, 2014
- On ultrahuge cardinals
Kostas Tsaprounis (Universidade Federal da Bahia - Salvador, Brazil)
June 11, 2014
- Caminhos entre as categorias de MV-álgebras, semianéis idempotentes e ul-grupos
Ciro Russo (Universidade Federal da Bahia - Salvador, Brazil)
June 4, 2014
- Main issues in metamathematics II: templates, decidability, language invariance and examples (Harvey Friedman's Concept Calculus)
Andrey Bovykin (Universidade Federal da Bahia - Salvador, Brazil)
May 21, 2014
- Formas categoriais do Axioma da Escolha
Samuel Gomes da Silva (Universidade Federal da Bahia - Salvador, Brazil)
April 30, 2014
- Main issues in metamathematics I: unprovability, conservativity, lengths of proofs, absolute unprovability and three notions of strength (material, consistency and arithmetical strength)
Andrey Bovykin (Universidade Federal da Bahia - Salvador, Brazil)
April 23, 2014
- Pequenos cardinais: quem são, onde eles moram, para que eles servem
Leandro Aurichi (Universidade de São Paulo - São Carlos, Brazil)
April 16, 2014
- Versões seletivas da separabilidade e da condição de cadeia enumerável
Santi Spataro (Universidade de São Paulo - Brazil)
April 16, 2014
- Long Reals
Kostas Tsaprounis (Universidade Federal da Bahia - Salvador, Brazil)
March 26, 2014
- Perspectives in Set Theory. Open problems and opportunities for young mathematicians.
Mirna Džamonja (University of East Anglia - Norwich, UK)
March 13, 2014