Joint Math 6720 and Logic Seminar

Speaker: Professor Rumen Dimitrov, Western Illinois University

Title: Standard and Nonstandard Ways of Constructing Nonstandard Structures

Abstract:
In this talk we will start with some standard ways of obtaining nonstandard structures. We will then introduce the notion of cohesive power B of a computable structure A (see [1]) over a cohesive set R. We will prove certain connections between satisfaction of different formulas and sentences in the original model A and its cohesive power B.

[1] R. D. Dimitrov, Cohesive powers of computable structures, Annuaire de l’Université de Sofia "St. Kliment Ohridski," Faculté de Mathématiques et Informatique 99 (2009), pp. 193--201.