University Seminar: Logic Across Disciplines-Cohesive Powers: Structures in General and Linear Orders

Title: Cohesive Powers: Structures in General and Linear Orders
Speaker:  Rumen Dimitrov, Western Illinois University, http://www.wiu.edu/users/rdd104/home.htm
Date and Time:  Friday, April 19, 1:00PM-2:00PM
Place: Rome Hall (801 22nd Street), Room 771

Abstract:  The fundamental theorem of cohesive powers establishes relationship between the satisfiability of formulas (sentences) in a computable structure and in its cohesive power. In this talk, I will survey known results about cohesive powers and will show that different computable presentations of a computable structure may have non-isomorphic (not even elementary equivalent) cohesive powers. I will then present results about cohesive powers of linear orders, which are based on recent joint work with Harizanov, Morozov, Shafer, A.Soskova, and Vatev.