University Seminar: Logic Across Disciplines-Cohesive Powers: Structures in General and Linear Orders
Fri, 19 April, 2019
5:00pm
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
Speaker: Rumen Dimitrov, Western Illinois University, http://www.wiu.edu/users/
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.