Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2017. II. 17.
Personal data
István Németi
name István Németi
year of birth 1942
name of institution
doctoral school
ELTE Doctoral School of Philosophy (Announcer of research topic)
ELTE Doctoral School of Mathematics (Academic staff member)
the share of work in the different doctoral schools. ELTE Doctoral School of Philosophy 25%
ELTE Doctoral School of Mathematics 75%
accreditation statement submitted to: Eötvös Loránd University, Budapest
Contact details
E-mail address inemetigmail.com
phone number +36 1 483-8313
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 1977
discipline to which degree belongs mathematics and computing
institution granting the degree Magyar Tudományos Akadémia (to be translated)
scientific degree, title DSc
year degree was obtained 1987
discipline to which degree belongs mathematics and computing
institution granting the degree HAS
Employment
1977 - MTA Rényi Alfréd Matematikai Intézet (research institute, not university)
other (not specified) (emeritus kutatóprofesszor)
Thesis topic supervisor
number of doctoral students supervised until now 9
number of students who fulfilled course requirements 9
students who obtained their degrees:
(50%) Sayed Ahmed Tarek PhD 2003  
(50%) Judit Madarász PhD 2002  
Gábor Sági PhD 1999  
(50%) Marx Maarten PhD 1995  
(50%) Anna Pásztor PhD 1979  
Ágnes Kurucz Candidate of sciences 1997  
Miklós Szőts Candidate of sciences 1988  
Balázs Bíró Candidate of sciences 1986  
Ildikó Sain Candidate of sciences 1986  
György Serény Candidate of sciences 1984  
Huy Hien Buy Candidate of sciences 1984  

  Thesis topic proposals
Research
research area mathematical logic, algebraic logic, cylindric and relation algebras,residuated lattices, spacetime geometry, relativity theory
research field in which current research is conducted mathematics and computing
Publications
2016

Andréka H, Gyenis Z, Németi I: Ultraproducts of continuous posets., ALGEBRA UNIVERSALIS 76: (2) pp. 231-235.
type of document: Journal paper/Article
number of independent citations: 2
language: English
URL 
2014

Stannett M, Németi I: Using Isabelle/HOL to Verify First-Order Relativity Theory, JOURNAL OF AUTOMATED REASONING 52: (4) pp. 361-378.
type of document: Journal paper/Article
number of independent citations: 3
language: English
Full text 
2014

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.
type of document: Journal paper/Article
number of independent citations: 2
language: English
URL 
2014

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.
type of document: Part of book/Könyvfejezet (to be translated)
number of independent citations: 2
language: English
Full text 
2013

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
type of document: Part of book/Szaktanulmány (to be translated)
number of independent citations: 7
language: English
DOI 
2002

Etesi G, Németi I: Non-Turing computations via Malament-Hogarth space-times, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 41: (2) pp. 341-370.
type of document: Journal paper/Article
number of independent citations: 161
language: English
DOI 
2001

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.
type of document: Part of book/Könyvfejezet (to be translated)
number of independent citations: 98
language: English
DOI 
1998

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.
type of document: Journal paper/Article
number of independent citations: 426
language: English
DOI 
1983

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.)
type of document: Book/Monography
number of independent citations: 84
language: English
1981

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.)
type of document: Book/Monography
number of independent citations: 130
language: English
DOI 
Number of independent citations to these publications:915 
Scientometric data
Saját közlemény- és idézőlista list of publications and citations
number of scientific publications that meet accreditation criteria:
145
number of scientific publications:
162
monographs and professional books:
2
monographs/books in which chapters/sections were contributed:
47 
scientific publications published abroad that meet the accreditation criteria:
134
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
9
number of independent citations to scientific publications and creative works:
3248

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )