Seminari de Lògica de Barcelona

Sessions anteriors/Sesiones anteriores/Previous sessions

2019

18.09.19
Effrey Bergfalk (Centro de Ciencias Matemáticas. UNAM, Morelia.)
Simultaneously vanishing higher derived limits.
04.09.19
Tomás Ibarlucía (Institut de Mathématiques de Jussieu-Paris Rive Gauche, Université Paris Diderot)
Property (T) for automorphism groups of separably closed categorical structures.
30.05.19
Kameryn Williams (Department of Mathematics, University of Hawai'i at Mānoa)
The computable structure of forcing.
27.02.19
Martin Ziegler (Universität Freiburg)
Quantifier elimination for pure extensions.

2018

15.11.18
Jörg Flum (Universität Freiburg)
Tree-depth and generalized quantifier elimination.
24.10.18
Lajos Soukup (Hungarian Academy of Sciences, Budapest)
Davies trees and its generalizations.
19.06.18
David Fernández Duque (Department of Mathematics of Ghent University )
Baire resolvability on metric spaces.

2017

15.11.17
Phokion Kolaitis (The University of California at Santa Cruz and IBM Research - Almaden )
Schema mappings: structural properties and limits
01.03.17
Antonio Montalbán (The University of California at Berkeley)
Vaught's Conjecture in computability theory

2016

28.10.16
Tapani Hyttinen (University of Helsinki)
On model theory of quantum mechanics
29.06.16
Wiesław Kubiś (Institute of Mathematics of the Czech Academy of Sciences)
Generic objects.
06.04.16
Filippo Calderoni
Invariant universal analytic quasi orders.
09.03.16
Kostas Tsaprounis
On ultrahuge and C(n)-extendible cardinals.
26.01.16
Lajos Soukup (Hungarian Academy of Sciences)
Pinning down versus density
13.01.16
Carlos Di Prisco (Universidad de los Andes, Bogotá)
Selective coideals and genericity

2015

28.05.15
Yaroslav Sergeyev (Università della Calabria)
Numerical computations with infinities and infinitesimals
06.05.15
Jörg Flum (Universität Freiburg)
Grafos aleatorios y cliques
29.04.15 Joint Session with the ALBCOM Seminar
Sam Buss (University of California, San Diego)
Complexity of propositional proofs: some theory and examples
21.01.15
Samuel G. da Silva (Universidade Federal da Bahia, Brasil)
On the extent of separable, locally compact, selectively (a)-spaces
14.01.15
Samuel G. da Silva (Universidade Federal da Bahia, Brasil)
(a)-spaces and selectively (a)-spaces from almost disjoint families

2014

17.12.14
Carlos Ortiz (Arcadia University)
Methods of class field theory for separating extensions of first order logic over finite residue classes
03.12.14
Domenico Zambella (Università di Torino)
Subsets of the monster model
05.11.14
Luis Jaime Corredor (Universidad de los Andes en Bogotá)
Simple groups of finite Morley rank
23.03.14
Charles Steinhorn (Vassar College)
On model theory for classes of finite structures

2013

23.10.13
Jouko Väänänen (University of Helsinki and University of Amsterdam)
The many lives of generalized quantifiers
18.05.13
David Fernández Duque (Universidad de Sevilla)
Provability algebras and big ordinals
10.04.13
Martin Ziegler (Universität Freiburg)
A new axiomatization of the free N-pseudospace
10.04.13
Peter Kollner (Harvard University)
On Gödel disjunction

2011

20.05.11
David Fernández Duque (Universidad de Sevilla)
Modal logic and topological dynamics
20.05.11
Jouko Väänänen (University of Helsinki and Universiteit van Amsterdam)
Second order logic and set theory

2010

15.12.10
Joost Joosten (Universitat de Barcelona)
Provability logic with transfinitely many modalities in the foundations of mathematics
21.04.10
Stevo Todorcevic (CNRS, Paris 7)
Gaps and multigaps in P(ω)/Fin and its applications
17.03.10
Jörg Flum (Universität Freiburg)
On optimal proof systems and logics for P-time
10.02.10
Eric Jaligot (Université Lyon 1)
Commutators in groups definable in o-minimal structures

2009

15.04.09
Janak Ramakrishnan (Université Lyon 1)
Continuous functions and curves in o-minimal theories
21.01.09
Ronald Bustamante (Universidad de Costa Rica)
Teoría de modelos de los campos diferenciales de diferencia

2008

03.12.08
Hubie Chen (Universitat Pompeu Fabra)
Entailment in positive-conjunctive first-order logic is decidable
12.11.08
Hans Adler (University of Leeds)
The role of matroids in model theory
29.10.08
Juan Carlos Martínez (Universitat de Barcelona)
Espacios D
22.10.08
Jörg Flum (Universität Freiburg)
Sobre el predicado de demostrabilidad de Gödel
18.06.08
Juan Diego Caycedo (University of Oxford)
Green points in the complex numbers
28.05.08
Lajos Soukup (Hungarian Academy of Sciences)
Rainbow Ramsey theorems
30.04.08
Kathryn Vozoris (Università di Camerino)
The complex field with a predicate
18.04.08
Andreas Baudisch (Humboldt Universität zu Berlin)
The additive collapse
04.04.08
Martin Ziegler (Universität Freiburg)
An equational theory
04.04.08
Katrin Tent (Universität Bielefeld)
Simplicity of certain automorphism groups
03.04.08
Xavier Caicedo (Universidad de los Andes, Bogotá)
Uniformizable logics
26.03.08
Jip Veldman (Universität Bonn)
Variations on the Löwenheim-Skolem theorem and the negation of AC

2007

19.12.07
Simone Bova (Università di Siena)
The algebraic characterization of Hájek. basic logic.
21.11.07
Andrés Villaveces (Universidad Nacional de Colombia, Bogotá)
Expansiones con predicados en lógica continua.
24.10.07
Panteleimon Eleftheriou (Universidad de Barcelona)
Groups definable in linear o-minimal structures.
13.06.07
Alexander Berenstein (Universidad Nacional de Colombia, Bogotá)
Pares bellos de estructuras o-minimales.
23.05.07
Ivo Herzog (Ohio State University and CRM)
Introduction to the Model Theory of Modules.
02.05.07
Thomas Johnstone (The City University of New York)
Indestructible cardinals and forcing axioms.
26.04.07
Martin Koerwien (Université Paris 7)
Complexity of isomorphism for countable models of omega-stable theories.
28.03.07
Matt Foreman (University of California at Irvine)
Generic elementary embeddings.
27.03.07
Özlem Beyarslan (Université Paris 7)
Pseudofinite fields and random hypergraphs.

2006

27.09.06
Joerg Brendle (Kobe University)
Mad families.
20.09.06
John T. Baldwin (University of Illinois at Chicago)
Abstract elementary classes.
13.09.06
Anuj Dawar (University of Cambridge)
Finite model theory of well-behaved finite structures.
21.06.06
Martin D. Davis (New York University)
The myth of hypercomputation.
07.06.06
Dugald Macpherson (University of Leeds)
Asymptotics of definable sets in finite structures.
19.05.06
André Nies (University of Auckland (New Zealand))
Automata presentable Boolean algebras.
10.05.06
Hans Adler (Albert-Ludwigs-Universität Freiburg)
Forking and thorn-forking.
13.03.06
Piotr Koszmider (Universidade de São Paulo)
Boolean algebras and projections in Banach spaces c(K). Set-theoretic aspects.
15.02.06
Lajos Soukup (Hungarian Academy of Sciences, Budapest)
Homogeneous structures

2005

21.12.05
Jip Veldman (Universität Bonn)
Chang's conjecture and related principles
14.12.05
Michael Hrusak (Universidad Nacional Autónoma de México)
Countable dense homogeneity
30.11.05
Adrian Mathias (Université de la Reunion)
Weaks systems of Gandy, Jensen, and Devlin
26.10.05
Juan Francisco Pons (Universitat de Barcelona, Université Lyon I)
Pseudolinealidad: del contexto estable al simple
01.06.05
Silvia Barbina (Università di Torino)
Reconstruction of omega-categorical structures from their automorphism group
27.04.05
Paolo Mancosu (University of California at Berkeley)
Carnap, Tarski and Quine on a nominalistic foundation of mathematics and science
20.04.05
Joris Potier (Université Paris 7)
Y a t-il des mauvais corps corps en caractéristique p ?
02.03.05
Alf Onshuus (Universidad de los Andes, Bogotá)
Teoría de modelos de los números p-ádicos
14.01.05
Javier Moreno (University of Illinois at Urbana-Champaign)
Hacia una teoría de Galois diferencial en característica p>0.

2004

13.10.04
Amador Martín Pizarro (Humboldt Universität zu Berlin)
Cuerpos supersimples
06.10.04
Markus Junker (Albert-Ludwigs-Universität Freiburg)
Zilber's program: model theory and classical mathematics
06.06.04
Andrés Villaveces (Universidad Nacional de Colombia, Bogotá)
Limitaciones a categoricidad ascendente en clases no elementales
14.04.04
Mathew Foreman (University of California, Irvine)
Has the continuum hypothesis been solved?
17.03.04
Jip Veldman (Universität Bonn)
The interactive theorem prover COQ
11.02.04
Argimiro Arratia (Universidad de Valladolid)
Sobre las dificultades para resolver el problema 1 del nuevo milenio: � es P igual a NP o no ?
09.01.04
Jörg Flum (Universität Freiburg)
Entre P y NP

2003

19.12.03
Marta García Matos (University of Helsinki)
Teoremas de caracterización en teoría de modelos
26.11.03
Kai Hauser (Technischen Universität Wien)
What new axioms could not be
01.10.03
Enrique Casanovas (Universitat de Barcelona)
Operadores lógicos e invariancia
28.05.03
Jimena Llopis (Universitat Pompeu Fabra)
Particiones Suslin de productos de conjuntos finitos
23.04.03
Ignasi Jané (Universitat de Barcelona)
La concepció iterativa a partir de principis cantorians
19.03.03
Rafel Farré (Universitat Politècnica de Catalunya)
Sobre eliminació d'imaginaris
05.03.03
Charles Morgan (University College London - CRM)
Steps up and stretches
19.02.03
Roberto Cignoli (Universidad de Buenos Aires)
Extensión de la dualidad de Stone para multiconjuntos y MV-álgebras
12.02.03
Piotr Koszmider (Universidade de São Paulo)
Logical aspects of the theory of Banach spaces of continuous functions
22.01.03
Ignasi Jané (Universitat de Barcelona)
Extensions fregeanes i teoria de conjunts

2002

18.12.02
Joan Bagaria (ICREA - Universitat de Barcelona)
Axioms of generic absoluteness
20.11.02
Rodrigo Peláez (Universitat de Barcelona)
Clasificación elemental de los grupos abelianos
30.10.02
Félix Bou (Universitat de Barcelona)
Definibilidad en el lenguaje intuicionista
16.10.02
Enrique Casanovas (Universitat de Barcelona)
La derivada de Newelski
19.06.02
Alf Onshuus (University of California at Berkeley)
Propiedades y consecuencias de thorn-forking
29.05.02
Matthias Baaz (Technische Universität Wien)
A survey of Gödel logics
28.05.02
Richard Zach (University of Calgary)
Logic and metalogic in Hilbert's school
22.05.02
Nicholas Asher (University of Texas at Austin)
Dynamic semantics and discourse interpretation
15.05.02
David Asperó (Universität Wien)
Bounded Martin's maximum, the dominating number and the size of the continuum
08.05.02
Albert Atserias (Universitat Politècnica de Catalunya)
Unsatisfiable random formulas are hard to certify
11.04.02
Peter Koepke (Universität Bonn)
The consistency of a mutual stationarity property
04.04.02
Enrique Casanovas (Universitat de Barcelona)
Observaciones sobre secuencias indiscernibles
19.03.02
Jörg Flum (Universität Freiburg)
Decidir y contar
13.03.02
Pascal O'Gorman (The National University of Ireland, Galway)
Mathematics, logic and infinity: Poincare and Wittgenstein
06.03.02
Xavier Caicedo (Universidad de los Andes, Bogotá)
Cuantificadores y juegos de información imperfecta
27.02.02
Xavier Caicedo (Universidad de los Andes, Bogotá)
Conectivos implícitos del cálculo intuicionista
20.02.02
David Asperó (Universität Wien)
More on a convenient property for $[\gamma]^{\aleph_0}$
13.02.02
Enrique Casanovas (Universitat de Barcelona)
División y condiciones de cadena
30.01.02, 06.02.02
Enrique Casanovas (Universitat de Barcelona)
Las raíces libres del grafo completo
16.01.02
Roberto Nieuwenhuis (Universidad Politècnica de Catalunya)
Lógica en informática en el LSI-UPC
09.01.02
Roger Bosch (Universidad de Oviedo)
Absolutesa genèrica per al forcing projectiu

2001

19.12.01
Joan Bagaria (ICREA - Universitat de Barcelona)
Models de Solovay
05.12.01
Juan Carlos Martínez (Universitat de Barcelona)
Secuencias libres en espacios de Stone
21.11.01
Yde Venema (Universiteit van Amsterdam)
Atomic Boolean algebras with operators
14.11.01
Yde Venema (Universiteit van Amsterdam)
Game logics and game algebras
17.10.01
Félix Bou (Universitat de Barcelona)
Strict implication and subintuitionistic logics
26.09.01
José Alfredo Amor Montaño (Universidad Nacional Autónoma de México)
Relaciones metalógicas entre compacidad y completud
20.06.01
Guram Bezhanishvili (New Mexico State University)
Topological perspective on modal logic
11.05.01
Françoise Point (Université de Mons-Hainaut)
Sur les groupes coset-minimaux
10.05.01
Thomas Jech (Univerzita Karlova, Praga)
Infinite games on Boolean algebras
21.03.01
José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca)
Cuerpos de Galois y Álgebras de Post cíclicas
26.02.01
Jörg Flum (Universität Freiburg)
Grafos y Lógica
21.02.01
Peter Koepke (Universität Bonn)
A new hierarchy for the constructible universe
14.02.01
Albert Atserias (Universitat Politècnica de Catalunya)
Inexpressivitat de circuits de profunditat constant
07.02.01
Josep Maria Font (Universitat de Barcelona)
Sistemas de Gentzen plenamente adecuados y el teorema de la deducción
31.01.01
Enrique Casanovas (Universitat de Barcelona)
Teorías localmente supersimples
17.01.01
Enrique Casanovas (Universitat de Barcelona)
Subclases de teorías simples

