×
Edit Profile (opens in new tab)

Serény, György

Author ID: sereny.gyorgy Recent zbMATH articles by "Serény, György"
Published as: Serény, György
Documents Indexed: 11 Publications since 1985, including 1 Additional arXiv Preprint

Co-Authors

11 single-authored
all top 5

Serials

2 Bulletin of the Section of Logic
1 Algebra Universalis
1 Notre Dame Journal of Formal Logic
1 Mathematical Logic Quarterly (MLQ)
1 The Bulletin of Symbolic Logic
1 Logic Journal of the IGPL
1 Philosophia Mathematica. Series III

Fields

11 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 8 times in 7 Documents Cited by ▼ Year ▼
Boolos-style proofs of limitative theorems. Zbl 1036.03041
Serény, György
2
2004
Isomorphisms of finite cylindric set algebras of characteristic zero. Zbl 0788.03074
Serény, György
2
1993
How do we know that the Gödel sentence of a consistent theory is true? Zbl 1282.03024
Serény, György
1
2011
Gödel, Tarski, Church, and the Liar. Zbl 1042.03007
Serény, György
1
2003
Saturatedness in cylindric algebraic model theory. Zbl 0879.03019
Serény, György
1
1997
Compact cylindric set algebras. Zbl 0576.03041
Serény, György
1
1985
How do we know that the Gödel sentence of a consistent theory is true? Zbl 1282.03024
Serény, György
1
2011
Boolos-style proofs of limitative theorems. Zbl 1036.03041
Serény, György
2
2004
Gödel, Tarski, Church, and the Liar. Zbl 1042.03007
Serény, György
1
2003
Saturatedness in cylindric algebraic model theory. Zbl 0879.03019
Serény, György
1
1997
Isomorphisms of finite cylindric set algebras of characteristic zero. Zbl 0788.03074
Serény, György
2
1993
Compact cylindric set algebras. Zbl 0576.03041
Serény, György
1
1985
all cited Publications top 5 cited Publications
all top 5

Cited by 10 Authors

3 Andréka, Hajnal
2 Németi, István
2 Salehi, Saeed
1 Comer, Stephen Daniel
1 Kahle, Reinhard
1 Madarász, Judit X.
1 Piazza, Mario
1 Pulcini, Gabriele
1 Sayed Ahmed, Tarek
1 Seraji, Payam

Cited in 5 Serials

2 Annals of Pure and Applied Logic
1 Mathematische Semesterberichte
1 Algebra Universalis
1 Transactions of the American Mathematical Society
1 The Bulletin of Symbolic Logic

Cited in 5 Fields

7 Mathematical logic and foundations (03-XX)
1 History and biography (01-XX)
1 General algebraic systems (08-XX)
1 Category theory; homological algebra (18-XX)
1 Computer science (68-XX)

Citations by Year