Showing 1–13 of 13 results for author: Khaled, M

On the networks of large embeddings

Authors: Tuğba Aslan, Mohamed Khaled, Gergely Székely

Abstract: We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably counts the minimum number of dissimilarities, in a sense, between two given algebras in the class in hand; with the possibility that this distance may take the value $\infty$. We display a number of inspirational examples… ▽ More We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably counts the minimum number of dissimilarities, in a sense, between two given algebras in the class in hand; with the possibility that this distance may take the value $\infty$. We display a number of inspirational examples from different areas of algebra, e.g., group theory and monounary algebras, to show that this research direction can be quite remarkable. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 25 pages; 15 figures

MSC Class: Primary 08A60; 03C05; Secondary 08A05; 05C12

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.

Geometrical representation theorems for cylindric-type algebras

Authors: Mohamed Khaled, Tarek Sayed Ahmed

Abstract: In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can also be viewed as multi-modal logics. The proofs herein are combinatorial and we also use some techniques from game theory. In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can also be viewed as multi-modal logics. The proofs herein are combinatorial and we also use some techniques from game theory. △ Less

Submitted 6 November, 2018; originally announced November 2018.

MSC Class: Primary 03G15; Secondary 03G25; 03B45

Stone type representation theorems via games

Authors: Tuğba Aslan, Mohamed Khaled

Abstract: The classes of relativized relation algebras (whose units are not necessarily transitive as binary relations) are known to be finitely axiomatizable. In this article, we give a new proof for this fact that is easier and more transparent than the original proofs. We give direct constructions for all cases, whereas the original proofs reduced the problem to only one case. The proof herein is combina… ▽ More The classes of relativized relation algebras (whose units are not necessarily transitive as binary relations) are known to be finitely axiomatizable. In this article, we give a new proof for this fact that is easier and more transparent than the original proofs. We give direct constructions for all cases, whereas the original proofs reduced the problem to only one case. The proof herein is combinatorial and it uses some techniques from game theory. △ Less

Submitted 6 November, 2018; originally announced November 2018.

MSC Class: Primary 03G15; Secondary 06E25; 03B45

Distances between formal theories

Authors: Michèle Friend, Mohamed Khaled, Koen Lefever, Gergely Székely

Abstract: In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is that of \textit{axiomatic distance}, but we argue that… ▽ More In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is that of \textit{axiomatic distance}, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of \textit{conceptual distance} which measures the minimum number of concepts that distinguish two theories. For instance, we use conceptual distance to show that relativistic and classical kinematics are distinguished by one concept only. We also develop further notions of distance, and we include a number of suggestions for applying and extending our project. △ Less

Submitted 30 July, 2018; v1 submitted 4 July, 2018; originally announced July 2018.

MSC Class: 03B99; 03C07; 03A10; 03G99; 03B80

Journal ref: The Review of Symbolic Logic 13 (2020) 633-654

First order logic without equality on relativized semantics

Authors: Amitayu Banerjee, Mohamed Khaled

Abstract: Let $α\geq 2$ be any ordinal. We consider the class $\mathsf{Drs}_α$ of relativized diagonal free set algebras of dimension $α$. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of $\mathsf{Drs}_α$ are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element… ▽ More Let $α\geq 2$ be any ordinal. We consider the class $\mathsf{Drs}_α$ of relativized diagonal free set algebras of dimension $α$. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of $\mathsf{Drs}_α$ are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element. The class $\mathsf{Drs}_α$ corresponds to first order logic, without equality symbol, with $α$-many variables and on relativized semantics. Hence, in this variation of first order logic, there is no finitely axiomatizable, complete and consistent theory. △ Less

Submitted 29 June, 2018; originally announced July 2018.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:1508.05840 by other authors

Weak Godel's incompleteness property for some decidable versions of first order logic

Authors: Mohamed Khaled

Abstract: The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\inω$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened cylindric algebras ($WCA_n$) were shown, by István Németi, to be examples of decidable versions of first order logic with $n$ variables. In this article, we give new… ▽ More The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\inω$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened cylindric algebras ($WCA_n$) were shown, by István Németi, to be examples of decidable versions of first order logic with $n$ variables. In this article, we give new proofs for the decidability of the equational theories of these classes. We also give an answer to the open problem, posed by Németi in 1985, addressing the atomicity of the finitely generated free algebras of these classes. We prove that all the finitely generated free algebras of the varieties $NCA_n$ and $WCA_n$ are not atomic. In other words, we prove that the corresponding versions of first order logic have weak Gödel's incompleteness property. △ Less

Submitted 16 November, 2015; originally announced November 2015.

MSC Class: 03G15

Journal ref: Logic Journal of the IGPL 25 (5), 2017, pp. 673-685

General normal forms for any additive logic

Authors: Mohamed Khaled

Abstract: In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on the set of formulas, so our normal forms cover logics with partial connectives too. We also show that most of the known normal forms in the literature are in fac… ▽ More In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on the set of formulas, so our normal forms cover logics with partial connectives too. We also show that most of the known normal forms in the literature are in fact particular cases of our general forms. These general normal forms are natural improvement of the distributive normal forms of J. Hintikka and their modal analogues, e.g. [Anderson] and [Fine]. △ Less

Submitted 16 August, 2017; v1 submitted 11 November, 2015; originally announced November 2015.

MSC Class: 03B99

Journal ref: Studia Scientiarum Mathematicarum Hungarica 54(3), 2017, pp. 394-409

