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

Participacions als congrés 6th Barcelona Logic Meeting (BLM00) (5/7/2000 - 8/7/2000)

J. L. Balcázar Títol participació: Combinatorial dimensions, query learning, and the intuition of compactness

John T. Baldwin Títol participació: Constructing `Monster´ models

P. Dellunde Títol participació: Model theory of modules of separably closed fields

Sy David Friedman Títol participació: Aspects of pure set theory

Peter Koepke Títol participació: A simplified fine structure for the constructible universe

J. D. Monk Títol participació: Continuum cardinals generalized to Boolean algebras

Y. Peterzil Títol participació: Expansions of algebraically closed fields in 0-minimal structures

Anand Pillay Títol participació: Definability in compact complex manifolds

Y. Venema Títol participació: Canonicity for Boolean algebras with operators

M. Zakharyaschev Títol participació: On the "classical decision problem" for temporal and modal first-order logics