Ylinumeroituva joukko
Ylinumeroituva joukko on matematiikassa joukko-opin termi ja se tarkoittaa joukkoa, joka ei ole numeroituva. Siinä on silloin merkittävästi enemmän alkioita kuin numeroituvassa joukossa eli se on mahtavampi joukko.
Hyperäärellinen kunta
Hyperäärellinen kunta on matematiikassa tietyt ehdot täyttävät algebrallinen rakenne. Kunnan formula_1 sanotaan olevan hyperäärellinen, jos se on ylinumeroituva, kvasiäärellinen ja jokaisella absoluuttisesti kokonaisella E-algebralla formula_2, missä formula_3 on kunnan formula_1 alikunta ja formula_5, on olemassa E-algebrahomomorfismi formula_6. James Ax käytti hyperäärellisiä kuntia todistaessaan äärellisten kuntien alkeisteorian olevan ratkeava.