Super-Real Fields: Totally Ordered Fields with Additional Structure
H. Garth Dales, H. Garth, W. H. WoodinBooks.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Overview
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 a natural generalization of the real line R, and resolve a number of open problems. After an exposition of the general theory of ordered fields and a careful proof of some classic theorems, including Kapansky's embedding, they establish important new results in Banach algebra theory, non-standard analysis, and model theory.
Synopsis
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 a natural generalization of the real line R, and resolve a number of open problems. After an exposition of the general theory of ordered fields and a careful proof of some classic theorems, including Kapansky's embedding, they establish important new results in Banach algebra theory, non-standard analysis, and model theory.