|
Model Theory Seminar
|
|
Research Seminar organized by Enrique Casanovas. Mainly intended for Ph. D. students of the Ph.D. Program Pure and Applied Logic, but open to all researchers and students interested in the topic. It is a weekly seminar during the academic term. The meeting point will be on the premises of the Department of Logic, History and Philosophy of Science in the fourth floor of the School of Philosophy, street Montalegre 6. | |
|
Next Session
|
| Friday, June 17 |
| 9:00. Enrique Casanovas, Stably embedded sets (3). |
|
Past Sessions
|
| June 3, 2011. Enrique Casanovas, Course on NIP: stably embedded sets (2). Tim Zander Amalgamation functors (4). |
| May 13, 2011. Enrique Casanovas, Course on NIP: stably embedded sets (1). |
| May 6, 2011. Enrique Casanovas, Course on NIP: preservation of stability. |
| April 29, 2011. Enrique Casanovas, Course on NIP: generically stable types (2). |
| April 15, 2011. Enrique Casanovas, Course on NIP: generically stable types (1). |
| April 8, 2011. Enrique Casanovas, Course on NIP: nip types (4). |
| April 1, 2011. Enrique Casanovas, Course on NIP: nip types (3). Tim Zander Amalgamation functors (3). |
| March 25, 2011. Enrique Casanovas, Course on NIP: nip types (2). Tim Zander Amalgamation functors (2). |
| March 18, 2011. Enrique Casanovas, Course on NIP: nip types (1). Tim Zander Amalgamation functors (1). |
| March 11, 2011. Enrique Casanovas, Course on NIP: stable types. |
| March 4, 2011. Enrique Casanovas, Course on NIP: simple types. |
| February 25, 2011.Martin Koerwien, Some remarks about the existence of models of sentences of Lω1ω in different cardinalities (3). Enrique Casanovas, Course on NIP: stable types and stably embedded types. |
| February 18, 2011. Martin Koerwien, Some remarks about the existence of models of sentences of Lω1ω in different cardinalities (2). Enrique Casanovas, Course on NIP: thorn-forking in simple theories (2). |
| February 4, 2011. Martin Koerwien, Some remarks about the existence of models of sentences of Lω1ω in different cardinalities (1).Enrique Casanovas, Course on NIP: thorn-forking in simple theories (1). |
| January 28, 2011. Enrique Casanovas, Course on NIP: bounded forking |
| January 14, 2011. Enrique Casanovas, Course on NIP: proof of the Broom lemma |
| December 17, 2010. Enrique Casanovas, Course on NIP: Broom lemma and its applications . |
| December 10, 2010. Enrique Casanovas, Course on NIP: Broom lemma . |
| November 26, 2010. Enrique Casanovas, Course on NIP: dividing and forking over a model (2) . Joris Potier, Retículos modulares (6) . |
| November 19, 2010. Enrique Casanovas, Course on NIP: dividing and forking over a model . Daniel Palacín , Local independence relations . |
| November 11, 2010. Enrique Casanovas, Course on NIP: externally definable sets . Santiago Cárdenas, Dominación estable (2) |
| November 5, 2010. Enrique Casanovas, Course on NIP: thorn-forking (2) . Joris Potier, Retículos modulares (5). |
| October 29, 2010. Enrique Casanovas, Course on NIP: thorn-forking . Joris Potier, Retículos modulares (4) . |
| October 15, 2010. Enrique Casanovas, Course on NIP: M-dividing (2) . Joris Potier, Retículos modulares (3) . |
| October 8, 2010. Enrique Casanovas, Course on NIP: M-dividing . Joris Potier, Retículos modulares (2) . |
| October 1, 2010. Enrique Casanovas, Course on NIP: Independence in pregeometries . Joris Potier, Retículos modulares. |
| September 23, 2010. Santiago Cárdenas, Una introducción a la dominación estable. |
| September 17, 2010. Enrique Casanovas, Course on NIP: algebraic independence. |
| September 10, 2010. Andrés Villaveces, Around the generic pairs conjecture. Rami Grosberg, The white parts of the map of classification theory for AEC. |
| July 9, 2010. Enrique Casanovas, Course on NIP: preindependence relations (6). |
| July 2, 2010. Santiago Cá:rdenas, Una introducción a la dominación estable (3) |
| June 23, 2010. Enrique Casanovas, Course on NIP: preindependence relations (5).Daniel Palacín, Hyperimaginaries in simple CM-trivial theories.. |
| June 11, 2010. Enrique Casanovas, Course on NIP: preindependence relations (4).Magnus Kollmann, Valued fields with contractive automorphism (6). |
| June 4, 2010. Santiago Cá:rdenas, Una introducción a la dominación estable (2). Enrique Casanovas, Course on NIP: preindependence relations (3) |
| May 28, 2010. Magnus Kollmann, Valued fields with contractive automorphism (6) Santiago Cá:rdenas, Una introducción a la dominación estable |
| May 21, 2010. Margarita Otero, Conmutadores en grupos definibles en estructuras o-minimales . Enrique Casanovas, Course on NIP: preindependence relations (2) |
| May 14, 2010. Magnus Kollmann, Valued fields with contractive automorphism (5). Enrique Casanovas, Course on NIP: preindependence relations |
| May 7, 2010. Magnus Kollmann, Valued fields with contractive automorphism (4). Enrique Casanovas, Course on NIP: existence bases (2) |
| April 30, 2010. Magnus Kollmann, Valued fields with contractive automorphism (3). Enrique Casanovas, Course on NIP: existence bases |
| April 23, 2010. Magnus Kollmann, Valued fields with contractive automorphism (2). Enrique Casanovas, Course on NIP: generically stable types (4) |
| April 16, 2010. Magnus Kollmann, Valued fields with contractive automorphism . Enrique Casanovas, Course on NIP: generically stable types (3) |
| April 9, 2010. Franziska Jahnke, Morley rank and Lascar rank in DFC0 . Enrique Casanovas, Course on NIP: generically stable types (2) |
| March 26, 2010. Enrique Casanovas, Course on NIP: Morley sequences (3) |
| March 19, 2010. Enrique Casanovas, Course on NIP: generically stable types (1) |
| March 12, 2010. Enrique Casanovas, Course on NIP: Morley sequences (2) |
| February 25, 2010. Daniel Palacín, CM-triviality and n-ample theories |
| February 19, 2010. Daniel Palacín, CM-triviality and ω-categoricity |
| February 12, 2010. Enrique Casanovas, Course on NIP: weakly special sequences (3) |
| February 5, 2010. Enrique Casanovas, Course on NIP: weakly special sequences (2) |
| January 29, 2010. Enrique Casanovas, Course on NIP: weakly special sequences (1) |
| January 22, 2010. Enrique Casanovas, Course on NIP: eventual types |
| January 15, 2010. Enrique Casanovas, Course on NIP: special sequences (3) |
| December 18, 2009. Daniel Palacín, Smooth classes . Enrique Casanovas, Course on NIP: Morley sequences (1) |
| December 4, 2009. Daniel Palacín, Smooth classes . Enrique Casanovas, Course on NIP |
| November 27, 2009. Enrique Casanovas, Course on NIP |
| November 20, 2009. Daniel Palacín, Smooth classes . Enrique Casanovas, Course on NIP |
| November 13, 2009. Martin Koerwien, Absoluteness of categoricity in abstract elementary classes . Enrique Casanovas, Course on NIP |
| November 6, 2009. Daniel Palacín, Smooth classes . Enrique Casanovas, Course on NIP |
| October 30, 2009. Daniel Palacín, Smooth classes . Enrique Casanovas, Course on NIP |
| October 23, 2009. Daniel Palacín, Smooth classes . Enrique Casanovas, Course on NIP |
| October 9, 2009. Enrique Casanovas, Course on NIP |
| October 2, 2009. Martin Koerwien, Absoluteness of categoricity in abstract elementary classes . Enrique Casanovas, Course on NIP |
| September 18, 2009. Martin Koerwien, Absoluteness of categoricity in abstract elementary classes . Enrique Casanovas, Course on NIP |
| July 6, 2009. Enrique Casanovas, SOPn |
| June 29, 2009. Enrique Casanovas, SOPn |
| June 22, 2009. Joris Potier, Topological groups (8). Daniel Palacín, Hrushovski's amalgamations |
| June 15, 2009. Joris Potier, Topological groups (7). Daniel Palacín, Hrushovski's amalgamations |
| May 4, 2009. Joris Potier, Topological groups (6). Daniel Palacín, Hrushovski's amalgamations |
| March 30, 2009. Joris Potier, Topological groups (5) |
| March 23, 2009. Joris Potier, Inverse limits of topological groups . Daniel Palacín, Hrushovski's &omega:-categorial pseudoplane |
| March 16, 2009. Joris Potier, Inverse limits of topological groups . Daniel Palacín, Hrushovski's &omega:-categorial pseudoplane |
| March 9, 2009. Joris Potier, Topological groups (4). Daniel Palacín, Hrushovski's amalgamations |
| March 2, 2009. Joris Potier, Topological groups (3) . Daniel Palacín, Hrushovski's amalgamations |
| February 16, 2009. Enrique Casanovas, Lovely pairs (4). Joris Potier, Topological groups (2) |
| February 2, 2009. Enrique Casanovas, Lovely pairs (3). Joris Potier, Topological groups |
| January 26, 2009. Enrique Casanovas, Lovely pairs (2) |
| January 22, 2009. Ronald Bustamante, Dichotomy Theorem for differential and difference fields |
| January 13, 2009. Enrique Casanovas, Lovely pairs |
| December 16, 2008. Enrique Casanovas, Beautiful pairs (3) |
| December 9, 2008. Enrique Casanovas, Beautiful pairs (2) |
| December 2, 2008. Enrique Casanovas, Beautiful pairs |
| November 25, 2008. Enrique Casanovas, The finite cover property (2) |
| November 18, 2008. Enrique Casanovas, The finite cover property |
| March 5, 2008. Enrique Casanovas, The stability function of a theory (2) |
| February 29, 2008. Enrique Casanovas, The stability function of a theory |
| January 23, 2008. Panteleimon Eleftheriou, Groups definable in linear o-minimal structures |
| January 16, 2008. Panteleimon Eleftheriou, Groups definable in o-minimal structures (2) |
| December 14, 2007. Miguel Ángel Mota, Jónsson cardinals |
| November 9, 2007. Panteleimon Eleftheriou, Groups definable in o-minimal structures |
| October 31, 2007. Marco Ferreira, Amalgamations and Pregeometries |
| October 26, 2007. Marco Ferreira, Hrushovski's Amalgamation (3) |
| October 19, 2007. Marco Ferreira, Hrushovski's Amalgamation (2) |
| October 10, 2007. Marco Ferreira, Hrushovski's Amalgamation |
| July 17, 2007. Silvia Barbina, Generic expansions of countable models |
| June 5, 2007. Rodrigo Peláez, On many-sorted omega-categorical theories |
| May 29, 2007. Hans Adler, Strong theories and weight (3) |
| May 22, 2007. Hans Adler, Strong theories and weight (2) |
| May 15, 2007. Hans Adler, Strong theories and weight |
| April 24, 2007. Rodrigo Peláez, Stable embeddability |
| March 29, 2007. Özlem Beyarslan, Remarks on grupoids and imaginaries |
| March 13, 2007. Rodrigo Peláez, The diamater of a Lascar strong type (2) |
| March 6, 2007. Rodrigo Peláez, The diamater of a Lascar strong type |
| February 27, 2007. Joris Potier, Forking in fields and simple PAC fields (7) |
| February 20, 2007. Joris Potier, Forking in fields and simple PAC fields (6) |
| February 13, 2007. Joris Potier, Forking in fields and simple PAC fields (5) |
| February 7, 2007. Joris Potier, Forking in fields and simple PAC fields (4) |
| January 31, 2007. Joris Potier, Forking in fields and simple PAC fields (3) |
| January 30, 2007. Fares Maalouf, Locally modular C-minimal structures(2) |
| January 25, 2007. Fares Maalouf, Locally modular C-minimal structures |
| January 24, 2007. Joris Potier, Forking in fields and simple PAC fields (2) |
| January 9, 2007. Joris Potier, Forking in fields and simple PAC fields |
| December 5, 2006. Hans Adler, Dependent theories (5) |
| November 30, 2006. John T. Baldwin, Generalized amalgamation and Morley's Theorem for Lω1ω (5) |
| November 28, 2006. Hans Adler, Dependent theories (4) |
| November 21, 2006. Hans Adler, Dependent theories (3) |
| November 15, 2006. John T. Baldwin, Generalized amalgamation and Morley's Theorem for Lω1ω (4) |
| November 14, 2006. John T. Baldwin, Generalized amalgamation and Morley's Theorem for Lω1ω (3) |
| October 31, 2006. John T. Baldwin, Generalized amalgamation and Morley's Theorem for Lω1ω (2) |
| October 25, 2006. John T. Baldwin, Generalized amalgamation and Morley's Theorem for Lω1ω |
| October 24, 2006. Hans Adler, Dependent theories (2) |
| October 17, 2006. Hans Adler, Dependent theories |
| October 10, 2006. John T. Baldwin, Abelian groups as abstract elementary classes |
| October 3, 2006. John T. Baldwin, Generalized amalgamation and n-simplicity (2) |
| September 19, 2006. John T. Baldwin, Generalized amalgamation and n-simplicity |
| June 2, 2006. Dugald Macpherson, Strongly determined types |
| May 18, 2006. Enrique Casanovas, Minimal types |
| May 18, 2006. Silvia Barbina, Generic automorphisms and extension lemmas (3) |
| May 11, 2006. Enrique Casanovas, Locally modular pregeometries |
| May 11, 2006. Silvia Barbina, Generic automorphisms and extension lemmas (2) |
| May 4, 2006. Enrique Casanovas, Modular pregeometries |
| May 4, 2006. Silvia Barbina, Generic automorphisms and extension lemmas |
| April 27, 2006. Enrique Casanovas, Pregeometries (2) |
| April 6, 2006. Enrique Casanovas, Pregeometries |
| March 30, 2006. Enrique Casanovas, Groups in one-based theories (4) |
| March 23, 2006. Enrique Casanovas, Transitive group actions in simple theories (2) |
| March 16, 2006. Enrique Casanovas, Transitive group actions in simple theories |
| March 9. Enrique Casanovas, Groups in one-based theories (3) |
| March 2, 2006. Enrique Casanovas, Groups in one-based theories (2) |
| February 23, 2006. Enrique Casanovas, Groups in one-based theories |
| February 16, 2006. Enrique Casanovas, Groups in stable theories (2) |
| February 9, 2006. Enrique Casanovas, Groups in stable theories |
| February 9, 2006. Rodrigo Peláez, G-compactness (2) |
| February 2, 2006. Enrique Casanovas, Generic sets in stable groups |
| January 26, 2006. Enrique Casanovas, Solved problems |
| January 26, 2006. Rodrigo Peláez, G-compactness |
| December 22, 2005. Enrique Casanovas, Groups in simple theories: the stable case |
| December 9, 2005. Enrique Casanovas, Groups in simple theories: stabilizers |
| December 1, 2005. Enrique Casanovas, Groups in simple theories: generic subgroups and stabilizers |
| November 17, 2005. Enrique Casanovas, Groups in simple theories: the connected component |
| November 10, 2005. Enrique Casanovas, Groups in simple theories: existence of generics |
| November 3, 2005. Enrique Casanovas, Groups in simple theories: generic types |
| October 27, 2005. Enrique Casanovas, Chain conditions in stable groups |
| October 20, 2005. Enrique Casanovas, Pseudoplanes and one-based theories (6) |
| October 13, 2005. Enrique Casanovas, Pseudoplanes and one-based theories (5) |
| October 6, 2005. Enrique Casanovas, Pseudoplanes and one-based theories (4) |
| September 29, 2005. Enrique Casanovas, Pseudoplanes and one-based theories (3) |
| September 22, 2005. Enrique Casanovas, Pseudoplanes and one-based theories (2) |
| July 15, 2005. Enrique Casanovas, Pseudoplanes and one-based theories (1) |
| June 3, 2005. Enrique Casanovas, Local ranks (3) |
| May 30, 2005. Silvia Barbina, Reconstruction of theories from automorphism groups |
| May 4, 2005. Enrique Casanovas, Local ranks (2) |
| April 13, 2005. Enrique Casanovas, Local ranks (1) |
| April 6, 2005. Enrique Casanovas, One-based theories(2) |
| March 16, 2005. Enrique Casanovas, One-based theories (1) |
| March 9, 2005. Rafel Farré, CM-triviality (3) |
| March 4, 2005. Rafel Farré, CM-triviality (2) |
| February 23, 2005. Alf Onshuus, About elimination of imaginaries in algebraically closed valued fields |
| January 11, 2005. Rafel Farré, CM-triviality (1) |
| December 21, 2004. Enrique Casanovas, Additivity of Morley rang |
| December 14, 2004. Rafel Farré, Flat geometries(3) |
| December 10, 2004. Rafel Farré, Flat geometries (2) |
| November 30, 2004. Rafel Farré, Flat geometries (1) |
| November 11, 2004. Juan Francisco Pons, Rudiments of omega-stable groups (3) |
| November 2, 2004. Juan Francisco Pons, Rudiments of omega-stable groups (2) |
| October 26, 2004. Juan Francisco Pons, Rudiments of omega-stable groups (1) |
| October 7, 2004. Amador Martín Pizarro, Le carré de l'égalité collapsé |
| October 5, 2004. Markus Junker, Reducts of dense linear orderings with unary predicates |
| July 2, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (12) |
| June 18, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (11) |
| June 9, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (10) |
| June 4, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (9) |
| May 21, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (8) |
| May 7, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (7) |
| April 30, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (6) |
| April 16, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (5) |
| March 19, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (4) |
| March 5, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (3) |
| February 27, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (2) |
| February 20, 2004. Enrique Casanovas, Hrushovski's construction of a new strongly minimal set (1) |
| February 6, 2004. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(12) |
| February 2, 2004. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(11) |
| January 26, 2004. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(10) |
| December 12, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(9) |
| December 5, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(8) |
| November 28, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(7) |
| November 14, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(6) |
| November 5, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(5) |
| October 31, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method(4) |
| October 10, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method (3) |
| October 3, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method (2) |
| September 26, 2003. Juan Francisco Pons, Basic notions of Hrushovski's amalgamation method (1) |
June 13, 2011
|
