T. S. Ahmed

collaborators

2 papers

math.LO2018

Morley's theorem and Vaught's conjecture via Algebraic logic

M. Assem, T. S. Ahmed, G. Sági +1

Vaught's Conjecture states that if $T$ is a complete first order theory in a countable language that has more than $ℵ_{0}$ pairwise non-isomorphic countably infinite models, the…

math.LO2018

Back and forth between algebraic geometry, algebraic logic, sheaves and forcing

Trek Sayed Ahmed

We study sheaves in the context of a duality theory for lattice structure endowed with extra operations, and in the context of forcing in a topos. Using Sheaf duality theory of Com…