Zobrazeno 1 - 10
of 346
pro vyhledávání: '"Madarász, J."'
Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In
Externí odkaz:
http://arxiv.org/abs/2211.14232
We investigate the possibility and consequences of the existence of particles having negative relativistic masses, and show that their existence implies the existence of faster- than-light particles (tachyons). Our proof requires only two postulates
Externí odkaz:
http://arxiv.org/abs/1407.6047
Publikováno v:
2014 Class. Quantum Grav. 31 095005
Seeing the many examples in the literature of causality violations based on faster-than- light (FTL) signals one naturally thinks that FTL motion leads inevitably to the possibility of time travel. We show that this logical inference is invalid by de
Externí odkaz:
http://arxiv.org/abs/1407.2528
Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity.
Comment: 28 pages, 2 figures
Comment: 28 pages, 2 figures
Externí odkaz:
http://arxiv.org/abs/1204.1350
Publikováno v:
In: The Vienna Circle in Hungary, A. M\'at\'e, M. R\'edei, F. Stadler, (Eds.), Springer-Verlag, Wien, 2011, pp.147-267
In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on e
Externí odkaz:
http://arxiv.org/abs/1101.5894
Publikováno v:
Studia Logica Volume 89, Number 2 (2008), 163-186
A part of relativistic dynamics (or mechanics) 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 t
Externí odkaz:
http://arxiv.org/abs/0801.4870
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.
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.
Publikováno v:
In Fuel Processing Technology 2011 92(6):1244-1248
Publikováno v:
Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic, 187-207
STARTPAGE=187;ENDPAGE=207;TITLE=Hajnal Andréka and István Németi on Unity of Science
Hajnal Andréka and István Németi on Unity of Science ISBN: 9783030641863
STARTPAGE=187;ENDPAGE=207;TITLE=Hajnal Andréka and István Németi on Unity of Science
Hajnal Andréka and István Németi on Unity of Science ISBN: 9783030641863
In a mathematical perspective, neighborhood models for modal logic are generalized quantifiers, parametrized to points in the domain of objects/worlds. We explore this analogy further, connecting generalized quantifier theory and modal neighborhood l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93917a9a3e0f16eb37459396a04c732a
https://dare.uva.nl/personal/pure/en/publications/generalized-quantifiers-meet-modal-neighborhood-semantics(9454ac5f-cd81-4bce-9dd7-769546804c9e).html
https://dare.uva.nl/personal/pure/en/publications/generalized-quantifiers-meet-modal-neighborhood-semantics(9454ac5f-cd81-4bce-9dd7-769546804c9e).html