The MULINEM (The Medieval Urban Landscape in Northeastern Mesopotamia) project is aiming to investigate a Late Sasanian and Islamic urban network in the land of Erbil, historic province of Hidyab (Adiabene) that is located in the northern Iraq. The research of the hierarchical urban network in a defined area belongs to approaches rarely used in the study of the Islamic urbanism. The project foc...

The first result of this paper shows that some dynamic topological logics interpreted in various topological spaces with homeomorphisms are not recursively enumerable (and so are not recursively axiomatisable). This gives a ‘negative’ solution to a conjecture of Kremer and Mints [11]. Second, we prove the non-elementary decidability of the dynamic metric logic with distance operators of the for...

By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC ) are polynomially equivalent. Mints and Kojevnikov [11] have recently shown p-equivalence of Frege systems for the Intuitionistic Propositional Calculus (IPC ) in the standard language, building on a description of admissible rules of IPC by Iemhoff [8]. We prove a similar result...

this paper studies two ancient seasonal festivals which were celebrated on summer and winter solstices. because of misconceptions regarding sasanian calendar, these two festivals, known as ābrīzgān and āḍarjašn, have remained unnoticed in modern researches. a sound interpretation of the old iranian calendar as described by biruni would uncover the true character of these festivals. this paper d...

Aberrant amyloid β (Aβ) production plays a causal role in Alzheimer disease pathogenesis. A major cellular pathway for Aβ generation is the activity-dependent endocytosis and proteolytic cleavage of the amyloid precursor protein (APP). However, the molecules controlling activity-dependent APP trafficking in neurons are less defined. Mints are adaptor proteins that directly interact with the end...