2000

13.12.00
Juan Carlos Martínez (Universitat de Barcelona)
Densidad y altura en espacios Booleanos
04.12.00
Grzegorz Malinowski (University of Lodtz)
Inferential and referential many-valuedness
29.11.00
Albert Atserias (Universitat Politècnica de Catalunya)
Inductive definitions in finite set theory
21.11.00
Geoffrey Hellman (University of Minnesota)
Maximality vs. extendability: on Zermelo's 1930
20.11.00
Geoffrey Hellman (University of Minnesota)
Three varieties of mathematical structuralism
15.11.00
Ramon Jansana (Universitat de Barcelona)
Lògiques subintuicionistes
25.10.00
Alessandra Palmigiano (Universitat de Barcelona)
Connections between Gentzen systems and normal deduction systems in the classical case
18.10.00
Joan Bagaria (Universitat de Barcelona)
Descriptive set theory and the strength of generic absoluteness
14.06.00
Gabriel Uzquiano (Rochester University)
A no-class theory of classes
07.06.00
Paolo Mancosu (University of California, Berkeley)
The Russellian influence on Hilbert's Program
31.05.00
Paolo Mancosu (University of California, Berkeley)
Mathematical explanation
24.05.00
David Asperó (Universitat de Barcelona)
Coding real numbers by ordinals
17.05.00
David Asperó (Universitat de Barcelona)
Generic elementary embeddings
03.05.00
Stevo Todorcevic (CNRS, Paris)
Coherent sequences
12.04.00
Markus Junker (Universität Freiburg)
Strong types
05.04.00
Susanna Balfegó (Humboldt Universität Berlin)
La teoría de los p-grupos libres y nilpotentes de exponente finito
29.03.00
Saverio Trioni (Università di Pisa)
Números surreales: un modelo saturado de RCF
14.03.00
Pilar Dellunde (Universitat Autònoma de Barcelona)
Cossos separablement tancats considerats com a mòduls
10.03.00
Pilar Dellunde (Universitat Autònoma de Barcelona)
Teoria de models de cossos separablement tancats
16.02.00
Enrique Casanovas (Universitat de Barcelona)
Un nuevo ejemplo de teoría no G-compacta
09.02.00
Juan Carlos Martínez (Universitat de Barcelona)
Cadenas en álgebras de Boole
26.01.00
David Asperó (Universitat de Barcelona)
The bounded Martin's maximum and the size of the continuum
12.01.00
Enrique Casanovas (Universitat de Barcelona)
G-compacidad

