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ć

 

Share this