Seminar za matemati~cku logiku i osnove matematike
povijest

Sa~zetak:

Bit ~te prezentirana konstrukcija surealnih brojeva, kakvom su je napravili J. H. Conway i Harry Gonshor. Surealni brojevi obuhva~taju realne brojeve, infinitezimale i ordinale, te se na njima uvode osnovne operacije koje su pro~sirenje operacij~a definiranih na realnim brojevima. Poseban osvrt bit ~te dan na Osnovni teorem egzistencije.