photophotophoto
photophotophoto
photophotophoto

      

Michael Pinsker

Équipe de Logique Mathématique
Université Diderot – Paris 7
UFR de mathématiques case 7012
75205 Paris Cedex 13

Email:Write "marula", then the symbol commonly referred to as "at", and then gmx.at
Phone: Please inquire by email.
Fax:Really?


Who am I?

I am a mathematician under an APART fellowship of the Austrian Academy of Sciences.
My research interests include Ramsey theory, model theory, universal algebra, theoretical computer science.

In this very moment, I am probably at one of the following institutions:

These are my ancestors.

Non-mathematicians who came here by accident are obliged to read all of the following texts on what I am doing.

          

photo

photo

          

News

I will be in Jerusalem from May 13 to May 24.

Future talks:

2012/05/15 Schaefer's theorem for graphs, or: why to consult the infinite at times at the Tel Aviv University [pdf]
2012/06/0* TBA at the AAA 84 in Dresden
2012/07/2* TBA at the 2nd Workshop on Homogeneous Structures, Prague
2012/11/0* TBA at the workshop The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl
2013/06/0* TBA at the 4th Novi Sad Algebraic Conference - NSAC 2013

These are slides of some recent talks of mine.

All slides of all talks ever can be found further down the page.

New paper: Topological Birkhoff (with M. Bodirsky)


Publications

  • Lattices of subgroups of the symmetric group.
    (with S. Shelah)
    In preparation.

  • NEW! Topological Birkhoff. [pdf]
    (with M. Bodirsky)
    Submitted, 21 pages.

  • A new transformation on partially ordered sets.
    (with P. P. Pach, A. Pongrácz, Cs. Szabó)
    In preparation.

  • New self-contained version Reducts of the random partial order. [pdf]
    (with P. P. Pach, G. Pluhár, A. Pongrácz, Cs. Szabó)
    Submitted, 22 pages.

  • A closed algebra with a non-Borel clone and an ideal with a Borel clone. [pdf]
    (with M. Goldstern and S. Shelah)
    Submitted, 9 pages.

  • Universality of the lattice of transformation monoids. [pdf]
    (with S. Shelah)
    Proceedings of the AMS, to appear.

  • SURVEY! Reducts of Ramsey structures. [pdf]
    (with M. Bodirsky)
    AMS Contemporary Mathematics vol. 558 (Model Theoretic Methods in Finite Combinatorics), 489-519, 2011.

  • Decidability of definability. [pdf]
    (with M. Bodirsky and T. Tsankov)
    Proceedings of LICS 2011, pages 321-328. Full journal version (17 pages) submitted.

  • LONG PAPER Schaefer's theorem for graphs. [pdf conference version]; [pdf full version]
    (with M. Bodirsky)
    Proceedings of STOC 2011, pages 655-664. Full journal version (49 pages) submitted.

  • More clones on infinite sets.
    Habilitation thesis, Technische Universität Wien, 2011.

  • Non-properties of canonical extensions of local clones. [pdf]
    (with M. Goldstern)
    Preprint, 12 pages.

  • Minimal functions on the random graph. [pdf]
    (with M. Bodirsky)
    Submitted, 32 pages.

  • Distance constraint satisfaction problems. [pdf]
    (with M. Bodirsky, V. Dalmau, and B. Martin)
    Proceedings of MFCS 2010, pages 162-173. Full journal version (21 pages) submitted.

  • All reducts of the random graph are model-complete. [pdf]
    (with M. Bodirsky)
    Preprint, 14 pages.

  • More sublattices of the lattice of local clones. [pdf]
    Order 27 (3), 353-364, 2010.

  • Sublattices of the lattice of local clones. [pdf]
    Proceedings of the ROGICS'08 conference, pages 80-87, 2008.

  • The reducts of equality up to primitive positive interdefinability. [pdf]
    (with M. Bodirsky and H. Chen)
    Journal of Symbolic Logic 75 (4), 1249-1292, 2010.

  • Clones from ideals. [pdf]
    (with M. Beiglböck, L. Heindorf, and M. Goldstern)
    International Journal of Algebra and Computation 19 (3), 397-421, 2009.

  • Ideal clones: Solution to a problem of Czédli and Heindorf. [pdf]
    (with M. Goldstern)
    Studia Scientiarum Mathematicarum Hungarica 47 (4), 419-429, 2010.

  • SURVEY! A survey of clones on infinite sets. [pdf]
    (with M. Goldstern)
    Algebra Universalis 59, 365-403, 2008.

  • Algebraic lattices are complete sublattices of the clone lattice over an infinite set. [pdf]
    Fundamenta Mathematicae 195(1), 1-10, 2007.

  • The minimal clones above the permutations. [pdf]
    (with H. Machida)
    Semigroup Forum 75, 181-211, 2007.

  • Monoidal intervals of clones on infinite sets. [pdf]
    Discrete Mathematics 308, 59-70, 2008.

  • T2. [pdf]
    Proceedings of the RIMS Conference in Kyoto 2005. 7 pages.

  • Some polynomials generating minimal clones. [pdf]
    (with H. Machida)
    Journal of Multiple-Valued Logic 13 (4-6), 353-366, 2007.

  • Polynomials as generators of minimal clones.
    (with H. Machida)
    Proc. 37th Int. Symposium on Multiple-Valued Logic (IEEE), 2007.

  • Some observations on minimal clones.
    (with H. Machida)
    Proc. 36th Int. Symposium on Multiple-Valued Logic (IEEE), 2006.

  • Precomplete clones on infinite sets which are closed under conjugation. [pdf]
    Monatshefte für Mathematik 148(2), 139-152, 2006.

  • The number of unary clones containing the permutations on an infinite set. [pdf]
    Acta Scientiarum Mathematicarum 71, 461-467, 2005.

  • Maximal clones on uncountable sets that include all permutations. [pdf]
    Algebra Universalis 54 (2), 129-148, 2005.

  • Clones on infinite sets. [pdf]
    Ph.D. Thesis, Technische Universität Wien, 2004.

  • Clones containing all almost unary functions. [pdf]
    Algebra Universalis 51, 235-255, 2004.

  • The clone generated by the median functions. [pdf]
    Contributions to General Algebra 15, 99-108, 2004.

  • Rosenberg's characterization of maximal clones. [pdf]
    Diploma Thesis, Technische Universität Wien, 2002.


    Preprints of most publications can also be downloaded from the arXiv.org archive.



