Németi István

Az adatok frissességéről nyilatkozott: 2017-02-17

Eötvös Loránd Tudományegyetem

Matematika Doktori Iskola

2007-11-01 –

Eötvös Loránd Tudományegyetem

Filozófiatudományi Doktori Iskola

2012-03-05 –

inemeti@gmail.com

http://www.renyi.hu/~nemeti

MTA Rényi Alfréd Matematikai Intézet

emeritus kutatóprofesszor

matematikai logika, algebrai logika, cilindrikus és relációalgebrák, reziduált hálók, téridő geometria relativitáselmélet.

matematika- és számítástudományok

publikációs lista az MTMT-ben
MTMT közlemény és idéző összefoglaló táblázat

aktuális témakiírások és összes témakiírás

Papp Tibor Norbert

2028-08-01

Filozófiatudományi Doktori Iskola (ELTE) (50%)

Tarek Sayed Ahmed	2003
Madarász Judit	2002	(50%)
Sági Gábor	1999
Kurucz Ágnes	1997
Maarten Marx	1995
Szőts Miklós	1988
Bíró Balázs	1986
Sain Ildikó	1986
Buy Huy Hien	1984
Serény György	1984
Pásztor Anna	1979

Andréka H, Gyenis Z, Németi I: Ultraproducts of continuous posets.

ALGEBRA UNIVERSALIS 76: (2) pp. 231-235.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Andréka H, Németi I: Comparing theories: the dynamics of changing vocabulary.

In: Szerk.: Baltag A, Szerk.: Smets S Johan V. A. K. van Benthem on logical and informational dynamics.. Berlin: Springer-Verlag, 2014. pp. 143-172.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Andréka H, Madarász X J, Németi I, Stannett M, Székely G: Faster than light motion does not imply time travel

CLASSICAL AND QUANTUM GRAVITY 31: (9) Paper 095005. 11 p.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Stannett M, Németi I: Using Isabelle/HOL to Verify First-Order Relativity Theory

JOURNAL OF AUTOMATED REASONING 52: (4) pp. 361-378.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 3

nyelv: angol

Andréka H, Németi I: Reducing first-order logic to Df_3, free algebras

In: Szerk.: Andréka H, Szerk.: Ferenczi M, Szerk.: Németi I Cylindric-like Algebras and Algebraic Logic. Budapest: János Bolyai Mathematical Society; Springer-Verlag, 2013. pp. 15-35. (Bolyai Society Mathematical Studies)
22

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 7

nyelv: angol

Etesi G, Németi I: Non-Turing computations via Malament-Hogarth space-times

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 41: (2) pp. 341-370.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 161

nyelv: angol

Andréka H, Németi I, Sain I: Algebraic Logic

In: Szerk.: Gabbay DM, Szerk.: Guenthner F Handbook of Philosophical Logic, Vol. 2,. Dordrecht: Kluwer Academic Publishers, 2001. pp. 133-247.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 98

nyelv: angol

Andréka H, van Benthem J, Németi I: Modal languages and bounded fragments of predicate logic

JOURNAL OF PHILOSOPHICAL LOGIC 27: (3) pp. 217-274.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 426

nyelv: angol

H Andréka, I Németi: Generalization of variety and quasivariety concept to partial algebras through category theory

Warsaw: PWN - Polish Scientific Publishers, 56 p. (Dissertationes Mathematicae (Rozprawy Math.); 204.)

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 84

nyelv: angol

L Henkin, J D Monk, A Tarski, H Andréka, I Németi: Cylindric Set Algebras

Berlin: Springer Verlag, 323 p. (Lecture Notes in Mathematics; 883.)

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 130

nyelv: angol