Seminari de Lògica de Barcelona
Sessions anteriors/Sesiones anteriores/Previous sessions
- 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.
- 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.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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.
- 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
- 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.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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)
- 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
- 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
- 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
- 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
- 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
- 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)