در زیر، فهرست برخی از انتشارات رسمی خود را آوردهام:
1) Bi-Colored Expansions of Geometric Theories, Accepted for publication in Annals of Pure and Applied Logic.
در مقاله فوق، نشان دادهایم که چگونه میتوان با استفاده از روشهای هراشوفسکی، مدلهای یک تئوری هندسی را رنگآمیزی کرد و چه ویژگیهایی از تئوری، تحت این رنگآمیزی حفظ میشوند. همکاران این مقاله، سمیه جلیلی و مسعود پورمهدیان هستند.
2) The additive structure of integers with the lower Wythoff sequence, Archive for Mathematical Logic.
در مقالهٔ فوق، تصمیمپذیری ساختارجمعی اعداد طبیعی، به همراه دنبالهٔ بیتی ساخته شده با نسبت طلایی اثبات شده است. همکار این مقاله، افشین زارعی است.
3) Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence, Annals of Pure and Applied Logic.
در مقالهٔ فوق، تصمیمپذیری ساختار جمعی اعداد صحیح به همراه یک دنبالهٔ بیتی دلخواه را اثبات کردهایم. همکاران این مقاله، افشین زارعی و علی ولیزاده هستند.
4) The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two, Archive for Mathematical Logic.
در این مقاله ثابت کردهام که ساختار میدان اعداد حقیقی به همراه اعداد حقیقی جبری و زیرگروه توانهای صحیح عدد ۲، از دید نظریهی مدلی رام است؛ یعنی اعداد طبیعی در آن تعریف نمیشوند.
5) On the metrizability of cone metric spaces, Topology and its Applications
این مقاله را در دورهی کارشناسی ارشد نوشتهام. در آن ثابت کردهایم که فضاهای متریک مخروطی (که آن زمان بسیار مورد توجه بودند) چیزی فراتر از فضاهای متریک نیستند. این مقاله با همکاری مسعود پورمهدیان نوشته شده است.
۶) رسالههای دکتری و کارشناسی ارشد
برای مشاهدهٔ یادداشتها و جزوات مختلف غیررسمی من، این صفحه را مشاهده بفرمائید.