1999

22.12.99
Enrique Casanovas (Universitat de Barcelona)
El grupo de Lascar
24.11.99, 01.12.99
Rafel Farré (Universitat Politècnica de Catalunya)
Teoria de Galois, Teoria de Galois imaginària
17.11.99
Jordi López (Universitat Autònoma de Barcelona)
Teorema de Hindman y conjuntos de Ramsey en c_0
10.11.99, 03.11.99
Enrique Casanovas (Universitat de Barcelona)
Hiperimaginarios (I,II)
20.10.99
David Asperó (Universitat de Barcelona)
A maximal bounded forcing axiom
13.10.99
Joan Bagaria (Universitat de Barcelona)
Reflection in set theory
29.09.99
Jörg Flum (Universität Freiburg)
Descomposiciones arbóreas y lógica
26.05.99
Ramon Jansana (Universitat de Barcelona)
Priestley duality for positive modal algebras
19.05.99
Joan Bagaria (Universitat de Barcelona)
On the consistency of ''Every set is weakly-Ramsey''
05.05.99
Jordi López Abad (Universitat Autònoma de Barcelona)
Determinacy and weakly-Ramsey sets in Banach spaces
21.04.99, 28.04.99
Jordi López Abad (Universitat Autònoma de Barcelona)
Weakly-Ramsey sets in Banach spaces
14.04.99
Juan Carlos Martínez (Universitat de Barcelona)
Cuestiones de consistencia sobre espacios inicialmente compactos
07.04.99
W. Hugh Woodin (University of California, Berkeley)
Omega-logic and the continuum hypothesis
17.03.99
Josep Maria Font (Universitat de Barcelona)
Sobre una lògica modal a quatre valors amb interpretació epistèmica
03.03.99
Ramon Jansana (Universitat de Barcelona)
Bisimulacions: lògica modal i lògica de primer ordre
17.02.99
Ignasi Jané (Universitat de Barcelona)
Origen i ús dels ordinals en Cantor

