Seminář se zabývá nestandardními a neregulárními matematickými strukturami a univerzy a rozvojem nestandardních metod, jakož i aplikacemi těchto pojetí a metod v konkrétních matematických disciplínách, popř. rozvojem netradiční matematizace. S řadou frekventovaných pojmů se lze seznámit v přednáškách LTM001, LTM011.
Poslední úprava: G_I (30.05.2001)
Enlarged set universes are studied and methods of working in such
universes are explicated and developed. Some knowledge of set
theory and mathematical logic are assumed.
Literatura
Poslední úprava: T_KTI (09.05.2005)
V. Kanovei, M. Reeken, Nonstandard analysis, axiomatically,
Springer Monographs in Mathematics, Springer-Verlag, Berlin-Heidelberg,
2004
Pillay, A, Geometric Stability Theory, Clarendon Press, Oxford, 1996
Sylabus -
Poslední úprava: T_KTI (19.05.2004)
Nestandardní universa množin: existence a vlastnosti. Pokročilé metody teorie modelů. Nové výsledky.
Poslední úprava: T_KTI (19.05.2004)
Nonstandard set universes: an existence and properties. Advanced model-theoretic methods. New results.