The Mathematical Logic Group in Lisbon
v.1.0
cmaf :: universidade de lisboa
Workshop on Real Power Functions:

This meeting will take place on October 30, 2009 at Complexo Interdisciplinar da Universidade de Lisboa, Portugal, room B3-01.

Speakers and Timetable:

  • 10:00 - 11:00. Tamara Servi (CMAF - U. Lisboa): "Introduction to the model theory of real power functions".
  • 11:00 - 11:30. Coffee Break.
  • 11:30 - 12:30. Gareth Jones (University of Manchester): "On the decidability of the real field with a generic power function".
  • 12:30 - 14:30. Lunch Break.
  • 14:30 - 15:30. Tom Foster (University of Oxford): "Decidability for raising to one infinite power".
  • 15:30 - 16:00. Coffee Break.
  • 16:00 - 17:00. Tom Foster (University of Oxford): "Model-completeness for raising to powers".
  • 17:00 - 18:00. Discussion.

    Organizers:

    Tamara Servi (CMAF- U. Lisboa) and Mário Edmundo (CMAF - U. Lisboa / Universidade Aberta). For any other information please contact the organizers.

    Sponsored by: CMAF - Universidade de Lisboa.

  •  
    ___cmaf   ___mathematical logic around the world ___back to the logic group webpage