22 found
Sort by:
  1. Christian Wüthrich, Hajnal Andréka & István Németi, A Twist in the Geometry of Rotating Black Holes: Seeking the Cause of Acausality.
    We investigate Kerr–Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is oppo- site to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs “counter-rotate” against the rotating black hole. We have similar results for all spacetimes sufficiently familiar to us in which rotation induces CTCs. This motivates our conjecture that perhaps (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely (2012). A Logic Road From Special Relativity to General Relativity. Synthese 186 (3):633 - 649.
    We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely, A Logic Road From Special to General Relativity.
    We present a streamlined axiom system of special relativity in firs-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Hajnal Andréka, Judit Madarász X., István Németi & Gergely Székely (2008). Axiomatizing Relativistic Dynamics Without Conservation Postulates. Studia Logica 89 (2):163 - 186.
    A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Hajnal Andréka, István Németi & Tarek Sayed Ahmed (2008). Omitting Types for Finite Variable Fragments and Complete Representations of Algebras. Journal of Symbolic Logic 73 (1):65-89.
    We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Hajnal Andréka, Judit X. Madarász & István Németi (2005). Mutual Definability Does Not Imply Definitional Equivalence, a Simple Example. Mathematical Logic Quarterly 51 (6):591-597.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Steven Givant & Hajnal Andreka (2002). Groups and Algebras of Binary Relations. Bulletin of Symbolic Logic 8 (1):38-64.
    In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations. He and Jonsson obtained some initial, positive results for special classes of abstract relation algebras. But Lyndon showed, in 1950, that in general the answer to Tarski's question is negative. Monk proved later that the answer remains negative even if one (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon (1998). Notions of Density That Imply Representability in Algebraic Logic. Annals of Pure and Applied Logic 91 (2-3):93-190.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Hajnal Andréka, Robert Goldblatt & István Németi (1998). Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras. Journal of Symbolic Logic 63 (1):163-184.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Hajnal Andréka, István Németi & Johan van Benthem (1998). Modal Languages and Bounded Fragments of Predicate Logic. Journal of Philosophical Logic 27 (3):217 - 274.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Hajnal Andréka, István Németi & Johan van Benthem (1998). Modal Languages and Bounded Fragments of Predicate Logic. Journal of Philosophical Logic 27 (3):217-274.
    What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  12. Hajnal Andréka (1997). Complexity of Equations Valid in Algebras of Relations Part I: Strong Non-Finitizability. Annals of Pure and Applied Logic 89 (2):149-209.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Hajnal Andréka (1997). Complexity of Equations Valid in Algebras of Relations Part II: Finite Axiomatizations. Annals of Pure and Applied Logic 89 (2-3):211-229.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Hajnal Andréka & Ivo Düntsch (1995). Binary Relations and Permutation Groups. Mathematical Logic Quarterly 41 (2):197-216.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Hajnal Andréka, Ivo Düntsch & István Németi (1995). Expressibility of Properties of Relations. Journal of Symbolic Logic 60 (3):970-991.
    We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Hajnal Andréka, Steven Givant & István Németi (1995). Perfect Extensions and Derived Algebras. Journal of Symbolic Logic 60 (3):775-796.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Hajnal Andréka, Steven Givant & István Németi (1994). The Lattice of Varieties of Representable Relation Algebras. Journal of Symbolic Logic 59 (2):631-661.
    We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Hajnal Andréka & Roger D. Maddux (1994). Representations for Small Relation Algebras. Notre Dame Journal of Formal Logic 35 (4):550-562.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Hajnal Andréka & Szabolcs Mikulás (1994). Lambek Calculus and its Relational Semantics: Completeness and Incompleteness. [REVIEW] Journal of Logic, Language and Information 3 (1):1-37.
    The problem of whether Lambek Calculus is complete with respect to (w.r.t.) relational semantics, has been raised several times, cf. van Benthem (1989a) and van Benthem (1991). In this paper, we show that the answer is in the affirmative. More precisely, we will prove that that version of the Lambek Calculus which does not use the empty sequence is strongly complete w.r.t. those relational Kripke-models where the set of possible worlds,W, is a transitive binary relation, while that version of the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Istvan Nemeti & Hajnal Andreka (1994). General Algebraic Logic: A Perspective on “What is Logic”. In Dov M. Gabbay (ed.), What is a Logical System? Oxford University Press.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Hajnal Andréka & István Németi (1979). Not All Representable Cylindric Algebras Are Neat Reducts. Bulletin of the Section of Logic 8 (3):145-147.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Hajnal Andréka & István Németi (1978). On Universal Algebraic Logic and Cylindric Algebras. Bulletin of the Section of Logic 7 (4):152-158.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation