György Serény

Associate Professor
Department of Algebra
Budapest University of Technology and Economics
1111 Stoczek u. 2. H ép. 5. em.
Budapest, Hungary

e-mail: sereny@math.bme.hu



Research interests



Some earlier articles

Compact cylindric set algebras
Bulletin of the Section of Logic, vol 14(1985), pp. 57-64.

Lower level connections between representations of relation algebras
Bulletin of the Section of Logic, vol 15(1986), pp. 123-127.

Finite models are one-generated
Algebra Universalis, vol 24(1987), pp. 193-195.  
Abstract


Neatly atomic cylindric algebras and isomorphisms
Algebraic Logic (Proc. Conf. Budapest, 1988) (Eds.: H. Andréka, J.D. Monk, and I. Németi),
Colloq. Math. Soc. J. Bolyai Vol 54, North Holland, Amsterdam, 1991, pp. 637-644. 
Abstract

Isomorphisms of finite cylindric set algebras of characteristic zero
Notre Dame Journal of Formal Logic, Volume 34, Number 2, Spring 1993, pp. 284-294.  
Abstract



More recent papers

Saturatedness in cylindric algebraic model theory
Logic Journal of the IGPL,
Volume 5, No.1, 1997, pp. 25-48.
The abstract of the paper can be found at  Logic Journal of the IGPL, Volume 5, No.1.

Gödel, Tarski, Church, and the Liar
The Bulletin of Symbolic Logic
, Volume 9, Issue 1, March 2003, pp. 3-25.
The complete paper can be downloaded from The Bulletin of Symbolic Logic .
A more popularized  preliminary version of the first part (and the abstract)
of this paper can be  found at the e-print archive in Los Alamos.


Boolos-style proofs of limitative theorems
Mathematical Logic Quarterly, 50 (2004), No.2, pp. 211-216.
The preprint of the paper can be downloaded from the e-print archive in Los Alamos.

The diagonal lemma as the formalized Grelling paradox
Gödel Centenary 2006  (Eds.: M. Baaz, N. Preining),
Collegium Logicum vol. 9, Kurt Gödel Society, Vienna, 2006, pp. 63-66.
The preprint of the paper can be downloaded from the e-print archive in Los Alamos.
Here is a  diagram which shows the relation between the Grelling paradox and the proof of the diagonal lemma.

The Liar cannot be solved
Unity, Truth  and The Liar
The Modern Relevance of Medieval Solutions
to Semantic Paradoxes,
Series: Logic, Epistemology, and the Unity of Science, Vol. 8,
(eds. Sh. Raman, T. Tulenheimo, E. Genot),  Springer, Berlin, 2008, pp. 159-186, invited contribution. 
The homepage of the volume can be found at Springer.
The answer to the question as to why I think that the Liar cannot be
solved can be found on the last 3 pages of the paper.


How do we know that the Gödel sentence of a consistent theory is true?
Philosophia Mathematica, 19(1), 2011,  pp. 47-73.

Elements of Cylindric Algebraic Model Theory

Cylindric-like Algebras and Algebraic Logic
(eds. H. Andréka, M. Ferenczi, I. Németi),
Springer, Berlin; János Bolyai Mathematical Society, Budapest, 2013, pp. 223-248.  



Complete list of publications    
publ. list

Curriculum Vitae
    cv


Interviews, teaching materials, etc. in Hungarian


Interjúk 

Tanárinterjú (Impulzus, 2003. december)

Beszélgetés a matematikáról (Mihancsik Zsófiával a Klubrádióban 2005. július 24 - én)



"Sajtópolémia"  Mérő Lászlóval a Magyar Narancs hasábjain egy logikai rejtvényről és a hallgatólagos tudásról



Oktatással kapcsolatos anyagok
  

Jegyzetek

VEKTORANALIZIS jegyzet ps.gz file

MATEMATIKAI LOGIKA jegyzet :

1. rész: Propozicionális logika ps.gz file
2. rész: Prédikátum logika ps.gz file

GÖDEL TÉTELKÖR jegyzet :  

1. rész: Kiszámíthatóság pdf file
2. rész: A szintaxis aritmetizálása pdf file
3. rész: A limitációs tételek pdf file

Appendix   pdf file  

HALMAZELMÉLET jegyzet: ps.gz file


Tematikák matematikusoknak

Halmazelmélet és matematikai logika

Gödel tételkör
 

Mintazh-k  informatikusoknak

1.minta (pdf)    2.minta (pdf)


Segédanyagok, tematikák és ZH-k villamosmérnököknek

A1  

Alapfogalmak (pdf file)

TEMATIKA

Régi letölthetõ zh-k megoldásokkal

Jegyzetek és példatárak

Sorozatok példák  1.pdf   2. pdf  3. pdf


A2

TEMATIKA

Régi letölthetõ zh-k megoldásokkal

Jegyzetek és példatárak


A3

Segédanyag: Laplace transzformáció és
lineáris differenciálegyenlet rendszerek

 
TEMATIKA
   (vektoranalízis és komplex függvénytan)

Régi letölthetõ zh-k megoldásokkal

Vektoranalízis mintapéldák (pdf file)