Cohesive powers of Galois extensions

Abstract: A cohesive product is a computability theoretic analog to an ultraproduct, in which the domain is restricted to a collection of partial computable functions, and the role of the ultrafilter is played by a cohesive set. Unlike the ultraproduct, the cohesive power is always countable, but it only obeys a fragment of Łoś's theorem. In this talk we discuss recent work with Rumen Dimitrov, Valentina Harizanov, and Keshav Srinivasan on the relationship between cohesive products of various fields and their Automorphism groups to the Galois groups of the base fields.

logicnumber theory

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic