234 results on '"Ahmed, Tarek Sayed"'
Search Results
2. Completely representable neat reducts
3. An infinite stratum of representability; some cylindric algebras are more representable than others
4. Non elementary classes of relation and cylindric algebras
5. A universal approach to Omitting types for various multimodal and quantifier logics
6. Hilbert's tenth problem, G\'odel's incompleteness, Halting problem, a unifying perspective
7. Geometrical representation theorems for cylindric-type algebras
8. LIFTING RESULTS FOR FINITE DIMENSIONS TO THE TRANSFINITE IN SYSTEMS OF VARIETIES USING ULTRAPRODUCTS.
9. Impact of organizational trust on organizational commitment: the moderating effect of national identity
10. The Role of Awareness of Consequences in Predicting the Local Tourists’ Plastic Waste Reduction Behavioral Intention: The Extension of Planned Behavior Theory
11. Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{\omega, \omega}
12. A brief history of algebraic logic from neat embeddings to rainbow constructions
13. Finite relation algebras and omitting types in modal fragments of first order logic
14. Splitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras
15. A solution to the finitizability problem for quantifier logics with equality
16. Problems on neat embeddings solved by rainbow constructions and Monk algebras
17. The Role of Awareness of Consequences in Predicting the Local Tourist’s Plastic Waste Reduction Behavioral Intention: The Extension of Planned Behavior Theory
18. Atom-canonicity and complete representations for cylindric-like algebras, and omitting types for the clque guarded fragment of first order logic
19. Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras
20. Amalgamation, interpolation and congruence extension properties in topological cylindric algebras
21. Algebraisable versions of predicate topological logic
22. Dedekind completions, neat embeddings and omitting types
23. A brief history of Tarskian algebraic logic with new perspectives and innovations
24. Cylindric and polyadic algebras, new perspectives
25. Atom-canonicity, relativized representations and omitting types for clique guarded semantics and guarded logics
26. Strongly representable atom structures and neat embeddings
27. On completions, neat embeddings and omittings types, yet again
28. A polyadic algebra of infinite dimension is completely representable if and only if it is atomic and completely additive
29. For finite n\geq 3, and k\geq 4, the variety SNr_n\CA_{n+k} is not atom canonical
30. There is no finite variable axiomatization for various diagonal free algebras
31. Blowing up and blurring finite Monk and rainbow algebras
32. Various interplays between relation and cylindric algebras
33. Strongly representable algebras
34. On neat atom structures for cylindric like algebras
35. On atomicity of free algebras in Boolean algebras with operators, and a new result on Pinter's free algebras
36. Strongly representable atom structures
37. Blow up and Blur constructions in Algebraic Logic
38. On completions of algebras in SNr_nCA_{n+k}, n\geq 3, k\geq 1
39. Results on Polyadic Algebras
40. The elementary closure of the class Nr_nCA_m for m\geq n+1 is not finitely axiomatizable, futhermore for any finite k\geq 1, there is A\in Nr_{\omega}CA_{\omeg+k}that is not SNr_{\omega}CA_{\omega+k+1}
41. Logics to which the class of neat reducts is sensitive to
42. Amalgmation in Boolean algebras with operators
43. Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras
44. Polyadic-like algebras without the amalgamation property
45. On finitely generated reducts of polyadic equality algebras
46. Building relativized representations using games
47. Some metalogical properties for infinitary predicate topological logic
48. Free algebras, amalgamation, and a theorem of Vaught for many valued logics
49. On some open problems in Algebraic logic
50. Representation theorems in modal logic using algebraic logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.