Publications

A. Mofidi, On the VC-dimension, covering and separating properties of the cycle and spanning tree hypergraphs of graphs Transactions on Combinatorics 11(2022), 29-43
A. Mofidi, Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem Bull. Iranian Math. Soc. (to appear)
M. Ghari, A note on fixed points in quantified logic of proofs and the surprise test paradox (In Persian) Logical Studies (to appear)
M. Ghari, Linear temporal justifiCation logics with past and future time modalities Log. J. IGPL (to appear)
K. Khanaki, $\Aleph_0$-categorical Banach spaces contain $\Ell_P$ or $C_0$ Math. Logic Quart. (to appear)
S. Tari, Strong cell decomposition property in o-minimal traces Arch. Math. Logic (2020), DOI: 10.1007/s00153-020-00739-2
Sh. Mohsenipour, Discrete orderings in the real spectrum J. Algebra 560(2020), 1-16
. Bahrami, Tanaka's theorem revisited Arch. Math. Logic (to appear)
A. Mofidi, On partial cubes, well-graded families and their duals with some applications in graphs Discrete Appl. Math. (to appear)
M. Tavangar (Joint with E. Salehi), Stochastic comparisons on conditional residual lifetime and inactivity time of coherent systems with exchangeable components Statist. Probab. Lett. 145(2019), 327-337
S. Salehi (Joint with Z. Assadi), On decidability and axiomatizability of some ordered structures Soft Computing 23(2019), 3615â??3626
M. Golshani (Joint with Y. Hayut), The special aronszajn tree property J. Math. Log. (2018), DOI: 10.1142/S0219061320500038
. Golshani, The generalized Kurepa hypothesis at singular cardinals Period. Math. Hungar. (2018), DOI: 10.1007/s10998-018-02667-7
M. Golshani (Joint with S. Shelah), On cuts in ultraproducts of linear orders II J. Symbolic Logic 83(2018), 29-39
M. Golshani (Joint with Y. Hayut), The tree property on a countable segment of successors of singular cardinals Fund. Math. 240(2018), 199-204
M. Golshani (Joint with M. Gitik), Adding a lot of random reals by adding a few Fund. Math. 241(2018), 97-108
M. Golshani, The tree property at the successor of a singular limit of measurable cardinals Arch. Math. Logic 57(2018), 3-25
M. Golshani (Joint with R. Mohammadpour), The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps Ann. Pure Appl. Logic 169(2018), 164-175
M. R. Koushesh (Joint with A. Khademi), On closed non-vanishing ideals in $C_{B}(X)$ II; compactness properties Topology Appl. 24(2018), 125-136
M. Golshani (Joint with V. Kanovei and V. Lyubetsky), A Groszek-Laver pair of undistinguishable $E_{0}$-classes Math. Logic Quart. (2017), DOI: 10.1002/malq.201500020
M. Golshani, An Easton like theorem in the presence of Shelah cardinals Arch. Math. Logic 56(2017), 273-287
M. Golshani, HOD, V and the GCH J. Symbolic Logic (2017), 224-246
A. Mofidi, On Some Dynamical Aspects Of NIP Theories Arch. Math. Logic (to appear)
Z. Ghadrenezhad and M. Pourmahdian (Joint with H. Khalilian), Automorphism groups of generic structures: extreme amenability and amenability Fund. Math. (to appear)
M. Ghari (Joint with S. Bucheli and T. Studer), Temporal Justification Logic 243 Electronic Proceedings in Theoretical Computer Science, , , 59-74, (2017)
S. Tari, Some definable properties of sets in non-valuational weakly o-minimal structures Arch. Math. Logic (2017), DOI: 10.1007/s00153-017-0523-1
M. Ghari, Labeled sequent calculusfor justification logics Ann. Pure Appl. Logic 168(2017), 72-111
S. Salehi (Joint with P. Seraji), Godel-Rosser's incompleteness theorem, generalized and optimized for definable theories J. Logic Comput. 27(2017), 1391-1397
M. Golshani (Joint with S. Shelah), On cuts in ultraproducts of linear orders I J. Math. Log. (2016), DOI: 10.1142/S0219061316500082
M. Golshani (Joint with Y. Hayut), On Foreman's maximality principle J. Symbolic Logic 81(2016), 1344-1356
K. Khanaki, Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic Fund. Math. 234(2016), 253-286
M. Ghari, Pavelka-style fuzzy justification logics Log. J. IGPL 24(2016), 743-773
A . Khamseh and G. R. Omidi, A generalization of Ramsey theory for stars and one matching Math. Reports (to appear)
M. Golshani (Joint with J. Cummings and Sy. D. Friedman), Collapsing the cardinals of Hod J. Math. Log. 15(2015), DOI: 10.1142/S0219061315500075
M. Golshani (Joint with M. Gitik), Adding a lot of Cohen reals by adding a few. II Fund. Math. 231(2015), 209-224
M. Golshani (Joint with A. S. Daghighi, J. Hamkins, and E. Jerabek), The foundation axiom and elementary self-embeddings of the universe 23 Infinity, computability, and metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, S. Geschke, B. LÃ¶we, and P. Schlicht, Coll. Publ., London, , 89-112, (2014)
M. Pourmahdian and N. Roshandel Tavana (Joint with S. M. A. Khatami), From rational Godel logic to ultrametric logic J. Logic Comput. (to appear)
N. Roshandel Tavana (Joint with K. Weihrauch), Representations of measurable sets in computable measure theory LMCS (2014), DOI: 10.2168/LMCS(3:7)2014
A. Khamseh (Joint with M. Aghaei), Combinatorial unprovability proofs and their model-theoretic counterparts Notre Dame J. Formal Logic 55(2014), 231-244
M. Ghari, Distributed knowledge justification logics Theory Comput. Syst. 55(2014), 1-40
S. Akbari, G.B. Khosrovshahi and A. Mofidi, Nowhere-zero 6-flows: A linear algebraic approach Bull. Inst. Combin. Appl. (to appear)
S. Salehi, Godel's incompleteness phenomenon-computationally Philosophia Scientiae 18(2014), 23-37
M. Golshani, More on almost Souslin Kurepa trees Proc. Amer. Math. Soc. 142(2014), 3631-3634
M. Pourmahdian and N. R. Tavana (Joint with F. Didehvar), Effective metric model theory Math. Structures Comput. Sci. (2014), DOI: 10.1017/S0960129513000352
M. Golshani (Joint with Sy-D. Friedman), Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH Fund. Math. 223(2013), 171-193
S. M . Bagheri (Joint with Mor. Moniri), Preservation theorems in Lukasiewicz model theory Iran. J. Fuzzy Syst. 10(2013), 103-113
S. Salehi, Herbrand consistency of some finite fragments of bounded arithmetical theories Arch. Math. Logic 52(2013), 317-333
M. Moniri (Joint with S. H. Sajjadi), Regular cuts in models of bounded arithmetic Bull. Sect. Logic Univ. Å?odz (to appear)
M. Golshani (Joint with Sy-D. Friedman), Killing the GCH everywhere with a single real J. Symbolic Logic 78(2013), 803-823
Mor. Moniri, Fuzzy and intuitionistic fuzzy Turing machines Fundamenta Informaticae 123(2013), 305-315
S. Salehi, Axiomatizing mathematical theories: Multiplication Proceedings of Frontiers in Mathematical Sciences, , , 165-176, (2012)
S. Salehi, Computation in logic and logic in computation Proceedings of the Third International Conference on Contemporary Issues in Computer and Information Sciences 2012, , , , (2012)
M. Pourmahdian and N. R. Tavana, Compactness in first-order Godel logics J. Logic Comput. (2012), DOI 10.1093/logcom/exs037
S. Salehi, Herbrand consistency of some arithmetical theories J. Symbolic Logic 77(2012), 807-827
M. Goshani (Joint with Sy-D. Friedman), Independence of higher Kurepa hypotheses Arch. Math. Logic 51(2012), 621-633
M. Golshani (Joint with E. Eslami), Shelah's strong covering property and CH in $V[r]$ Math. Logic Quart. 58(2012), 153-158
M. Golshani, Almost Souslin Kurepa trees Proc. Amer. Math. Soc. 141(2012), 1821-1826
M. S. Fallah (Joint with B. Sattarzadeh), Is cryptic able to detect insider attacks? LNCS, , , 230-244, (2011)
M. S. Fallah (Joint with A. Afshar), Reconstructing security types for automated policy enforcement in FABLE International Conference on Network and System Security, IEEE Computer Society Press, , 358-363, (2011)
Mor. Moniri (Joint with H. Farahani and R. A. Borzooei), Logical characterization of filters on BL-algebras J. of Mult.-Valued Logic and Soft Computing (to appear)
M. Pourmahidan and M. Ali-Akbari, Computational models of certain hyperspace of quasi-metric spaces LMCS 7(2011), 1-25
S. Akbari, G. B. Khosrovshahi and A. Mofidi, Zero-sum flows in designs J. Combin. Des. 19(2011), 355-364
M. S. Fallah (Joint with A. Noorollahi), A logical view of nonmonotonicity in access control Poceedings of the International Wrokshop on Model-Based and Policy-Based Engineering in Information Security, , , , (2011)
S. M. Bagheri and M. Pourmahdian, Omitting types in an intermediate logic Studia Logica 97(2011), 319-328
Sh. Mohsenipour, Hierarchies of subsystems of weak arithmetic Lect. Notes Log. 36(2011), 80-92
Sh. Mohsenipour, Model theory of the inaccessibility scheme Arch. Math. Logic 50(2011), 697-706
M. Pourmahdian (Joint with M. Khani), On the metrizability of cone metric spaces Topology Appl. 158(2011), 190-193
M. Pourmahdian (Joint with M. Aliakbari), Completeness of hyperspaces of compact subsets of quasi-metric spaces Acta Math. Hungar. 127(2010), 260-272
M. Pourmahdian (Joint with F. Didehvar and K. Ghasemloo), Effectiveness in RPL, with applications to continuous logic Ann. Pure Appl. Logic 161(2010), 709-828
M. Pourmahdian (Joint with M. Ali-Akbari and B. Honari), Any $T_{1}$ space has a continous poset model Topology Appl. (to appear)
M. Pourmahdian (Joint with M. Ali-Akbari, B. Honari, and M. M. Rezaeii), The space of formal balls and models of quasi-metric spaces Math. Structures Comput. Sci. (to appear)
S. M. Bagheri and M. Pourmahdian, Elementary amalgamation and joint embedding property for intermediate logics Log. J. IGPL (to appear)
Sh. Mohsenipour (Joint with A. Enayat), Model theory of the regularity and reflection schemes Arch. Math. Logic 47(2008), 447-464
Sh. Mohsenipour, On Keisler singular-like models Math. Logic Quart. 54(2008), 324-330
E. Eslami (Joint with J. J. Buckley), Pricing stock options using black-scholes and fuzzy sets IJFS 4(2008), 165-176
F. Didehvar (Sh. Arab, Ch. Eslahchi, and M. Sadeghi), Helix segment assignment in proteins using fuzzy logic IRANIAN JOURNAL of BIOTECHNOLOGY 5(2007), 93-99
S. M. Ayat, The Skolem-Bang theorems in ordered fields with an IP J. Algebra (to appear)
Sh. Mohsenipour, A generalization of the Keisler-Morley theorem to recursively saturated ordered structures Math. Logic Quart. 53(2007), 289-294
Sh. Mohsenipour, A note on subsystems of open induction J. Symbolic Logic 72(2007), 1318-1322
E. Eslami (Joint with J. J. Buckley), Pricing forwards/futures and swaps using fuzzy sets Adv. in Fuzzy Sets and Systems 2(2007), 143?163
Mor. Moniri, Preservation theorems for bounded formulas Arch. Math. Logic 46(2007), 9-14
S. M. Bagheri and M. Pourmahdian, Diagram construction in intuitionistic logic Log. J. IGPL 16(2006), 889-901
Sh. Mohsenipour, A recursive nonstandard model for open induction with GCD property and confinal primes Lect. Notes Log. 26(2006), 227-238
M. Pourmahdian (Joint with F. Wagner), A simple positive Robinson theory with $LSTP\neq STP$ Lect. Notes Log. 26(2006), 270-283
M. Alizadeh (Joint with M. Ardeshir), Amalgamation property for the class of basic algebras and some of its natural subclasses Arch. Math. Logic 45(2006), 913-930
M. Alizadeh (Joint with M. Ardeshir), On L\"{o}b algebras Math. Logic Quart. 52(2006), 95-105
S. M. Bagheri, Categoricity and quantifier elimination for intuitionistic theories Lect. Notes Log. 26(2006), 23-41
S. M. Bagheri, Some preservation theorems in an intermediate logic Math. Logic Quart. 52(2006), 125-133
Mor. Moniri, Model theory of bounded arithmetic with applications to independence results Lect. Notes Log. 26(2006), 239-247
M. Ghasemi and Moj. Moniri, Beatty sequences and the arithmetical hierarchy Lect. Notes Log. 26(2006), 126-133
S. M. Ayat and Moj. Moniri, Real closed fields and IP-sensitivity Lect. Notes Log. 26(2006), 1-22
Mor. Moniri, Polynomial induction and length minimization in intuitionistic bounded arithmetic Math. Logic Quart. 51(2005), 73-76
S. M. Bagheri and Moj. Moniri, Joint embedding and amalgamation for certain classes of ordered fields J. Appl. Algebra Discrete Struct. 3(2005), 159-167
Mor. Moniri, Corrigendum to: "weak arithmetics and Kripke models" Math. Logic Quart. 50(2004), 637-638
M. Pourmahdian, The stable forking conjecture in homogeneous model theory Log. J. IGPL 12(2004), 171-180
M. Alizadeh and M. Ardeshir, On the linear Lindenbaum algebra of Basic Propositional Logic Math. Logic Quart. 50(2004), 65-70
S. M. Bagheri, On translations of complete first order theories Math. Logic Quart. 49(2003), 87-91
Moj. Moniri and J. S. Eivazloo, Relatively complete ordered fields without integer parts Fund. Math. 179(2003), 17-25
M. Aghaei and M. Ardeshir, A Gentzen-style axiomatization for basic predicate calculus Arch. Math. Logic 42(2003), 245-259
Mor. Moniri, Comparing constructive arithmetical theories based on $NP$-PIND and co$NP$-PIND J. Logic Comput. 13(2003), 881-888
S. M. Bagheri and Mor. Moniri, Some results on Kripke models over an arbitrary fixed frame Math. Logic Quart. 49(2003), 479-484
Mor. Moniri, Intuitionistic weak arithmetic Arch. Math. Logic 42(2003), 791-796
J. S. Eivazloo and Moj. Moniri, Expansions of ordered fields without definable gaps Math. Logic Quart. 49(2003), 72-82
Mor. Moniri, On two questions about feasibly Constructive Arithmetic Math. Logic Quart. 49(2003), 425-427
Mor. Moniri, Independence results for weak systems of intuitionistic arithmetic Math. Logic Quart. 49(2003), 250-254
M. Pourmahdian, Simple generic structures Ann. Pure Appl. Logic 121(2003), 227-260
M. Pourmahdian, The stable forking conjecture and generic structures Arch. Math. Logic 42(2003), 415-421
Moj. Moniri and J. S. Eivazloo, Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues Proceedings of the Ninth Prague Topological Symposium, Petr Simon, ed., Topol. Atlas, 195-203, (2002)
Moj. Moniri and J. S. Eivazloo, Pathological functions on Puiseux series ordered fields and others Lobachevskii J. Math. 11(2002), 13-18
Mor. Moniri, Weak arithmetics and Kripke models Math. Logic Quart. 48(2002), 157--160
Mor. Moniri and Moj. Moniri, Some weak fragments of $HA$ and certain closure properties J. Symbolic Logic 67(2002), 91-103
Mor. Moniri, ${\cal H}$-theories, fragments of $HA$ and $PA$-normality Arch. Math. Logic 41(2002), 101-105
M. Pourmahdian, Smooth classes without AC and Robinson theories J. Symbolic Logic 67(2002), 1274-1294
M. Aghaei and M. Ardeshir, Gentzen-style axiomatizations for some conservative extensions of basic propositional logic Studia Logica 68(2001), 263-285
M. Aghaei and M. Ardeshir, A bounded translation of intuitionistic propositional logic into basic propositional logic Math. Logic Quart. 46(2000), 199-206
F. Didehvar, On a class of recursively enumerable sets Math. Logic Quart. 45(1999), 467-470
S. M. Bagheri, Fundamental order of a one-based theory J. Symbolic Logic 64(1999), 1426-1438
M. Ardeshir and Moj. Moniri, Intuitionistic open induction and least number principle and the Buss operator Notre Dame J. Formal Logic 39(1998), 212-220
S.S. Goncharov and M. Pourmahdian, Iterated expansions of models for countable theories and their applications Algebra and Logic 34(1995), 346-358