In my research I apply tools from model theory, a branch of mathematical logic, to study sets obtained from certain integral manifolds. (A good reference for Model Theory is [8].) This program has two central aspects: (1) I extend results that are known to be true on the ordered field of real numbers R := ã€ˆR,+,Ã—, <, 0, 1ã€‰ to larger classes of real closedâ€¦ (More)