Super-Real Fields: Totally Ordered Fields with Additional Structure

Super-fields are a class of totally ordered fields that are larger than the real line. They arise from quotients of the algebra of continuous functions on a compact space by a prime ideal, and generalize the well-known class of ultrapowers, and indeed the continuous ultrapowers. These fields are an important topic in their own right and have many surprising applications in analysis and logic. The authors introduce these exciting new fields to mathematicians, analysts, and logicians, including…