Franklin's Notes


Real closed field

A real closed field is a field which is elementarily equivalent to $\mathbb{R}$ as a model of the theory of fields in first-order logic. Some examples of real closed fields are

abstract-algebra

fields

first-order-logic

model-theory

back to home page