Showing 1–30 of 30 results for author: Németi, I

Substitutions of variables are finitely axiomatizable over quantifications and permutations

Authors: Hajnal Andréka, Zalán Gyenis, István Németi

Abstract: This paper proves that the equational theory of the class $RA_α^{csp}$ of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct $RA_α^{cp}$, for finite $α$. That is, substitutions of variables in finite variable first-order logic can be described by finitely many axioms over the Boolean operations, existential quantifiers and permutations of variables. This paper proves that the equational theory of the class $RA_α^{csp}$ of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct $RA_α^{cp}$, for finite $α$. That is, substitutions of variables in finite variable first-order logic can be described by finitely many axioms over the Boolean operations, existential quantifiers and permutations of variables. △ Less

Submitted 14 June, 2025; originally announced June 2025.

Transposition of variables is hard to describe

Authors: H. Andréka, I. Németi, Zs. Tuza

Abstract: The function $p_{xy}$ that interchanges two logical variables $x,y$ in formulas is hard to describe in the following sense. Let $F$ denote the Lindenbaum-Tarski formula-algebra of a finite-variable first order logic, endowed with $p_{xy}$ as a unary function. Each equational axiom system for the equational theory of $F$ has to contain, for each finite $n$, an equation that contains together with… ▽ More The function $p_{xy}$ that interchanges two logical variables $x,y$ in formulas is hard to describe in the following sense. Let $F$ denote the Lindenbaum-Tarski formula-algebra of a finite-variable first order logic, endowed with $p_{xy}$ as a unary function. Each equational axiom system for the equational theory of $F$ has to contain, for each finite $n$, an equation that contains together with $p_{xy}$ at least $n$ algebraic variables, and each of the operations $\exists, =, \lor$. This solves a problem raised by Johnson [J. Symb. Logic] more than 50 years ago: the class of representable polyadic equality algebras of a finite dimension $n\ge 3$ cannot be axiomatized by adding finitely many equations to the equational theory of representable cylindric algebras of dimension $n$. Consequences for proof systems of finite-variable logic and for defining equations of polyadic equality algebras are given. △ Less

Submitted 6 September, 2024; originally announced September 2024.

MSC Class: 03B20; 03G15; 05E16 (Primary) 03F20; 51E15; 20M20; 08B15 (Secondary)

Logic families

Authors: H. Andréka, Z. Gyenis, I. Németi, I. Sain

Abstract: A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in th… ▽ More A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book. △ Less

Submitted 9 November, 2023; v1 submitted 1 November, 2023; originally announced November 2023.

MSC Class: 03G27; 03C95; 03G30; 03C05; 03B10; 03G15

A note on the submodel preservation property in fragments of first-order logic

Authors: H. Andréka, J. van Benthem, I. Németi

Abstract: This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems mentioned in these papers. Section 1 contains an early example of failure of Los-Tarski for finite-variable fragments with binary relations from a 1992 manuscript, with no substantial change of content. For further back… ▽ More This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems mentioned in these papers. Section 1 contains an early example of failure of Los-Tarski for finite-variable fragments with binary relations from a 1992 manuscript, with no substantial change of content. For further background to this example, Section 2 surveys a number of results concerning the submodel preservation property for various fragments of first-order logic. △ Less

Submitted 29 March, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

MSC Class: 03C40

Testing definitional equivalence of theories via automorphism groups

Authors: H. Andréka, J. Madarász, I. Németi, G. Székely

Abstract: 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 Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bi… ▽ More 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 Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, Glymour and Halvorson. △ Less

Submitted 7 July, 2023; v1 submitted 25 November, 2022; originally announced November 2022.

MSC Class: 03C40 (Primary) 03C20; 08A35; 03B10; 03A10; 18Cxx (Secondary)

Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: 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 between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, i… ▽ More 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 between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if $n>2$. Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: 30 pages, 18 figures, 3 tables

Journal ref: Annals of Pure and Applied Logic, Volume 173, Issue 5, May 2022, 103100

Two-variable logic has weak, but not strong, Beth definability

Authors: H. Andréka, I. Németi

Abstract: We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property. We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property. △ Less

