Zobrazeno 1 - 10
of 128
pro vyhledávání: '"Andréka, Hajnal"'
Publikováno v:
Annals of Pure and Applied Logic, Volume 173, Issue 5, May 2022, 103100
Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given betw
Externí odkaz:
http://arxiv.org/abs/2112.15152
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Andréka, Hajnal, Givant, Steven
A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These functional elements form a group Gx. We prove that a measurable relation algeb
Externí odkaz:
http://arxiv.org/abs/1804.02534
Autor:
Givant, Steven, Andréka, Hajnal
Publikováno v:
J. symb. log. 83 (2018) 1595-1609
A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets that are us
Externí odkaz:
http://arxiv.org/abs/1804.03524
We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds having the corresponding smoothness properties.
Comment: 30 pages,
Comment: 30 pages,
Externí odkaz:
http://arxiv.org/abs/1310.1475
Publikováno v:
Proceedings of the Royal Society A 469(2154):6pp. (2013)
We show that the transformations J. M. Hill and B. J. Cox introduce between inertial observers moving faster than light with respect to each other are consistent with Einstein's principle of relativity only if the spacetime is 2 dimensional.
Com
Com
Externí odkaz:
http://arxiv.org/abs/1211.2246
Publikováno v:
Hungarian Philosophical Review, 2010/4, pp.204-222
The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories.
Comment: 19 pages, 1 figures
Comment: 19 pages, 1 figures
Externí odkaz:
http://arxiv.org/abs/1105.0885
Publikováno v:
Parallel Processing Letters, 22, 1240010 (2012)
In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We al
Externí odkaz:
http://arxiv.org/abs/1105.0047
Publikováno v:
Synthese Volume 186, Number 3 (2012), 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 thos
Externí odkaz:
http://arxiv.org/abs/1005.0960