Computability Learning Seminar | Joey Lakerdas-Gayle | The Game Metatheorem

The Game Metatheorem is a framework for constructing computable structures as a game between players using noncomputable \(\Delta^0_\eta\) information for a transfinite ordinal \(\eta\). We will introduce the Game Metatheorem following Montalbán's second computable structure theory book, and use it to prove the pairs of structures theorem.

MC 5301