McMaster-Waterloo Model Theory Seminar

Christine Eagles, University of Waterloo

Quantifier free internality and binding groups in ACFA

In ACFA, the definable closure of a set is not well understood. This presents an obstacle to understanding internality to the fixed field. Instead, we look at quantifier-free internality. In this talk we will follow Kamensky and Moosa (2024) by presenting quantifier-free internality and then stating a binding group theorem for rational types which are quantifier-free internal to the fixed field.

MC 5479