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...
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 function...
Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC.
Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theor...
