Zobrazeno 1 - 10
of 1 419
pro vyhledávání: '"Székely G"'
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
Autor:
Balaji, K.R., Hardian, R., Kumar, V.G.D., Viswanatha, R., Kumar, S., Singh, A., Santosh, M.S., Szekely, G.
Publikováno v:
In Materials Today Chemistry December 2021 22
Autor:
Calderón, A., Fernández, M.G., Gómez, G., González-Sánchez, F.J., Martínez-Rivero, C., Matorras, F., Rodrigo, T., Scodellaro, L., Vila, I., Virto, A.L., Barcala, J.M., Calvo, E., Ferrando, A., Josa, M.I., Molinero, A., Navarrete, J., Oller, J.C., Raics, P., Szabó, Zs., Trócsnyi, Z., Ujvári, B., Zilizi, Gy., Béni, N., Christian, G., Imrek, J., Molnar, J., Novak, D., Pálinkás, J., Székely, G., Szillási, Z., Bencze, G.L., Benettoni, M., Gasparini, F., Montecassiano, F., Rampazzo, M., Zago, M., Reithler, H., Jiang, C.
Publikováno v:
In Nuclear Inst. and Methods in Physics Research, A 21 April 2020 960
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
Autor:
Neefs, E., Vandaele, A.C., De Cock, R., Erwin, J., Robert, S., Thomas, I.R., Berkenbosch, S., Jacobs, L., Bogaert, P., Beeckman, B., Brassine, A., Messios, N., De Donder, E., Bolsée, D., Pereira, N., Tackley, P., Gerya, T., Kögl, S., Kögl, P., Gröbelbauer, H.-P., Wirz, F., Székely, G., Eaton, N., Roibás-Millán, E., Torralbo, I., Rubio-Arnaldo, H., Alvarez, J.M., Navajas Ortega, D., De Vos, L., Sørensen, R., Moelans, W., Algoedt, A., Blau, M., Stam, D., Renotte, E., Klinkenberg, P., Borguet, B., Thomas, S., Vervaeke, M., Thienpont, H., Castro, J.M., Jimenez, J.
Publikováno v:
In Acta Astronautica January 2025 226 Part 1:178-201
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
Autor:
Arce, P., Barcala, J.M., Calvo, E., Ferrando, A., Josa, M.I., Molinero, A., Navarrete, J., Oller, J.C., Brochero, J., Calderón, A., Fernández, M.G., Gómez, G., González-Sánchez, F.J., Martínez-Rivero, C., Matorras, F., Rodrigo, T., Ruiz-Árbol, P., Scodellaro, L., Sobrón, M., Vila, I., Virto, A.L., Fernández, J., Raics, P., Szabó, Zs., Trócsnyi, Z., Ujvári, B., Zilizi, Gy., Béni, N., Christian, G., Imrek, J., Molnar, J., Novak, D., Pálinkás, J., Székely, G., Szillási, Z., Bencze, G.L., Vestergombi, G., Benettoni, M., Gasparini, F., Montecassiano, F., Rampazzo, M., Zago, M., Benvenuti, A., Reithler, H., Jiang, C.
Publikováno v:
In Nuclear Inst. and Methods in Physics Research, A 11 July 2018 896:1-23