Using Brauer groups for first-order definitions in number fields

Philip Dittmann (Oxford)

Frank Adams 1,

Starting from Poonen's first-order definition of the integers in the rational numbers, 
we explore uses of quaternion algebras and more general Brauer algebras for definability questions in the
rationals and more general number fields. This includes finding
existential (!)formulae expressing irreducibility of polynomials
Import this event to your Outlook calendar
▲ Up to the top