Submitted 23 November, 2020; v1 submitted 2 October, 2020; originally announced October 2020.

MSC Class: 03C40 (Primary) 03B20; 03Cxx; 03C95 (Secondary)

Atoms in infinite dimensional free sequence-set algebras

Authors: Mohamed Khaled, István Németi

Abstract: A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_α$, the class of cylindric algebras of dimension $α$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $α$ is an arbitrary ordinal. He conjectured that, when $α$ is infinite, there are no more atoms. This conjecture has not been confirmed or denied yet. In this article, we show that Tarski's con… ▽ More A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_α$, the class of cylindric algebras of dimension $α$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $α$ is an arbitrary ordinal. He conjectured that, when $α$ is infinite, there are no more atoms. This conjecture has not been confirmed or denied yet. In this article, we show that Tarski's conjecture is true if $\mathrm{CA}_α$ is replaced by $\mathrm{D}_α$, $\mathrm{G}_α$, but the $m$-generated free $\mathrm{Crs}_α$ algebra is atomless. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Varieties generated by completions

Authors: H. Andréka, I. Németi

Abstract: We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation algebras are all persistently finite. An application of these theorems is that the variety generated by the completions of representable relation algebras does n… ▽ More We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation algebras are all persistently finite. An application of these theorems is that the variety generated by the completions of representable relation algebras does not contain all relation algebras. This answers Problem 1.1(1) from a paper by R. Maddux in the negative. At the same time, we confirm the suggestion in that paper that the finite maximal relation algebras constructed in a joint paper by M. Frias and R. Maddux are not in the variety generated by the completions of representable relation algebras. We prove that there are continuum many varieties between the variety generated by the completions of representable relation algebras and the variety of relation algebras. △ Less

Submitted 10 October, 2018; originally announced October 2018.

MSC Class: 03C05 06E25 03G15 03C13 06A06 06B23 06A11

Nonrepresentable relation algebras from group systems

Authors: H. Andréka, S. Givant, I. Németi

Abstract: A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids. A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids. △ Less

Submitted 14 September, 2018; originally announced September 2018.

Comments: This is the sixth member of a series of papers on measurable relation algebras

MSC Class: 03G15; 20Bxx; 03Gxx; 03E20; 03C05

Term algebras of elementarily equivalent atom structures

Authors: H. Andréka, I. Németi

Abstract: We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem 14.19 in the book Hirsch, R. and Hodkinson, I., "Relation Algebras by Games", North-Holland, 2002. We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem 14.19 in the book Hirsch, R. and Hodkinson, I., "Relation Algebras by Games", North-Holland, 2002. △ Less

Submitted 29 March, 2018; originally announced March 2018.

MSC Class: 06E25; 03G15; 03B10; 03B45

On Tarski's axiomatic foundations of the calculus of relations

Authors: H. Andréka, S. Givant, P. Jipsen, I. Németi

Abstract: It is shown that Tarski's set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski's axioms slightly, and in fact by replacing the right-hand distributive law for relative multiplication with its left-hand version, we arrive at an equivalent set of axioms which is redundant i… ▽ More It is shown that Tarski's set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski's axioms slightly, and in fact by replacing the right-hand distributive law for relative multiplication with its left-hand version, we arrive at an equivalent set of axioms which is redundant in the sense that one of the axioms, namely the second involution law, is derivable from the other axioms. The set of remaining axioms is independent. Finally, it is shown that if both the left-hand and right-hand distributive laws for relative multiplication are included in the set of axioms, then two of Tarski's other axioms become redundant, namely the second involution law and the distributive law for converse. The set of remaining axioms is independent and equivalent to Tarski's axiom system. △ Less

Submitted 15 April, 2016; originally announced April 2016.

MSC Class: 03G15; 03B30; 03C05; 03C13

Journal ref: Journal Symbolic Logic 82,3 (2017), 966-994

Free algebras of discriminator varieties generated by finite algebras are atomic

Authors: H. Andréka, I. Németi

Abstract: We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members. We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members. △ Less

Submitted 24 June, 2016; v1 submitted 21 February, 2016; originally announced February 2016.

