Sági Gábor

Beosztás: 
docens
Fokozat: 
kandidátus
Szoba: 
H 405
Email: 
sagi@math.bme.hu
Telefon: 
463-1111/5675

Kurzusok

Tantárgy neve Kurzus kód
Felsőbb matematika informatikusoknak - Alkalmazott algebra és matematikai logika BMETE90MX57/EN - 2016/17/1
Felsőbb matematika informatikusoknak - Alkalmazott algebra és matematikai logika BMETE90MX57/V0 - 2016/17/1
Matematika A1a - Analízis BMETE90AX00/KV - 2016/17/1
Matematika A1a - Analízis BMETE90AX00/K0 - 2016/17/1
Matematika M1 közlekedésmérnököknek BMETE90MX59/K0 - 2016/17/1
Matematika M1 közlekedésmérnököknek BMETE90MX59/K1 - 2016/17/1
Matematika M1 logisztikai mérnököknek BMETE90MX60/K0 - 2016/17/1
Matematika M1 logisztikai mérnököknek BMETE90MX60/K1 - 2016/17/1
Halmazelmélet BMETE91AM07/K0
Matematika M1 közlekedésmérnököknek BMETE90MX59/K1
Matematika M1 közlekedésmérnököknek BMETE90MX59/K0
Matematika M1 logisztikai mérnököknek BMETE90MX60/K0
Matematika M1 logisztikai mérnököknek BMETE90MX60/K1

Kutatás

Publikációk és hivatkozások:
MTMT

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).