Zobrazeno 1 - 10
of 128
pro vyhledávání: '"NÉMETI, ISTVÁN"'
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
Autor:
Khaled, Mohamed, Németi, István
A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_{\alpha}$, the class of cylindric algebras of dimension $\alpha$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $\alpha$ is an arbitrary ordina
Externí odkaz:
http://arxiv.org/abs/1903.01527
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.
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
Autor:
Stannett, Mike, Németi, István
Publikováno v:
Journal of Automated Reasoning, 52,4 (2014), 361-378
Logicians at the R\'enyi Mathematical Institute in Budapest have spent several years developing versions of relativity theory (special, general, and other variants) based wholly on first order logic, and have argued in favour of the physical decidabi
Externí odkaz:
http://arxiv.org/abs/1211.6468
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
This paper consists mostly of pictures visualizing ideas leading to Godel's rotating cosmological model. The pictures are constructed according to concrete metric tensor fields. Information about these are in the last chapters. The main aim is to vis
Externí odkaz:
http://arxiv.org/abs/0811.2910