1998

16.12.98
David Asperó (Universitat de Barcelona)
Stationary reflection
09.12.98, 25.11.98
Rafel Farré (Universitat Politècnica de Catalunya)
Existentially closed embeddings of ordered abelian groups
11.11.98
Ramon Jansana (Universitat de Barcelona)
The strong version of a protoalgebraic logic
04.11.98
Juan Carlos Martínez (Universitat de Barcelona)
Sobre el teorema de Baumgartner-Shelah para álgebras de Boole
28.10.98
David Asperó (Universitat de Barcelona)
The bounded Martin's axiom
21.10.98
Joan Bagaria (Universitat de Barcelona)
Bounded forcing axioms and the cardinality of the continuum
27.05.98
Lorenz Halbeisen (Centre de Recerca Matemàtica)
Cardinal arithmetic in the absence of the Axiom of Choice
13.05.98
Enrique Casanovas (Universitat de Barcelona)
El orden fundamental de las teorías simples
06.05.98
Enrique Casanovas (Universitat de Barcelona)
Herederos y coherederos en teorías simples
22.04.98
Jimena Llopis (Universidad Simón Bolívar, Caracas)
Particiones Borelianas de los números reales
25.03.98
Ignasi Jané (Universitat de Barcelona)
Sobre la paradoxa de Skolem
18.03.98
José Luis Balcázar (Universitat Politècnica de Catalunya)
Refining logical characterizations of advice complexity classes
11.03.98
Francesc Esteva (IIIA, CSIC, Bellaterra)
Sistemes lògics basats en similaritats
18.02.98
David Asperó (Universitat de Barcelona)
The bounded proper forcing axiom and the open coloring axiom
11.02.98
Carlos Di Prisco (Instituto Venezolano de Investigaciones Científicas)
Particiones de los reales y ultrafiltros
21.01.98
Enrique Casanovas (Universitat de Barcelona)
Stable theories with a new predicate
14.01.98
José Miguel Sagüillo (Universidad de Santiago de Compostela)
Universo del discurso y propiedades omega

