Non-Archimedean analysis (source code)

= Non-Archimedean analysis
{c}
{wiki=Non-Archimedean_ordered_field}

Non-Archimedean analysis studies fields whose distance is induced by an ultrametric absolute value, especially local fields and valued function fields.