Model Theory

Group: 5 #group-5

Relations

  • Hyperreal: The construction of the hyperreal field is based on model-theoretic techniques, such as the use of ultrafilters and nonstandard models.