General Info

The Bogotá Logic Group is mostly an amalgam of people doing Model Theory (abstract, o-minimality, continuous, non-elementary, etc.) and Set Theory (combinatorial set theory, applications to topology, etc.) in Bogotá, Colombia.

Connections to other disciplines - including synthetic philosophy of mathematics, are also explored.

Local members of the Grupo de Lógica de Bogotá are based at Universidad de los Andes, Universidad Nacional and Universidad Sergio Arboleda.