Logic Seminar-On Marker extensions
Thursday, October 15, 2026
2:00 pm - 3:00 pm
Time: Thursday, October 15, 2:00–3:00 pm
Place: Rome 350
Speaker: Jeremias Valenzuela Morales, GWU
Title: On Marker extensions
Abstract: A Marker extension method is used to encode information into a structure in a way that allows us to manipulate the complexity of selected relations in the resulting theory. It was Introduced by David Marker in his1989 paper on non-Sigma_n axiomatizable almost strongly minimal theories. In this talk, we will present the construction and give some examples.
Admission