| Publication | Date of Publication | Type |
|---|
Bi-colored expansions of geometric theories
Annals of Pure and Applied Logic | 2024-12-12 | Paper |
| The Craig Interpolation Property in First-order G\"odel Logic | 2023-09-19 | Paper |
| Bi-Colored Expansions of Geometric Theories | 2022-04-19 | Paper |
| A Strictly $ \text{NSOP}_3 $ Theory | 2020-11-08 | Paper |
Pseudofiniteness in Hrushovski constructions
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Pseudofiniteness in Hrushovski constructions
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Strict superstablity and decidability of certain generic graphs
Bulletin of the Iranian Mathematical Society | 2019-11-04 | Paper |
| Continuous integration logic | 2019-09-30 | Paper |
On some properties of Shelah cardinals
Bulletin of the Iranian Mathematical Society | 2019-03-22 | Paper |
Strict Superstablity and Decidability of Certain Generic Graphs
(available as arXiv preprint) | 2019-03-01 | Paper |
| A Dependent Bi-Coloured Field | 2018-10-21 | Paper |
Probability Logic: A Model Theoretic Perspective
(available as arXiv preprint) | 2018-10-17 | Paper |
Automorphism groups of generic structures: extreme amenability and amenability
Fundamenta Mathematicae | 2018-06-07 | Paper |
On Some Properties of Shelah Cardinals
(available as arXiv preprint) | 2017-08-11 | Paper |
The definable tree property for successors of cardinals
Archive for Mathematical Logic | 2017-02-02 | Paper |
| Some Model Theoretic Properties of Non-AC Generic Structures | 2016-06-18 | Paper |
On the compactness property of extensions of first-order Gödel logic
Iranian Journal of Fuzzy Systems | 2016-05-13 | Paper |
On the compactness property of extensions of first-order Gödel logic
Iranian Journal of Fuzzy Systems | 2016-05-13 | Paper |
Compactness in first-order Gödel logics
Journal Of Logic And Computation | 2013-06-27 | Paper |
Compactness in first order Łukasiewicz logic
Logic Journal of the IGPL | 2012-08-01 | Paper |
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Logical Methods in Computer Science | 2012-04-02 | Paper |
An arithmetical view to first-order logic
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Effectiveness in RPL, with applications to continuous logic
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Omitting types in an intermediate logic
Studia Logica | 2011-05-27 | Paper |
The logic of integration
Archive for Mathematical Logic | 2009-07-24 | Paper |
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics
Logic Journal of the IGPL | 2009-01-21 | Paper |
Diagram Construction in Intuitionistic Logic
Logic Journal of the IGPL | 2007-02-15 | Paper |
| A simple positive Robinson theory with \(\text{LSTP}\neq \text{STP}\) | 2006-10-23 | Paper |
The Stable Forking Conjecture in Homogeneous Model Theory
Logic Journal of the IGPL | 2004-10-28 | Paper |
Smooth classes without AC and Robinson theories
Journal of Symbolic Logic | 2004-03-01 | Paper |
The stable forking conjecture and generic structures
Archive for Mathematical Logic | 2003-09-16 | Paper |
Simple generic structures
Annals of Pure and Applied Logic | 2003-07-30 | Paper |
Dynamic Probability Logics: Axiomatization & Definability
(available as arXiv preprint) | N/A | Paper |
