Jose Iovino: Multivalued logics, higher order structures, and the omitting types theorem

Mathematical logic seminar – April 24 2012
Time:     12:00 – 13:20

Room:     Wean Hall 7201

Speaker:         Jose Iovino
Department of Mathematics
University of Texas at San Antonio

Title:     Multivalued logics, higher order structures, and the omitting types theorem

Abstract:

I will give a survey of how a number of logical frameworks that have evolved, in different contexts and for very different purposes, during the last 50 years, in some cases as multivalued extensions of first-order logic, in others to deal with specific classes of structures, yet in others as general settings for model-theoretic stability, and yet others as theoretical foundations for soft computing, lead to a single model-theoretic logic. I will then state a maximality result that characterizes this logic in terms of the omitting types theorem. This result is joint work with X. Caicedo.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.