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

Activitats i publicacions del grup de recerca Lògica

Curs d´introducció a la lògica matemàtica i a la teoria de models, I ( 14/3/1990) - Jörg Flum

Curs d´introducció a la lògica matemàtica i a la teoria de models, II ( 16/3/1990) - Jörg Flum

Curs d´introducció a la lògica matemàtica i a la teoria de models, III ( 19/3/1990) - Jörg Flum

Curs d´introducció a la lògica matemàtica i a la teoria de models, IV ( 21/3/1990) - Jörg Flum

Teoría de la estabilidad ( 22/3/1990) - Jörg Flum

Curs d´introducció a la lògica matemàtica i a la teoria de models, V ( 23/3/1990) - Jörg Flum

Curs d´introducció a la lògica matemàtica i a la teoria de models, VI ( 26/3/1990) - Jörg Flum

Curs d´introducció a la lògica matemàtica i a la teoria de models, VII ( 26/3/1990) - Jörg Flum

Retículos distributivos asociados a las MV-álgebras ( 5/3/1992) - Roberto Leonardo Oscar Cignoli

Una demostración algebraica de la completitud de los axiomas de Lukasiewicz ( 1/2/1993) - Roberto Leonardo Oscar Cignoli

Teoría de modelos finitos ( 17/2/1993) - Jörg Flum

0-1 leyes en teoría de modelos finitos ( 14/4/1993) - Jörg Flum

The Axiom of Determinacy ( 20/10/1993) - Adrian Richard David Mathias

Woodin cardinals and forcibly complemented trees ( 10/11/1993) - Adrian Richard David Mathias

Bounded sets in topological vector spaces ( 27/1/1994) - Stevo Todorcevic Dins el Meeting on Mathematical Logic, 27 a 29 gener 1994. No en consta la data exacta

?½-determinacy ( 27/1/1994) - Adrian Richard David Mathias Dins el Meeting on Mathematical Logic, 27 a 29 gener 1994. No en consta la data exacta

Principle of open coloring and homology theory ( 4/2/1994) - Stevo Todorcevic

Measures on the set of subspaces of a non-separable Hilbert space ( 17/6/1994) - Robert Solovay

The aims of set theory ( 5/7/1994) - Adrian Richard David Mathias

