An Undecidable Result: Hardy Field Functions and Presburger Arithmetic

Name: An Undecidable Result: Hardy Field Functions and Presburger Arithmetic
Start: 2026-05-21T16:00:00.000Z
End: 2026-05-21T19:00:00.000Z
Location: Bill Roscoe Lecture Theatre

A talk by Hera Brown on extensions to Presburger arithmetic via Hardy field functions.

Thu 21 May

Bill Roscoe Lecture Theatre

An Undecidable Result: Hardy Field Functions and Presburger Arithmetic

A talk by Hera Brown on extensions to Presburger arithmetic via Hardy field functions.

Hosted by

OXFORD COMPSOC

Event sourced

via Instagram

Thu 21 May

5:00 pm - 8:00 pm

Bill Roscoe Lecture Theatre

Address not available

About

A talk by Hera Brown on extensions to Presburger arithmetic via Hardy field functions.

Who’s going

███ ████