Scheme representation for first-order logic

Spencer Breiner

Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink…