Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones

Participacions als congrés Joint Conference of the 5th Barcelona Logic Meeting (BLM99) and the 6th Kurt Gödel Colloquium (16/6/1999 - 19/6/1999)

V. Danos Títol participació: Sequent calculus and continuation passing style compilation

L. Dries, van den Títol participació: Making model theory more intrinsic

Matthew Foreman Títol participació: Partition relations for successor cardinals

István Juhász Títol participació: Cardinal sequences of locally scattered spaces

B. Kim Títol participació: Hyperimaginaries and definability

L. Libkin Títol participació: Embedded finite models and constraint databases

A. Macintyre Títol participació: Vapnik-Chervonenkis dimension and measure theory in model theory of fields

H. Ono Títol participació: Algebraic analysis of logics without the contraction rule

Don Leonard Pigozzi Títol participació: The algebraic theory of Gentzen calculi: an abstract algebraic logic approach

J. P. Ressayre Títol participació: Computer science and the fine structure of Borel sets