1997

03.12.97
Jordi López (Universitat Autònoma de Barcelona)
Una generalización del teorema de Mittag-Leffler mediante forcing
19.11.97
Lorenz Halbeisen (Centre de Recerca Matemàtica)
Ramsey properties of reals and partitions
13.11.97
Jörg Flum (Universität Freiburg)
Homogeneidad y saturación pseudofinitas
06.11.97
Juan Carlos Martínez (Universitat de Barcelona)
Árboles de intervalos para ordinales
30.10.97
Enrique Casanovas (Universitat de Barcelona)
Nuevos ejemplos de teorías simples
23.10.97
Enrique Casanovas (Universitat de Barcelona)
Familias de tipos en teorías simples
16.10.97
Jimena Llopis (Universidad Simón Bolívar)
Resultados de particiones en productos infinitos
25.09.97
Ingo Kraus (Universität Freiburg)
On theories with a generic automorphism and A.C.F.A.
12.03.97, 19.03.97
Rafel Farré (Universitat Politècnica de Catalunya)
Sobre el lemma de Rasiowa-Sikorski I y II.
28.02.97
Markus Junker (Universität Freiburg)
On aleph-one-categorical theories
21.02.97
Pilar Dellunde (Universitat Autònoma de Barcelona)
La noció d'independència a les teories simples
05.02.97
Ludomir Newelski (Wroclaw university)
On the M-gap conjecture
17.01.97
Gladys Palau (Universidad de Buenos Aires)
El criterio de divergencia en lógica
10.01.97
Ramon Jansana (Universitat de Barcelona)
Models plens (II)

