147 research outputs found

    Inductive Definition and Domain Theoretic Properties of Fully Abstract

    Full text link
    A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent non-deterministic strategies introduced by the author in the seventies. Although these notions of strategies are old, the definition of the fully abstract models is new, in that it is given level-by-level in the finite type hierarchy. To prove full abstraction and non-dcpo domain theoretic properties of these models, a theory of computational strategies is developed. This is also an alternative and, in a sense, an analogue to the later game strategy semantics approaches of Abramsky, Jagadeesan, and Malacaria; Hyland and Ong; and Nickau. In both cases of PCF and PCF^+ there are definable universal (surjective) functionals from numerical functions to any given type, respectively, which also makes each of these models unique up to isomorphism. Although such models are non-omega-complete and therefore not continuous in the traditional terminology, they are also proved to be sequentially complete (a weakened form of omega-completeness), "naturally" continuous (with respect to existing directed "pointwise", or "natural" lubs) and also "naturally" omega-algebraic and "naturally" bounded complete -- appropriate generalisation of the ordinary notions of domain theory to the case of non-dcpos.Comment: 50 page

    PƤikesekuninga kontseptsiooni tekkest ja arengust Anatoolias II eelkristlikul aastatuhandel

    Get PDF
    The concept of sun king was widely spread in ancient cultures, for example in Peru (among the Incas), India, and the Ancient Middle East already in the 2nd and 3rd millennium BC. In Ancient Egypt the perception of Pharaoh as the son of Ra and the sun king formed in the Old Kingdom by the middle of the 3rd millennium BC. The king was identified with the sun already by Hittites, Babylonians, and Assyrians in the 2nd millennium BC. Among the Hittites, ā€˜My Sunā€™, which could be interpreted also as ā€˜Majestyā€™, became the most popular royal title. The first Assyrian ruler to adopt the epithet ā€˜the Sun God of All Peopleā€™ was the despotic Tukulti-Ninurta I (1244ā€“1208). Until now, some scholars have argued that the concept of sun kind emerged in Mesopotamia and Anatolia under the influence of Egypt. This argument, however, has little ground because it is not likely, at least there is no record of it, that Egypt had contacts with Mesopotamia and Anatolia prior to the 3rd millennium BC, and by the 2nd millennium the contacts had been established but the influence of Egypt on Anatolia was rather limited. At the same time, the influence of Mesopotamia and the local Hattians, who had occupied Anatolia before the coming of Hittites, on the Hittite ideology was remarkable. Several concepts connected to Hittite royalty have been borrowed from Mesopotamia, and from Hattians. There is circumstantial evidence that the concept of sun king may have emerged at the end of the 3rd millennium BC in Sumer and Akkad, and from there spread to Anatolia. It cannot be ruled out, though, that the phenomenon may have emerged spontaneously and developed independently without major external influences

    Kuningas Å ulgi laul: mƵned mƤrkused Uus-Sumeri kuninga Å ulgi (2093ā€“2046) kuningavƵimu ideoloogia kohta

    Get PDF
    Vladimir Sazonov, The Song of Sulgi: Some Remarks Concerning the Royal Ideology of the Neo-Sumerian King Sulgi (2093-2046 BC)This paper concentrates on the complicated question of the deification of the Neo-Sumerian king Sulgi (2093-2046 BC), the second ruler of the III Dynasty of Ur (2112-2004 BC). The founder of this III Dynasty of Ur and Neo-Sumerian kingdom, with the capital in the important Sumerian political and religious centre Ur, was the Sumerian general Ur-Namma (2112-2094). During the rule of his son Sulgi, the Neo-Sumerian kingdom became a strong and powerful state, which had probably achieved the hegemony over whole Mesopotamia and over some important city-states in Elam (located in Southern-East Iran).Nevertheless, Sulgi was not the first deified king in Mesopotamia. The first deified king attested in the archaeological sources (royal inscriptions, seal expressions and Stele of NarSm-Suā€™en) was NarAm-Suā€™en of Akkad (2254-2218 BC). Some years later, after death of NarQm-Suā€™ens (ca 2218), his son SarkalisarrI (2217-2193 BC) no longer claimed divinity for himself.Sulgi restored the cult of the deified kings in Mesopotamia. This event took place evidently in the first half of the reign-period of the king Sulgi. There were composed many royal hymns in his honour, in which he was praised as a hero and deity in his own country. He was called ā€ždivine Sulgiā€ and ā€žGod of all young menā€ etc. in inscriptions and other texts. However, in this paper we do not concentrate on all aspects of the deification of Sulgi, but on some issues, like the royal titles and epithets concerning the deification of Sulgi, and on the composition of ā€žSong of Sulgiā€. We know that after Sulgiā€™s death (ca 2046 BC) the following rulers in Sumer had a divine status: Sulgiā€™s Son Amar-Suā€™en, then Su-Suā€™en, Ibbi-Suā€™en. Later also all kings of the I1* Dynasty of Isin since Isbi-Erra (2017-1985 BC) were deified

    Universalistic Ambitions, Deification and Claims of divine Origin of Mesopotamian Rulers: the LagaÅ” II Dynasty

    Get PDF
    No doubt, the concept of universalistic claims and assertions for divine origin by the Mesopotamian rulers can be traced back to Early Dynastic LagaÅ” (25thā€“24th centuries BC). After Early Dynastic LagaÅ” was conquered by Sargon of Akkad, the new possibility for universalistic claims and assertions for divine origin for the rulers of LagaÅ” opened again after fall of the Empireof Akkad (c. 2154 BC), when the city-state of LagaÅ” became independent. Rulers of II Dynasty of LagaÅ” (Ur-Bau, Gudea) re-introduced the idea of the divine origin of a ruler and this idea of divine origin of a ruler culminated during the reign of Gudea (22nd century BC), who was the most significant and powerful ruler of II Dynasty LagaÅ”. Gudea claimed not only divine origin for himself, he also proclaimed that he was the sun-god Utu of his people who roseover his own city and he re-introduced universalistic expressions and epithets for his gods, which were used in LagaÅ” first in the times of Early Dynastic period by E-anatum and some of his successors. It seems that Gudea was the first ruler in the Sumero-Akkadian world who introduced the idea of solar kingship, promoted the new concept that a king is a ā€œsun-godā€, a phenomenon which was later used by several kings of Ur III Dynasty (2112ā€“2004 BC) like Å ulgi and Amar-Suā€™ena, and then later by several Assyrian and Babylonian kings of II-I millennia

    Haljand Udam, TĆ¼rgi. Teekond lƤbi TĆ¼rgi tsivilisatsiooni ajaloo

    Get PDF

    MƵningad mƤrkused neetud Akkadi kuninga karistamise legendide kohta

    Get PDF
    Some Remarks Concerning The Legends About Punishing Damned Akkadian KingThe importance of Akkadian kings for the whole mankind in political history, and especially in establishing and evolution of royal ideology and state administration, is very significant. The imperial system, which was founded by Akkadian kings, was followed by many Ancient Near Eastern monarchies and states like Neo-Sumerian kingdom, Babylonia, Assyria, Persia, Hittite empire etc.Sargon I (24,h century BCE), the legendary founder of the Akkadian Empire, and also his grandson Naram-Suā€™en (23rd century BCE) became very popular and famous people in the ancient Near Eastern literature, first of all in the Sumerian and Akkadian legends and chronicles, which were later translated into other ancient oriental languages like Hittite or Hurrian. The famous legend ā€žThe King of Battleā€œ (sar tamhari), which was written in the Akkadian language, tells us about the military campaign of Sargon I in Anatolia against the state of Purushanda.If Sargon I was mostly represented and described in literary works as ā€ža positive kingā€œ, as the ā€žchosen one of Goddess Istarā€œ and ā€ža favourite of Enlil and other great gods of Sumer and Akkad, as legitimate shepherd and viceregent of gods on the Earthā€ (with one exception in ā€žChronicle of Weidnerā€œ, where Sargon was represented as a negative personality), then his grandson - also a great conqueror king Naram-Suā€™en was in almost all cases described and showed as a very negative person, a wrongful and unrighteous king, who had overcome restrictions of god, being very insolent and having destroyed and befouled the main sanctuary of the main god Enlil. For that reason he and his city Agade and also the Akkadian king were punished and damned to eternity. Literary works such as ā€žThe Curse of Agadeā€œ, ā€žThe Tenth Battleā€œ etc. can be observed as didactical lessons, which purpose lies in showing for the future rulers what may happen to a king if he is very insolent and conflicted with priesthood and gods

    THE BACKGROUND AND ANATOMY OF RUSSIAN MILITARY AGGRESSION IN UKRAINE

    Get PDF
    The current volume entitled ā€œThe Background and Anatomy of Russian Aggressionā€ is the first volume of the announced series ā€œPutinā€™s war in Ukraineā€ which will discuss issues and topics related to Putin and Russian military aggression in Ukraine, especially focusing on the background of this large-scale war which Russia launched on 24 February 2022. However, the Russian war against Ukraine started back in 2014 (annexing Crimea and creating the terrorist quasi-states the Donetsk Peopleā€™s Republic and the Lugansk Peopleā€™s Republic in the Donbass region).1 No war has been this large, caused this much destruction or forced this many people to live as refugees since 1945, after the Second World War ended in Europe.   &nbsp
    • ā€¦
    corecore