Talks

(Invited plenary talks at international conferences are marked by !)

Upcoming:  
   
2013/06/0* ! TBA at the 4th Novi Sad Algebraic Conference - NSAC 2013
2012/11/0* TBA at the workshop The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl
2012/07/2* ! TBA at the 2nd Workshop on Homogeneous Structures, Prague
2012/06/0* TBA at the AAA 84, Dresden
2012/05/15 Schaefer's theorem for graphs, or: why to consult the infinite at times at the Tel Aviv University [pdf]
   
Past:  
   
2012/05 Reducts of the random partial order at the Université Lyon 1
2012/03 Reducts of the random partial order at the Serbian Academy of Sciences and Arts, Belgrade
2012/03 Reducts of Ramsey structures: the canonical approach at the University of Novi Sad [pdf]
2012/03 Topological Birkhoff at the Technische Universität Wien
2012/03 Reducts of the random partial order at the Kurt Gödel Research Centre, Vienna
2011/12 Reducts of the random partial order at Paris 7 - Diderot
2011/11 Reducts of Ramsey structures: the canonical approach at Albert-Ludwigs-Universität Freiburg [pdf]
2011/10 Cooking with model theory, universal algebra and Ramsey theory in the complexity theory kitchen at Yeshiva University, New York  [pdf]
2011/08 ! Making the infinite finite: Polymorphisms on Ramsey structures at Workshop on Algebra and CSPs , Fields Institute, Toronto (pdf, audio mp3, Talk at Fields website)
2011/07 ! Reducts of Homogeneous Structures I: the Ramsey Property at London Mathematical Society Northern Regional Meeting and Workshop on Homogeneous Structures, University of Leeds (pdf)
2011/06 Tutorial Constraint satisfaction with homogeneous templates at MALOA - From MAthematical LOgic to Applications, University of Leeds (pdf)
2011/06 Schaefer's theorem for graphs at STOC 2011, San Jose, California (pdf, video mp4)
2011/04 Decidability of definability at Eötvös University, Budapest
2011/04 Clone vs. permutation group lattices at Eötvös University, Budapest
2011/01 Ramsey clones and Schaefer's theorem for graphs in my habilitation colloquium at TU Wien (pdf)
2011/01 Decidability of definability at TU Wien
2010/10 Schaefer's theorem for graphs at Laboratoire d'Informatique de l'École Polytechnique (LIX), Palaiseau, France (pdf)
2010/07 Functions on reducts of the random graph at Logic Colloquium 2010, Paris 7 Diderot (pdf)
2010/06 ! Decidability of primitive positive definability at the Workshop on Algebra, Complexity, CSP, and sunshine, Centro de Algebra de Universidade de Lisboa (abstract)
2010/06 ! Clones on homogeneous structures and Schaefer's theorem for graphs at ICAL 2010 (``Jardafest''), Prague (abstract / slides)
2010/04 Reducts of homogeneous structures with the Ramsey-property at TU Wien (pdf)
2010/03 Reducts of homogeneous structures with the Ramsey-property at Paris 7 (pdf)
2009/10 ! Clones on the random graph: Towards Schaefer's theorem for graphs at at the RIMS research meeting on Logic and Algebra related to Computer Science, Kyoto
2009/08 Structure in mappings on the random graph at NSAC09, Novi Sad (pdf)
2009/06 All reducts of the random graph are model-complete in the Wiener Algebra Seminar at TU Wien
2009/05 Mappings on the random graph at Université Claude Bernard, Lyon
2009/01 Clones on infinite sets: Interactions with Set theory and Model theory at Paris 7 (pdf)
2008/11 Closed permutation groups and reducts of relational structures at Université de Caen
2008/10 Unterverbände des lokalen Klonverbandes in the Wiener Algebra Seminar at TU Wien
2008/08 Many independent equality constraints at SSAOS 2008 in Trest, Czech Republic (pdf)
2008/07 ! Monoidal intervals and algebraic lattices beyond ZFC at the RIMS research meeting on Clone Theory and Discrete Mathematics in Kyoto
2008/05 Sublattices of the lattice of local clones at ROGICS'08 in Mahdia, Tunisia (pdf)
2008/05 Clones on infinite sets at Université de Caen
2007/11 Applied Algebra 3: Further reducts of relational structures at TU Wien
2007/11 Sublattices of the clone lattice at Technische Universität Graz
2007/10 Reducts of relational structures and local clones in the Kafka seminar at Univerzita Karlova, Prague
2007/10 Clones I have met since 2004 in the legendary Trnková seminar at Univerzita Karlova, Prague
2007/10 Applied Algebra 2: Reducts of relational structures, CSP and local clones at TU Wien
2007/06 The reducts of (N,=) at OAL2007 in Nashville, Tennessee (pdf)
2007/06 Clones from ideals at the AAA 74 in Tampere (pdf)
2007/05 Clones in universal algebra in the lecture series ``Wissenswertes aus der Mathematik'' held at TU Wien (pdf)
2007/03 Cardinalities of intervals in the clone lattice at TU Wien
2007/02 Local clones containing the permutations at the AAA 73 in Klagenfurt
2007/01 The Constraint Satisfaction Problem and local clones at TU Wien
2006/11 An introduction to clones at the Humboldt-Universität zu Berlin
2006/06 Algebraische Verbände sind Unterverbände von Klonverbänden in the Wiener Algebra Seminar at TU Wien (pdf)
2006/06 Algebraic lattices are complete sublattices of the clone lattice over an infinite set at the AAA 72 in Budapest (pdf)
2006/02 Intervals of the clone lattice at the Warsaw University of Technology
2006/02 The minimal clones above the permutations at the AAA 71 in Bedlewo, Poland (pdf)
2005/08 Monoids above the permutations at the International Algebraic Conference in Ekaterinburg (pdf)
2005/07 Lattices of order ideals as monoidal intervals at NSAC'05 in Novi Sad (pdf)
2005/07 Monoids above the permutations at the conference on Universal Algebra and Lattice Theory in Szeged (pdf)
2005/06 The clone generated by all binary two-valued operations: An application of infinite to finite clone theory at RIMS in Kyoto
2005/06 ! A survey of clones on infinite sets at RIMS in Kyoto
2005/06 The interval above the clone T2 at Meiji University Tokyo
2005/01 The clone lattice: Introduction and partition at International Christian's University Tokyo
   
Older Talks  


Other activities