1996

22.12.96
Josep Maria Font (Universitat de Barcelona)
Semàntica de matrius: panorama històric
15.11.96
Juan Carlos Martínez (Universitat de Barcelona)
Secuencias de cardinales para espacios dispersos
25.10.96
Enrique Casanovas (Universitat de Barcelona)
Homogeneity over a proper class in a stable structure
18.10.96
Joan Bagaria (Universitat de Barcelona)
Locally-generic scattered spaces
20.09.96
Jindrich Zapletal (California Institute of Technology)
Classification of definable forcings in aleph-1
??.09.96
Martin Ziegler (Universität Freiburg)
The model theory of algebraically closed fields with an automorphism
18.09.96
Jörg Flum (Universität Freiburg)
Los teoremas (CD)²FJM
05.06.96
Martin Erkens (Universität Freiburg)
Vaught's conjecture for one-dimensional weakly minimal theories and more
29.05.96
Jordi López (Universitat Autònoma de Barcelona)
La función rho
22.05.96
Enrique Casanovas (Universitat de Barcelona)
Automorfismos de modelos numerables recursivamente saturados de teorías estables
15.05.96
Enrique Casanovas (Universitat de Barcelona)
On Kuekers's conjecture
08.05.96
Adrian Mathias (Centre de Recerca Matemàtica)
Models of Zermelo's set theory
24.04.96
Stevo Todorcevic (University of Toronto)
Compact sets of Baire class-1 functions
10.04.96
Jimena Llopis (Universidad Simón Bolívar, Caracas)
Polarized partitions relations
13.03.96
Kai Hauser (Humboldt Universität, Berlin)
Pi(1,3)-singletons and core model theory
06.03.96
Kai Hauser (Humboldt Universität, Berlin)
???
28.02.96
Joan Bagaria (Universitat Pompeu Fabra)
Determinacy and projective absoluteness
21.02.96
Joan Bagaria (Universitat Pompeu Fabra)
The absoluteness conjecture
14.02.96
Juan Carlos Martínez (Universitat de Barcelona)
Un análogo de forcing del teorema de Juhász-Weiss
07.02.96
Juan Carlos Martínez (Universitat de Barcelona)
El teorema de Juhász-Weiss para espacios dispersos
24.01.96
Adrian Mathias (Centre de Recerca Matemàtica)
Cardinals fortament compactes

