|
|
|
||
Last update: T_KTI (06.05.2010)
|
|
||
Last update: RNDr. Jan Hric (07.06.2019)
TBA |
|
||
Last update: RNDr. Jan Hric (07.06.2019)
TBA |
|
||
Last update: T_KTI (09.05.2005)
V. Kanovei, M. Reeken, Nonstandard analysis, axiomatically, Springer Monographs in Mathematics, Springer-Verlag, Berlin-Heidelberg, 2004 |
|
||
Last update: T_KTI (14.05.2010)
Properties of theories and their models. Prime models, atomic, saturated, compact, universal and homogeneous models. Saturation and an introduction to nonstandard methods. Undecidability of theories and structures. Application of mathematical logic and model theory particularly in algebra - alternative (shorter) proofs of some well-known theorems (Hilbert's Nullstellensatz). |