Symbols:Abbreviations/U

Previous  ... Next

U

UE

Universal Elimination (another name for Universal Instantiation: UI).

UF

Ultrafilter Lemma (also UL).

UFD

Unique factorization domain.

UI

Universal Instantiation.

UL

Ultrafilter Lemma (also UF).

URM

Unlimited register machine: an abstraction of a computing device with certain particular characteristics.

Previous  ... Next