1995

13.12.95
Don Pigozzi (Centre de Recerca Matemàtica)
Interpolation and amalgamation properties in abstract algebraic logic
29.11.95
Thomas Jech (Pennsylvania State University)
Cyclic left distributive algebras and large cardinals
15.11.95, 22.11.95
Zwigniew Hajto (Centre de Recerca Matemàtica)
Subfaffian sets
08.11.95
Adrian Mathias (Centre de Recerca Matemà:tica)
Conjunts inevitables
15.03.95
Juan Carlos Martínez (Universitat de Barcelona)
Secuencias de cardinales para álgebras de Boole superatómicas ??
01.02.95, 08.02.95
Rafel Farré (Universitat Politècnica de Catalunya)
La teoria de models dels grups abelians ordenats
25.01.95
Joan Bagaria (Universitat Autò:noma de Barcelona)
What is Martin's axiom ?
11.01.95, 18.01.95
Enrique Casanovas (Universitat de Barcelona)
Expandable models

1994

21.12.94
Sy Friedman (Massachusetts Institute of Technology)
Coding the universe
07.12.94
Adrian Mathias (Centre de Recerca Matemàtica)
Subsystems of Zermelo's set theory
23.11.94
Pilar Dellunde (Universitat Autònoma de Barcelona)
Mètodes de back and forth per a la lògica sense identitat
16.11.94
Roger Bosch (Universitat de Barcelona)
La potència de l'axioma de Martin per a ordres parcials projectius
09.11.94
Roger Bosch (Universitat de Barcelona)
L'axioma de Martin per ordres parcials projectius
02.11.94
Roger Bosch (Universitat de Barcelona)
Projective forcing
28.10.94
Johan van Benthem (University of Amsterdam)
Modal foundations of predicate logic
05.10.94, 19.10.94
Enrique Casanovas (Universitat de Barcelona)
La caracterización algebraica de Shelah de la equivalencia elemental para la lógica sin identidad
30.06.94, 06.07.94
Rafel Farré (Universitat Politècnica de Catalunya)
Omissió de tipus en teories incompletes
15.06.94
Robert Solovay (Universitat of California at Berkeley)
Measures on the set of subspaces of a non-separable Hilbert space
08.06.94
Pilar Dellunde (Universitat Autònoma de Barcelona)
Models B-valorats i teoremes de preservació per a lògica sense identitat
01.06.94
George Boolos (Massachusetts Institute of Technology)
Realism in set theory
18.05.94
Ramon Jansana (Universitat de Barcelona)
Lògica de la demostrabilitat
21.04.94, 28.04.94, 05.05.94, 12.05.94
Raimon Elgueta (Universitat Politècnica de Catalunya)
Teoria algebraica de models per a llenguatges sense identitat
06.04.94, 13.04.94
Pilar Dellunde (Universitat Autònoma de Barcelona)
Models B-valorats i lògica sense identitat
23.03.94
Joan Bagaria (Universitat Autònoma de Barcelona)
Compact L-spaces and random reals
09.03.94, 16.03.94
Antonia Huertas (Universitat Autònoma de Barcelona)
Lógica modal de primer orden y lógica trivalorada
02.03.94
Jesús Mosterín (CSIC)
Gödelizaciones generalizadas
02.02.94, 09.02.94
Juan Carlos Martínez (Universitat de Barcelona)
El método de resolución de Robinson
12.01.94, 19.01.94
Enrique Casanovas (Universitat de Barcelona)
Omisión de tipos

