Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek
vrijeme:
22.12.2014 - 17:00 - 19:00 Na Seminaru za matematičku logiku i osnove matematike,
u ponedjeljak 22. prosinca
u 17 sati u predavaonici 104 PMF-MO,
Petar Gregorek održat će predavanje
Primjer definabilnog nestandardnog modela realnih brojeva.
Sažetak: U ovom seminaru dajemo pregled članka V. Kanovei i S. Shelah, "A definable nonstandard model of the reals".
Autori definiraju jedan istaknuti ultrafilter na skupu svih funkcija sa skupa A u prirodne brojeve, gdje je A pažljivo odabran. Ultrapotencija po ovom ultrafiltru čini pravo elementarno proširenje uređenog polja realnih brojeva, koje je definabilno po ordinalima u ZFC teoriji skupova. Iteracijom dobivene konstrukcije realizira se definabilno proširenje realnih brojeva koje je i prebrojivo saturirano.
V. Čačić