MSC Class: 03C05; 08B20; 08B05; 06E25; 03G15

How many varieties of cylindric algebras

Authors: H. Andréka, I. Németi

Abstract: Cylindric algebras, or concept algebras in another name, form an interface between algebra, geometry and logic; they were invented by Alfred Tarski around 1947. We prove that there are 2 to the alpha many varieties of geometric (i.e., representable) alpha-dimensional cylindric algebras, this means that 2 to the alpha properties of definable relations of (possibly infinitary) models of first-order… ▽ More Cylindric algebras, or concept algebras in another name, form an interface between algebra, geometry and logic; they were invented by Alfred Tarski around 1947. We prove that there are 2 to the alpha many varieties of geometric (i.e., representable) alpha-dimensional cylindric algebras, this means that 2 to the alpha properties of definable relations of (possibly infinitary) models of first-order logic theories can be expressed by formula schemes using alpha variables, where alpha is infinite. This solves Problem 4.2 in the 1985 Henkin-Monk-Tarski monograph. For solving this problem, we had to devise a new kind of construction, which we then use to solve Problem 2.13 of the 1971 Henkin-Monk-Tarski monograph which concerns the structural description of geometric cylindric algebras. There are fewer varieties generated by locally finite dimensional cylindric algebras, and we get a characterization of these among all the 2 to the alpha varieties. As a by-product, we get a simple, natural recursive enumeration of all the equations true of geometric cylindric algebras, and this can serve as a solution to Problem 4.1 of the 1985 Henkin-Monk-Tarski monograph. All this has logical content and implications concerning ordinary first order logic with a countable number of variables. △ Less

Submitted 12 September, 2015; originally announced September 2015.

Comments: 48 pages. Keywords: algebraic logic, cylindric algebras, first-order logic, varieties, definable relations, network of theories, definitional equivalence

MSC Class: 03Gxx; 03G15; 08B15; 03B10; 03C40; 03C05; 08A65; 03A10

Journal ref: Transactions of the AMS 369,12 (2017), 8903-8937

Ultraproducts of continuous posets

Authors: H. Andréka, Z. Gyenis, I. Németi

Abstract: It is known that nontrivial ultraproducts of complete partially ordered sets (posets) are almost never complete. We show that complete additivity of functions is preserved in ultraproducts of posets. Since failure of this property is clearly preserved by ultraproducts, this implies that complete additivity of functions is an elementary property. It is known that nontrivial ultraproducts of complete partially ordered sets (posets) are almost never complete. We show that complete additivity of functions is preserved in ultraproducts of posets. Since failure of this property is clearly preserved by ultraproducts, this implies that complete additivity of functions is an elementary property. △ Less

Submitted 27 June, 2016; v1 submitted 18 March, 2015; originally announced March 2015.

MSC Class: 06A06; 03C20; 06E25; 06B35

Journal ref: Algebra Universalis 76,2 (2016), 231-235

Changing a semantics: opportunism or courage?

Authors: H. Andréka, J. F. A. K. van Benthem, N. Bezhanishvili, I. Németi

Abstract: The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philos… ▽ More The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend. △ Less

Submitted 27 November, 2014; originally announced November 2014.

Comments: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 2014

Report number: ILLC Prepublication series PP-2014-10 MSC Class: 03H05; 03B15; 03Axx; 03C70; 03C95; 03B70; 03B45; 03B10; 06D50; 68Q55; 03C62

Journal ref: In: The life and work of Leon Henkin. Essays on his contributions. Editors: Maria Manzano, Ildiko Sain and Enrique Alonso., Studies in Universal Logic, Springer, 2014, pp.307-337

Finite-variable logics do not have weak Beth definability property

Authors: H. Andréka, I. Németi

Abstract: We prove that n-variable logics do not have the weak Beth definability property, for all n greater than 2. This was known for n=3 (Ildikó Sain and András Simon), and for n greater than 4 (Ian Hodkinson). Neither of the previous proofs works for n=4. In this paper we settle the case of n=4, and we give a uniform, simpler proof for all n greater than 2. The case for n=2 is still open. We prove that n-variable logics do not have the weak Beth definability property, for all n greater than 2. This was known for n=3 (Ildikó Sain and András Simon), and for n greater than 4 (Ian Hodkinson). Neither of the previous proofs works for n=4. In this paper we settle the case of n=4, and we give a uniform, simpler proof for all n greater than 2. The case for n=2 is still open. △ Less