1993

22.12.93
Enrique Casanovas (Universitat de Barcelona)
Omisión de tipos
17.11.93, 24.11.93
Joan Bagaria (Universitat Autònoma de Barcelona)
Forcing with measure algebras
03.11.93, 10.11.93
Adrian Mathias (Centre de Recerca Matemàtica )
On the axiom of determinacy (II,III)
27.10.93
Christian Michaux
? ??
20.10.93
Adrian Mathias (Centre de Recerca Matemàtica )
On the axiom of determinacy (I)
19.05.93, 02.06.93
Roger Bosch (Universitat de Barcelona )
Una construcció de forcing per a àlgebres de Boole superatòmiques
28.04.93, 05.05.93
Ramon Jansana (Universitat de Barcelona )
???
31.04.93
Martin Ziegler (Universität Freiburg)
Finite covers
21.04.93
Enrique Casanovas (Universitat de Barcelona )
El Teorema del Gap 2
17.03.93, 24.03.93
Joan Bagaria (Universitat Autònoma de Barcelona )
???
03.03.93, 10.03.93 ??
Juan Carlos Martínez (Universitat de Barcelona )
Secuencias de cardinales para espacios dispersos
24.02.93
Pilar Dellunde (Universitat autònoma de Barcelona )
Sentències de Horn
17.02.93
Jörg Flum (Universität Freiburg )
???
03.02.93
Enrique Casanovas (Universitat de Barcelona )
???
27.01.93
Françoise Delon (Paris 7)
Model-completeness of the real exponential field
13.01.93
Rafel Farré (Universitat Politècnica de Catalunya )
Cossos quasi real tancats

1992

02.12.92, 16.12.92
Enrique Casanovas (Universitat de Barcelona )
Modelos expandibles
04.11.92, 11.11.92, 18.11.92, 25.11.92
Enrique Casanovas (Universitat de Barcelona )
Modelos universales
14.10.92, 21.10.92, 28.10.92
Joan Bagaria (Universitat Autònoma de Barcelona )
Axiomes de forcing
30.09.92
Enrique Casanovas (Universitat de Barcelona )
Modelos universales
29.04.92, 13.05.92, 27.03.92
Rafel Farré (Universitat Politècnica de Catalunya )
Cossos valorats
29.01.92, 19.02.92, 04.03.92, 10.03.92
Enrique Casanovas (Universitat de Barcelona )
Modelos compactos
08.01.92, 15.01.91
Juan Carlos Martínez (Universitat de Barcelona )
Álgebras de Boole superatómicas

1991

11.12.91, 18.12.91
Juan Carlos Martínez (Universitat de Barcelona )
Introducción al forcing
20.11.91
Jörg Flum (Universität Freiburg )
Fragmentos de la lógica de primer orden (L_n)
13.11.91
Enrique Casanovas (Universitat de Barcelona )
El teorema de omisión de tipos
25.09.91, 02.10.91, 09.10.91, 16.10.91, 23.10.91, 30.10.91, 6.11.91
Pilar Dellunde (Universitat Autònoma de Barcelona )
La lògica L(aa)