On the undecidability of infinite extensions of the rationals

Logic Seminar

Meeting Details

For more information about this meeting, contact Kristin Berrigan, Jan Reimann, Linda Westrick.

Speaker: Caleb Springer, Penn State University

Abstract: A ring $R$ is said to be decidable if there is an algorithm which decides whether arbitrary first-order formulas hold in $R$, and $R$ is undecidable otherwise. Julia Robinson proved that $\mathbb{Q}$ is undecidable, and extended this result to all finite extensions of $\mathbb{Q}$. However, the situation gets more complicated for infinite extensions of $\mathbb{Q}$. Examples show that some infinite extensions are undecidable, while others are not, and results remain unknown in general. This talk will give an overview of the known results, and present new examples of undecidable totally imaginary infinite extensions of $\mathbb{Q}$.


Room Reservation Information

Room Number: 315 McAllister

Date: 09/24/2019

Time: 2:30pm - 4:00pm