György Serény [5]Gy Serény [1]
  1.  76
    Gödel, Tarski, Church, and the Liar.György Serény - 2003 - Bulletin of Symbolic Logic 9 (1):3-25.
  2.  49
    Algebraic Logic Conference, Budapest, 1988.H. Andréka, M. Ferenczi, I. Németi & Gy Serény - 1989 - Journal of Symbolic Logic 54 (2):686-686.
  3.  27
    Boolos-Style Proofs of Limitative Theorems.György Serény - 2004 - Mathematical Logic Quarterly 50 (2):211.
    Boolos's proof of incompleteness is extended straightforwardly to yield simple “diagonalization-free” proofs of some classical limitative theorems of logic.
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation  
  4.  20
    Lower Level Connections Between Representations of Relation Algebras.György Serény - 1986 - Bulletin of the Section of Logic 15 (3):123-125.
    The algebra of all binary relations on a given set is the most important example of a relation algebra . In this note we will examine the possible isomorphisms within some subclasses of a closely related class ; A is a relation set algebra with base U if its Boolean reduct is a field of sets with unit element 2 U, its universe A contains the identity relation on U and it is closed under the operations −1 and |, where (...)
    Direct download  
    Export citation  
  5. Compact Cylindric Set Algebras.György Serény - 1985 - Bulletin of the Section of Logic 14 (2):57-63.
    N´emeti remarked that the notion of compactness of cylindric of algebras corresponds to the notion of universality of models in logic [5]. The purpose of this paper is to formulate this correspondence in a purely algebraic setting.
    Export citation  
    Bookmark   1 citation  
  6.  10
    Isomorphisms of Finite Cylindric Set Algebras of Characteristic Zero.György Serény - 1993 - Notre Dame Journal of Formal Logic 34 (2):284-294.