Weak Godel's incompleteness property for some decidable versions of the calculus of relations

Authors: Mohamed Khaled

Abstract: Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this paper, we study the atomicity of the finitely generated free algebras of these nice classes of relativized relation algebras. In particular, we give an answer for the open problem, posed by I. Nemeti in 1985, which asks… ▽ More Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this paper, we study the atomicity of the finitely generated free algebras of these nice classes of relativized relation algebras. In particular, we give an answer for the open problem, posed by I. Nemeti in 1985, which asks whether the finitely generated free algebras of the class of the weak associative relation algebras WA are atomic or not. △ Less

Submitted 4 November, 2015; originally announced November 2015.

MSC Class: 03G15

Symbolic Abstractions of Networked Control Systems

Authors: Majid Zamani, Manuel Mazo Jr, Mahmoud Khaled, Alessandro Abate

Abstract: The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and low installation and maintenance costs. In wireless NCS the communication between sensors, controllers, and actuators is supported by a communication channel th… ▽ More The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and low installation and maintenance costs. In wireless NCS the communication between sensors, controllers, and actuators is supported by a communication channel that is likely to introduce variable communication delays, packet losses, limited bandwidth, and other practical non-idealities leading to numerous technical challenges. Although stability properties of NCS have been investigated extensively in the literature, results for NCS under more complex and general objectives, and in particular results dealing with verification or controller synthesis for logical specifications, are much more limited. This work investigates how to address such complex objectives by constructively deriving symbolic models of NCS, while encompassing the mentioned network non-idealities. The obtained abstracted (symbolic) models can then be employed to synthesize hybrid controllers enforcing rich logical specifications over the concrete NCS models. Examples of such general specifications include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings. We thus provide a general synthesis framework that can be flexibly adapted to a number of NCS setups. We illustrate the effectiveness of the results over some case studies. △ Less

Submitted 21 November, 2016; v1 submitted 24 January, 2014; originally announced January 2014.

Comments: 22 pages, 8 figures, 1 table

MSC Class: 93C57; 93C85; 68M10 ACM Class: D.2.4; B.1.2; C.2.1

Strongly representable atom structures and neat embeddings

Authors: Tarek Sayed Ahmed, Mohammed Khaled

Abstract: In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric basis of relation algebras, both algebras are based on one graph such that both the relation and cylindric algebras are representable if and only if the chromatic n… ▽ More In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric basis of relation algebras, both algebras are based on one graph such that both the relation and cylindric algebras are representable if and only if the chromatic number of the graph is infinite. We also relate the syntactic notion of algebras having a (complete) neat embedding property to the semantical notion of having various forms of (complete) relativized representations. Finally, we show that for n>5, the problemn as to whether a finite algebra is in the class SNr_3CA_6 is undecidable. In contrast, we show that for a finite algebra of arbitary finite dimensions that embed into extra dimensions of a another finite algebra, then this algebra have a finite relativized representation. Finally we devise what we call neat games, for such a game if \pe\ has a \ws \ on an atomic algebra \A in certain atomic game and \pa has a \ws in another atomic game, then such algebras are elementary equivalent to neat reducts, but do not have relativized (local) complete represenations. From such results, we infer that the omitting types theorem for finite variable fragments fails even if we consider clique guarded semantics. The size of cliques are determined by the number of pebbles used by \pa\. △ Less

Submitted 14 July, 2013; originally announced July 2013.

Comments: arXiv admin note: text overlap with arXiv:1302.1368, arXiv:1304.1149, arXiv:1305.4570, arXiv:1307.1016

Building relativized representations using games

Authors: Tarek Sayed Ahmed, Mohamed Khaled

Abstract: We prove the celebrated representation theorem of Andreka-Resek-Thompson, together with its polyadic analogue by Ferenczi, using games as introduced in algebraic logic by Hirsch and Hodkinson. We also show that atomic algebras are completely representable and that all such varieties of relativized set algebras have the strong amalgmation property. We prove the celebrated representation theorem of Andreka-Resek-Thompson, together with its polyadic analogue by Ferenczi, using games as introduced in algebraic logic by Hirsch and Hodkinson. We also show that atomic algebras are completely representable and that all such varieties of relativized set algebras have the strong amalgmation property. △ Less

Submitted 4 April, 2013; originally announced April 2013.

Error estimates for Stokes problem with Tresca friction condition

Authors: Ayadi Mekki, Gdoura Mohamed Khaled, Sassi Taoufik

Abstract: In this work we propose and study a three field mixed formulation for solving the Stokes problem with Tresca-type non-linear boundary conditions. Two Lagrange multipliers are used to enforce div(u)=0 constraint and to regularize the energy functional. The resulting problem is discretised using "P1 bubble/P1-P1" finite elements. Error estimates are derived and several numerical studies are achieved… ▽ More In this work we propose and study a three field mixed formulation for solving the Stokes problem with Tresca-type non-linear boundary conditions. Two Lagrange multipliers are used to enforce div(u)=0 constraint and to regularize the energy functional. The resulting problem is discretised using "P1 bubble/P1-P1" finite elements. Error estimates are derived and several numerical studies are achieved. △ Less

Submitted 17 March, 2010; originally announced March 2010.

Report number: Lab. Math. Nicolas Oresme: 2010 - 4. MSC Class: 35; 65; 76

Journal ref: ESAIM: M2AN 48 (2014) 1413-1429