Kurzusok
Tantárgy neve | Kurzus kód |
---|---|
Matematika M1 közlekedésmérnököknek | BMETE90MX59/K0 |
Matematika M1 közlekedésmérnököknek | BMETE90MX59/K1 |
Matematika M1 logisztikai mérnököknek | BMETE90MX60/K0 |
Matematika M1 logisztikai mérnököknek | BMETE90MX60/K1 |
Modellelmélet, Algebrai Logika, Cilindrikus Algebrák.
Kiemelt publikációk
[1] Goldstern M., Sági G., Shelah S., Very many clones above the unary clone, ALGEBRA UNIVERSALIS 69:(4) pp. 387-399. (2013)
[2] Sági G., Gyenis Z., Upward Morley's theorem downward, MATHEMATICAL LOGIC QUARTERLY 59:(4-5) pp. 303-331. (2013)
[3 ] Sági G., Sziráki D., Some variants of Vaught's conjecture from the perspective of algebraic logic, LOGIC JOURNAL OF THE IGPL 20:(6) pp. 1064-1082. (2012).
[4] Sági G., Shelah S., On weak and strong interpolation in algebraic logics, JOURNAL OF SYMBOLIC LOGIC 71:(1) pp. 104-118. (2006).
[5] Sági G., Ultraproducts and higher order formulas, MATHEMATICAL LOGIC QUARTERLY 48:(2) pp. 261-275. (2002).
[6] Sági G., A completeness theorem for higher order logics, JOURNAL OF SYMBOLIC LOGIC 65:(2) pp. 857-884. (2000).