Submitted 17 September, 2014; originally announced September 2014.

MSC Class: Primary 03B10; 03C40; Secondary 03B20; 03C07; 03C40

Faster than light motion does not imply time travel

Authors: H. Andréka, J. X. Madarász, I. Németi, M. Stannett, G. Székely

Abstract: 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 demonstrating a model, based on (3+1)-dimensional Minkowski spacetime, in which FTL motion is permitted (in every direction without any limitation on sp… ▽ More 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 demonstrating a model, based on (3+1)-dimensional Minkowski spacetime, in which FTL motion is permitted (in every direction without any limitation on speed) yet which does not admit time travel. Moreover, the Principle of Relativity is true in this model in the sense that all observers are equivalent. In short, FTL motion does not imply time travel after all. △ Less

Submitted 9 July, 2014; originally announced July 2014.

Comments: 11 pages, 5 figures

Journal ref: 2014 Class. Quantum Grav. 31 095005

An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: 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. 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. △ Less

Submitted 5 October, 2013; originally announced October 2013.

Comments: 30 pages, 6 figures

Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory

Authors: H. Andréka, I. Németi

Abstract: There are several first-order logic (FOL) axiomatizations of special relativity theory in the literature, all looking essentially different but claiming to axiomatize the same physical theory. In this paper, we elaborate a comparison, in the framework of mathematical logic, between these FOL theories for special relativity. For this comparison, we use a version of mathematical definability theory… ▽ More There are several first-order logic (FOL) axiomatizations of special relativity theory in the literature, all looking essentially different but claiming to axiomatize the same physical theory. In this paper, we elaborate a comparison, in the framework of mathematical logic, between these FOL theories for special relativity. For this comparison, we use a version of mathematical definability theory in which new entities can also be defined besides new relations over already available entities. In particular, we build an interpretation of the reference-frame oriented theory SpecRel into the observationally oriented Signalling theory of James Ax. This interpretation provides SpecRel with an operational/experimental semantics. Then we make precise, "quantitative" comparisons between these two theories via using the notion of definitional equivalence. This is an application of logic to the philosophy of science and physics in the spirit of Johan van Benthem's work. △ Less

Submitted 7 July, 2013; originally announced July 2013.

Comments: 27 pages, 8 figures. To appear in Springer Book series Trends in Logic

MSC Class: 03B10 (Primary); 03C40; 03A10; 83A05; 51P05; 03B80; 03B30 (Secondary)

What are the numbers in which spacetime?

Authors: H. Andréka, J. X. Madarász, I. Németi, G. Székely

Abstract: Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity. Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Comments: 28 pages, 2 figures

Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property

Authors: H. Andréka, I. Németi

Abstract: We show that first-order logic can be translated into a very simple and weak logic, and thus set theory can be formalized in this weak logic. This weak logical system is equivalent to the equational theory of Boolean algebras with three commuting complemented closure operators, i.e., that of diagonal-free 3-dimensional cylindric algebras (Df_3's). Equivalently, set theory can be formulated in prop… ▽ More We show that first-order logic can be translated into a very simple and weak logic, and thus set theory can be formalized in this weak logic. This weak logical system is equivalent to the equational theory of Boolean algebras with three commuting complemented closure operators, i.e., that of diagonal-free 3-dimensional cylindric algebras (Df_3's). Equivalently, set theory can be formulated in propositional logic with 3 commuting S5 modalities (i.e., in the multi-modal logic [S5,S5,S5]). There are many consequences, e.g., free finitely generated Df_3's are not atomic and [S5,S5,S5] has Gödel's incompleteness property. The results reported here are strong improvements of the main result of the book: Tarski, A. and Givant, S. R., Formalizing Set Theory without variables, AMS, 1987. △ Less

Submitted 3 November, 2011; originally announced November 2011.

Comments: 24 pages, 3 figures. First version, additional material in http://www.renyi.hu/~nemeti/FormalizingST.htm

MSC Class: 03G15; 03B10; 03B20; 03B45; 06E25 (Primary) 03E30; 03E75 (Secondary)

On Logical Analysis of Relativity Theories

Authors: Hajnal Andréka, István Németi, Judit X. Madarász, Gergely Székely

Abstract: The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories. The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories. △ Less

Submitted 4 May, 2011; originally announced May 2011.

Comments: 19 pages, 1 figures

Journal ref: Hungarian Philosophical Review, 2010/4, pp.204-222

Closed Timelike Curves in Relativistic Computation

Authors: Hajnal Andréka, István Németi, Gergely Székely

Abstract: 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 also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs. 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 also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs. △ Less

Submitted 30 April, 2011; originally announced May 2011.

Comments: 17 pages, 5 figures

Journal ref: Parallel Processing Letters, 22, 1240010 (2012)

Vienna Circle and Logical Analysis of Relativity Theory

Authors: H. Andréka, J. X. Madarász, I. Németi, P. Németi, G. Székely

Abstract: 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 experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings… ▽ More 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 experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain deeper understanding of RT. Our work can be considered as a case-study showing that the Vienna Circle's (VC) approach to doing science is workable and fruitful when performed with using the insights and tools of mathematical logic acquired since its formation years at the very time of the VC activity. We think that logical positivism was based on the insight and anticipation of what mathematical logic is capable when elaborated to some depth. Logical positivism, in great part represented by VC, influenced and took part in the birth of modern mathematical logic. The members of VC were brave forerunners and pioneers. △ Less

Submitted 31 January, 2011; originally announced January 2011.

Comments: 25 pages, 1 firgures

Journal ref: In: The Vienna Circle in Hungary, A. Máté, M. Rédei, F. Stadler, (Eds.), Springer-Verlag, Wien, 2011, pp.147-267

A logic road from special relativity to general relativity

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: 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 those of general relativity. This way we hope to make general relativity more accessible for the non-specialist. 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 those of general relativity. This way we hope to make general relativity more accessible for the non-specialist. △ Less

Submitted 22 January, 2011; v1 submitted 6 May, 2010; originally announced May 2010.

Journal ref: Synthese Volume 186, Number 3 (2012), 633-649

Axiomatizing relativistic dynamics without conservation postulates

Authors: H. Andreka, J. X. Madarasz, I. Nemeti, G. Szekely

Abstract: 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 to a geometric explanation of Einstein's famous $E=mc^2$. The connection of our geometrical axioms and the usual axioms on the conservation of mass,… ▽ More 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 to a geometric explanation of Einstein's famous $E=mc^2$. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated. △ Less

Submitted 25 July, 2008; v1 submitted 31 January, 2008; originally announced January 2008.

Comments: 21 pages, 7 figures

Journal ref: Studia Logica Volume 89, Number 2 (2008), 163-186

A Logical Analysis of the Time-Warp Effect of General Relativity

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein's Equivalence Principle. It is shown that all of them are logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers. Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein's Equivalence Principle. It is shown that all of them are logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers. △ Less

Submitted 16 September, 2007; originally announced September 2007.

Comments: 43 pages, 13 figures

First-Order Logic Foundation of Relativity Theories

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we pres… ▽ More Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction. △ Less

Submitted 10 April, 2006; originally announced April 2006.

Comments: 25 pages, 4 figures

Journal ref: In: New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, International Mathematical Series Vol 5, Springer, (2006)

Twin Paradox and the logical foundation of relativity theory

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization SpecRel of special relativity from the literature. SpecRel is com… ▽ More We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization SpecRel of special relativity from the literature. SpecRel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in SpecRel. As it turns out, this is practically equivalent to asking whether SpecRel is strong enough to "handle" (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to SpecRel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of SpecRel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that the Twin Paradox becomes provable in AccRel, but it is not provable without IND. △ Less

Submitted 25 August, 2005; v1 submitted 25 April, 2005; originally announced April 2005.

Comments: 24 pages, 6 figures

Journal ref: Found.Phys. 36 (2006) 681-714