Some Recent Work

 

A twist in the geometry of rotating black holes: seeking the cause of acausality.  General Relativity and Gravitation, to appear. Andréka, H.  Németi, I. and Wüthrich, C.

Axiomatizing relativistic dynamics without conservation postulates. Studia Logica 89,2 (2008), 163-186.  Andréka, H. Madarász, J. X. Németi, I.  and Székely, G.

Logic of spacetime and relativity. In: Handbook of Spatial Logics. Eds: Aiello, M. Pratt-Hartmann, I., and van Benthem, J. Springer Verlag,  2007. pp. 607-711.  Andréka, H. Madarász, J. X. and Németi, I.    Further recent work in relativity

Relativistic computers and the Turing barrier. Applied Mathematics and Computation 178 (2006), 118-142.  Németi, I. and Dávid, Gy.           Further recent work in relativistic computing

Mutual definability does not imply definitional equivalence, a simple example. Mathematical Logic Quarterly 51,6 (2005), 591-597.  Andréka, H. Madarász, J. X. and Németi, I.

Omitting types for finite variable fragments and complete representations of algebras. Journal of Symbolic Logic 73,1 (2008), 65-89.  Andréka, H.  Németi, I. and Sayed-Ahmed, T.

Algebras of relations of various ranks, some current trends and applications. Journal of Relational Methods in Computer Science 1 (2004), 27-49.  Andréka, H. Madarász, J. X. and Németi, I. Further recent work in algebraic logic

Epimorphisms in cylindric algebras and definability in finite variable logics. Algebra Universalis, to appear. Andréka, H. Comer, S. D. Madarász, J. X. Németi, I. and Sayed-Ahmed, T.