LOGIC AT BOGOTA (Colombia)

Logic at Bogotá

[People][Courses][Talks][Links] Logicians in Bogotá are based at either the Universidad Nacional de Colombia or the Universidad de los Andes.

People

Here is a list of people working in logic at Bogotá (Colombia)

Xavier Caicedo	Abstract model theory, Finite model theory and Logic on sheaves. Universidad de los Andes and Universidad Nacional de Colombia
Rodrigo de Castro	Logic on computation. Universidad Nacional de Colombia
Luis Jaime Corredor	Classification of groups of finite Morley Rank. Universidad de los Andes
Sergio Fajardo	Model theory of stochastic processes. Universidad de los Andes
Adrian Mathias	Set Theory Universidad de los Andes
Carlos Montenegro	Combinatorial Set Theory. Universidad de los Andes
Andrés Villaveces	Classification Theory, Model Theory of Set Theory and Large cardinals. Universidad Nacional de Colombia
Fernando Zalamea	Categorical logic, Non classical logics and Peirce studies. Universidad Nacional de Colombia

[Menu]

Courses and Seminars

Some seminars and courses during II-98:

THE LOGIC SEMINAR
Tuesdays, 4 pm.
8/10-17 Francisco Vargas - Forcing Axioms vs Large Cardinal Axioms.

8/24-31 Andrés Villaveces - Forcing Axioms vs Large Cardinal Axioms.

9/7-14 Franqui Cárdenas - Preserving or Destroying Large Cardinals: the case of Unfoldable Cardinals.

LARGE CARDINALS
Andrés Villaveces. Meets on Wednesdays, from 9 to 11 am
Department of Mathematics (Room 404-210)
Universidad Nacional de Colombia
See more info in Andrés Villaveces's HomePage.

[Menu]

Talks

CONFERENCIAS DE LOS VIERNES Universidad Nacional de Colombia Fridays 11 am. Room 405-312

October 23	Xavier Caicedo will speak on "Games and Logics".
October 30	Adrian Mathias will speak on "Strong Statements in Analysis".
November 20	Andrés Villaveces will speak on "The Mordell-Lang Conjecture".

SEMINARIO UNIANDES Universidad de los Andes (No info avaliable yet)

[Menu]

Links

Here's a short list of links about Logic and Mathematics.

LOGIC Logic around the world The Journal of Symbolic Logic Journal of Logic and Computation (Online Services) Research groups for mathematical logic an theoretical computer science Jean Larson's Who's Who in Set Theory Saharon Shelah Factasia Logic LogicAL: Logic, Philosophy and Artificial Life Resourses Modern Logic Home Page Beginings of set theory Meyer's Proof of the existence of God The Axiom of Choice MATHEMATICS Mathematics in Yahoo! Matematicians throughout the year XXX Mathematical archives Department of Mathematics - Universidad Nacional de Colombia Department of Mathematics - Universidad de los Andes

[People][Courses][Talks][Links]

Questions and Comments Andrés Villaveces - villavec@matematicas.unal.edu.co Javier Arturo Moreno Camargo - javier@calabozo.com