Items where Author is "Németi, István"

Article

Mike, Stannett and Edward, Higgins and Andréka, Hajnal and Madarász, Judit and Németi, István and Székely, Gergely (2023) No Faster-Than-Light Observers (GenRel). Archive of Formal Proofs, March. ISSN 2150-914X

Andréka, Hajnal and Madarász, Judit and Németi, István and Székely, Gergely (2023) Testing Definitional Equivalence of Theories via Automorphism Groups. THE REVIEW OF SYMBOLIC LOGIC. pp. 1-22. ISSN 1755-0203 (print); 1755-0211 (online)

Andréka, Hajnal and Madarász, Judit and Németi, István and Székely, Gergely (2022) Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime. ANNALS OF PURE AND APPLIED LOGIC, 173 (5). ISSN 0168-0072

Khaled, Mohamed and Németi, István (2019) Atoms in infinite dimensional free sequence-set algebras. ALGEBRA UNIVERSALIS, 80 (4). ISSN 0002-5240

Andréka, Hajnal and Németi, István (2018) Term algebras of elementarily equivalent atom structures. Algebra Universalis, 79 (3). ISSN 0002-5240

Andréka, Hajnal and Németi, István (2017) How many varieties of cylindric algebras are there. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 369 (12). pp. 8903-8937. ISSN 0002-9947

Andréka, Hajnal and Givant, S. and Jipsen, P. and Németi, István (2017) On Tarski's axiomatic foundations of the calculus of relations. JOURNAL OF SYMBOLIC LOGIC, 82 (3). pp. 966-994. ISSN 0022-4812

Andréka, Hajnal and van Benthem, J. and Németi, István (2017) On a new semantics for first-order predicate logic. JOURNAL OF PHILOSOPHICAL LOGIC, 46 (3). pp. 259-267. ISSN 0022-3611

Andréka, Hajnal and Gyenis, Zalán and Németi, István (2016) Ultraproducts of continuous posets. ALGEBRA UNIVERSALIS, 76 (2). pp. 231-235. ISSN 0002-5240

Andréka, Hajnal and Madarász, Judit and Németi, István and Stannett, M. and Székely, Gergely (2014) Faster than light motion does not imply time travel. CLASSICAL AND QUANTUM GRAVITY, 31 (9). 095005. ISSN 0264-9381

Stannett, M and Németi, István (2014) Using Isabelle/HOL to Verify First-Order Relativity Theory. JOURNAL OF AUTOMATED REASONING, 52 (4). pp. 361-378. ISSN 0168-7433

Andréka, Hajnal and Madarász, Judit and Németi, István and Székely, Gergely (2010) On logical analysis of relativity theories. HUNGARIAN PHILOSOPHICAL REVIEW, 54 (4). pp. 204-222. ISSN 0025-0090

Andréka, Hajnal and Dahn, B. and Németi, István (1976) ON A PROOF OF SHELAH. BULLETIN DE L'ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 24 (1). pp. 1-7. ISSN 0001-4117

Book Section

Andréka, Hajnal and Madarász, Judit and Németi, István and Németi, Péter and Székely, Gergely (2018) Relativistic Computation. In: Physical perspectives on computation, computational perspectives on physics. Cambridge University Press, pp. 195-216. ISBN 9781107171190

Monograph

Németi, István and Andai, Attila and Andréka, Hajnal and Csirmaz, László and Etesi, Gábor and Ferenczi, Miklós and Henk, Csaba and Madarász, Judit and Sági, Gábor and Sain, Ildikó and Serény, György and Simon, András and Tőke, Csaba and Vályi, Sándor (2008) Algebrai logika; relativitáselmélet logikai struktúrájának vizsgálata = Algebraic logic; investigating the logical structure of relativity theory. Project Report. OTKA.