Bagheri, Seyed Mohammad; Poizat, Bruno; Pourmahdian, Massoud An arithmetical view to first-order logic. (English) Zbl 1259.03052 Ann. Pure Appl. Logic 161, No. 6, 745-755 (2010). Reviewer: M. Yasuhara (Princeton) MSC: 03C90 03C30 03C80 05C15 PDFBibTeX XMLCite \textit{S. M. Bagheri} et al., Ann. Pure Appl. Logic 161, No. 6, 745--755 (2010; Zbl 1259.03052) Full Text: DOI
Bagheri, Seyed Mohammad; Pourmahdian, Massoud Elementary amalgamation and joint embedding property for intermediate logics. (English) Zbl 1162.03015 Log. J. IGPL 16, No. 6, 561-583 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03B55 03B20 03C90 PDFBibTeX XMLCite \textit{S. M. Bagheri} and \textit{M. Pourmahdian}, Log. J. IGPL 16, No. 6, 561--583 (2008; Zbl 1162.03015) Full Text: DOI
Bagheri, Seyed Mohammad Categoricity and quantifier elimination for intuitionistic theories. (English) Zbl 1106.03034 Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 23-41 (2006). MSC: 03C90 03C35 03C10 03B55 PDFBibTeX XMLCite \textit{S. M. Bagheri}, Lect. Notes Log. 26, 23--41 (2006; Zbl 1106.03034)