Mohamed Khaled

From MaRDI portal
Person:1731560



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
On the networks of large embeddings
Algebra Universalis
2024-07-29Paper
The free non-commutative cylindric algebras are not atomic
Logic Journal of the IGPL
2022-08-10Paper
Distances between formal theories
The Review of Symbolic Logic
2020-08-26Paper
Geometrical representation theorems for cylindric-type algebras
Quaestiones Mathematicae
2020-02-10Paper
Atoms in infinite dimensional free sequence-set algebras
Algebra Universalis
2019-10-09Paper
The finitely axiomatizable complete theories of non-associative arrow frames
Advances in Mathematics
2019-03-13Paper
Stone type representation theorems via games
Colloquium Mathematicum
2019-01-30Paper
Stone type representation theorems via games
Colloquium Mathematicum
2019-01-30Paper
First order logic without equality on relativized semantics
Annals of Pure and Applied Logic
2018-10-04Paper
First order logic without equality on relativized semantics
Annals of Pure and Applied Logic
2018-10-04Paper
General normal forms for any additive logic
Studia Scientiarum Mathematicarum Hungarica
2018-03-14Paper
Weak Godel's incompleteness property for some decidable versions of the calculus of relations2015-11-04Paper
Classes of algebras that are not closed under completions2014-04-23Paper
Vaught's theorem holds for \(L_{2}\) but fails for \(L_{n}\) when \(n > 2\)2014-04-23Paper
Building relativized representations using games2013-04-04Paper
Omitting types algebraically via cylindric algebras2009-10-23Paper
On complete representations of algebras of logic
Logic Journal of the IGPL
2009-06-29Paper


Research outcomes over time


This page was built for person: Mohamed Khaled