The uses of set theory ( 8/7/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, I ( 10/10/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, II ( 17/10/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, I ( 21/10/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, III ( 24/10/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, II ( 28/10/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, IV ( 31/10/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, III ( 4/11/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, V ( 7/11/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, VI ( 11/11/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, VI ( 14/11/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, V ( 18/11/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, VII ( 21/11/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, VI ( 25/11/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, VIII ( 28/11/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, VII ( 2/12/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, IX ( 5/12/1994) - Adrian Richard David Mathias

Subsystems of Zermelo set theory, I ( 7/12/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, X ( 12/12/1994) - Adrian Richard David Mathias

Subsystems of Zermelo set theory, II ( 14/12/1994) - Adrian Richard David Mathias

Iteration trees and ?¹2 determinacy, VIII ( 16/12/1994) - Adrian Richard David Mathias

Admissibility, forcing and constructibility, XI ( 19/12/1994) - Adrian Richard David Mathias

An application of descriptive set theory in dynamics ( 1/4/1995) - Adrian Richard David Mathias No en consta la data exacta

Aplicació de la teoria descriptiva de conjunts a un problema de dinàmica ( 1/5/1995) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, II ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

First results of a theory of abstract implication, I ( 1/11/1995) - Don Leonard Pigozzi No en consta la data exacta

Cyclic left distributive algebras and large cardinals ( 1/11/1995) - Thomas Jech No en consta la data exacta

First results of a theory of abstract implication, II ( 1/11/1995) - Don Leonard Pigozzi No en consta la data exacta

Iteration trees, III ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, IV ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, V ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, VI ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, VII ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, VIII ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, I ( 1/11/1995) - Adrian Richard David Mathias No en consta la data exacta

Cardinals fortament compactes ( 1/1/1996) - Adrian Richard David Mathias No en consta la data exacta

Iteration trees, IX ( 1/2/1996) - Adrian Richard David Mathias No en consta la data exacta

?¹3-sigletons and core model theory ( 1/3/1996) - Kai Hauser No en consta la data exacta

Compact sets of Baire class-1 functions ( 1/4/1996) - Stevo Todorcevic No en consta la data exacta

A classification of definable forcing on 1? ( 16/9/1996) - Jindrich Zapletal No en consta la data exacta

Model Theory of Differential Fields, VI ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Second order algebrizable logics, IV ( 1/4/1997) - Don Leonard Pigozzi No en consta la data exacta

Model Theory of Differential Fields, II ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Model Theory of Differential Fields, III ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Model Theory of Differential Fields, V ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Model Theory of Differential Fields, IV ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Model Theory of Differential Fields, VII ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Model Theory of Differential Fields, VIII ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Model Theory of Differential Fields, IX ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Model Theory of Differential Fields, X ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Second order algebrizable logics, I ( 1/4/1997) - Don Leonard Pigozzi No en consta la data exacta

Second order algebrizable logics, II ( 1/4/1997) - Don Leonard Pigozzi No en consta la data exacta

Second order algebrizable logics, III ( 1/4/1997) - Don Leonard Pigozzi No en consta la data exacta

Model Theory of Differential Fields, I ( 1/4/1997) - Martin Karl Paul Ziegler No en consta la data exacta

Generic models for sheaves of structures, II ( 2/4/1997) - Xavier Caicedo Ferrer No en consta la data exacta

Generic models for sheaves of structures, I ( 2/4/1997) - Xavier Caicedo Ferrer No en consta la data exacta

Modelos con automorfismos en lógica abstracta ( 2/4/1997) - Xavier Caicedo Ferrer No en consta la data exacta

Vaught´s conjecture and stability ( 20/4/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Separably closed fields, I ( 1/5/1997) - F. Delon No en consta la data exacta

Vaught´s conjecture for ?-stable theories, I ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Separably closed fields, VII ( 1/5/1997) - F. Delon No en consta la data exacta

Separably closed fields, IX ( 1/5/1997) - F. Delon No en consta la data exacta

Separably closed fields, VI ( 1/5/1997) - F. Delon No en consta la data exacta

Separably closed fields, V ( 1/5/1997) - F. Delon No en consta la data exacta

Separably closed fields, IV ( 1/5/1997) - F. Delon No en consta la data exacta

Separably closed fields, III ( 1/5/1997) - F. Delon No en consta la data exacta

Separably closed fields, II ( 1/5/1997) - F. Delon No en consta la data exacta

Separably closed fields, VIII ( 1/5/1997) - F. Delon No en consta la data exacta

The variety of M(any) V(alued) algebras ( 1/5/1997) - Roberto Leonardo Oscar Cignoli No en consta la data exacta

Vaught´s conjecture for ?-stable theories, IX ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Vaught´s conjecture for ?-stable theories, VIII ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Vaught´s conjecture for ?-stable theories, VII ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Vaught´s conjecture for ?-stable theories, VI ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Vaught´s conjecture for ?-stable theories, V ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Vaught´s conjecture for ?-stable theories, IV ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Vaught´s conjecture for ?-stable theories, II ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Consequence of Lukasiewicz´s infinitely-valued logic ( 1/5/1997) - Roberto Leonardo Oscar Cignoli No en consta la data exacta

Vaught´s conjecture for ?-stable theories, III ( 1/5/1997) - Elisabeth Martine Bouscaren No en consta la data exacta

Interpreting groups using the Zilber´s configuration, I ( 1/6/1997) - Daniel Claude Lascar No en consta la data exacta

Seminar on simple theories: Canonical bases, II ( 1/6/1997) - Anand Pillay No en consta la data exacta

Semantics, topology and Priestley spaces, I ( 1/6/1997) - Janusz Michal Czelakowski No en consta la data exacta

Seminar on simple theories: Canonical bases, I ( 1/6/1997) - Anand Pillay No en consta la data exacta

Interpreting groups using the Zilber´s configuration, II ( 1/6/1997) - Daniel Claude Lascar No en consta la data exacta

About the automorphisms groups of a saturated structure ( 1/6/1997) - Daniel Claude Lascar No en consta la data exacta

Simple theories and strong types (seminar) ( 1/6/1997) - Anand Pillay No en consta la data exacta

Dimension theories in model theory and their applications ( 1/6/1997) - Anand Pillay No en consta la data exacta

Semantics, topology and Priestley spaces, IV ( 1/6/1997) - Janusz Michal Czelakowski No en consta la data exacta

Semantics, topology and Priestley spaces, III ( 1/6/1997) - Janusz Michal Czelakowski No en consta la data exacta

Semantics, topology and Priestley spaces, II ( 1/6/1997) - Janusz Michal Czelakowski No en consta la data exacta

Abstract Algebraic Logic: Past, present and future ( 1/7/1997) - Don Leonard Pigozzi Dins el Workshop on Abstract Algebraic Logic, 1 a 5 juliol 1997. No en consta la data exacta

On the classification of deductive systems ( 1/7/1997) - Janusz Michal Czelakowski Dins el Workshop on Abstract Algebraic Logic, 1 a 5 juliol 1997. No en consta la data exacta

recent results on MV-algebras ( 2/7/1997) - Daniele Mundici No en consta la data exacta

Ramsey properties of reals and partitions ( 1/11/1997) - Lorenz Josef Halbeisen No en consta la data exacta

Perfect set properties and selective ultrafilters ( 12/12/1997) - Carlos Augusto Di Prisco de Venanzi Dins el Workshop on the Ramsey Theory of the Reals, 12 a 13 desembre 1997. No en consta la data exacta

Ramsey theory below T. The leaves of measure and category ( 12/12/1997) - Stevo Todorcevic Dins el Workshop on the Ramsey Theory of the Reals, 12 a 13 desembre 1997. No en consta la data exacta

Game families and partition properties ( 12/12/1997) - Lorenz Josef Halbeisen Dins el Workshop on the Ramsey Theory of the Reals, 12 a 13 desembre 1997. No en consta la data exacta

Homogeneous product in partitions of the reals ( 12/12/1997) - María Jimena Llopis Rivas Dins el Workshop on the Ramsey Theory of the Reals, 12 a 13 desembre 1997. No en consta la data exacta

Particiones Borelianas de los números reales ( 1/4/1998) - María Jimena Llopis Rivas No en consta la data exacta

Cardinal arithmetic in the absence of the axiom of choice ( 1/5/1998) - Lorenz Josef Halbeisen No en consta la data exacta

The algebraic theory of Gentzen calculi: an abstract algebraic logic approach ( 16/6/1999) - Don Leonard Pigozzi Dins el 5th Barcelona Logic Meeting and 6th Kurt Gödel Colloquium, 16 a 19 juny 1999. No en consta la data exacta

Sistemas de Gentzen plenamente adecuados y el Teorema de la deducción ( 1/2/2001) - Josep Maria Font Llovet No en consta la data exacta

Fields and Set-Theoretic Universes -Some Analogies ( 1/3/2001) - Peter Koepke No en consta la data exacta

Infinite games on Boolean algebras ( 1/5/2001) - Thomas Jech No en consta la data exacta

Topological perspective on modal logic ( 1/6/2001) - Guram Bezhanishvili No en consta la data exacta

A new hierarchy for the constructible universe ( 18/2/2002) - Peter Koepke No en consta la data exacta

Partition properties on products of finite sets ( 19/1/2004) - María Jimena Llopis Rivas Dins el CRM Advanced Course on Ramsey Methods in Analysis, 19 a 28 gener 2004. No en consta la data exacta

Criteria for the Choice of New Axioms ( 9/6/2004) - Sy David Friedman Dins el Workshop on the Foundations of Set Theory, 9 a 12 juny 2004. No en consta la data exacta

Mathematics and Metamathematics in the Ramsey theory of the real numbers ( 9/6/2004) - Carlos Augusto Di Prisco de Venanzi Dins el Workshop on the Foundations of Set Theory, 9 a 12 juny 2004. No en consta la data exacta