| Publication | Date of Publication | Type |
|---|
On the networks of large embeddings
Algebra Universalis | 2024-07-29 | Paper |
| Testing definitional equivalence of theories via automorphism groups | 2022-11-25 | Paper |
Groups of worldview transformations implied by isotropy of space
(available as arXiv preprint) | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7594117 (Why is no real title available?) | 2022-09-28 | Paper |
Investigations of isotropy and homogeneity of spacetime in first-order logic
Annals of Pure and Applied Logic | 2022-08-02 | Paper |
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
The Review of Symbolic Logic | 2022-05-25 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
Annals of Pure and Applied Logic | 2022-04-01 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
(available as arXiv preprint) | 2021-12-30 | Paper |
Distances between formal theories
The Review of Symbolic Logic | 2020-08-26 | Paper |
Groups of Worldview Transformations Implied by Isotropy of Space
(available as arXiv preprint) | 2020-07-28 | Paper |
What algebraic properties of quantities are needed to model accelerated observers in relativity theory
(available as arXiv preprint) | 2020-06-25 | Paper |
Comparing classical and relativistic kinematics in first-order logic
(available as arXiv preprint) | 2019-09-23 | Paper |
On generalization of definitional equivalence to non-disjoint languages
Journal of Philosophical Logic | 2019-09-03 | Paper |
Three different formalisations of Einstein's relativity principle
The Review of Symbolic Logic | 2017-09-15 | Paper |
Axiomatizing relativistic dynamics using formal thought experiments
Synthese | 2017-03-09 | Paper |
A note on `Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox'
Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences | 2016-11-02 | Paper |
| On some Symmetry Axioms in Relativity Theories | 2016-01-14 | Paper |
The existence of superluminal particles is consistent with relativistic dynamics
Journal of Applied Logic | 2014-11-20 | Paper |
| On the Possibility and Consequences of Negative Mass | 2014-07-22 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2014-04-29 | Paper |
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2014-04-29 | Paper |
The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
Reports on Mathematical Physics | 2014-04-24 | Paper |
A logic road from special relativity to general relativity
Synthese | 2013-11-25 | Paper |
| An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds | 2013-10-05 | Paper |
Closed timelike curves in relativistic computation
Parallel Processing Letters | 2013-08-16 | Paper |
Special relativity over the field of rational numbers
International Journal of Theoretical Physics | 2013-08-06 | Paper |
Existence of faster than light signals implies hypercomputation already in special relativity
Lecture Notes in Computer Science | 2012-08-14 | Paper |
| What are the numbers in which spacetime? | 2012-04-05 | Paper |
| On Logical Analysis of Relativity Theories | 2011-05-04 | Paper |
| Vienna Circle and Logical Analysis of Relativity Theory | 2011-01-31 | Paper |
| On Why-Questions in Physics | 2011-01-22 | Paper |
A geometrical characterization of the twin paradox and its variants
Studia Logica | 2010-12-01 | Paper |
Axiomatizing relativistic dynamics without conservation postulates
Studia Logica | 2008-09-02 | Paper |
| A Logical Analysis of the Time-Warp Effect of General Relativity | 2007-09-16 | Paper |
scientific article; zbMATH DE number 5168268 (Why is no real title available?)
(available as arXiv preprint) | 2007-06-28 | Paper |
Twin paradox and the logical foundation of relativity theory
Foundations of Physics | 2006-10-04 | Paper |
First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers
(available as arXiv preprint) | N/A | Paper |
