By the countable completeness of μ, Ult(V, μ) is wellfounded, and we identify it with its Mostowski collapse. Applying Loś’s Theorem, we get that the corresponding supercompactness embedding, the map sending each set a to [f ]μ, where f is the function on Pκ(λ) with constant value a, is elementary. 1.3 Definition. For any embedding j : M → N , where M is a model in the language of set theory, w...

To be successful in tree establishment, an assessment of land suitability would be necessary. The aim of this study was determining the potential habitats of three native tree species (Quercus persica, Pistacia atlantica, Amygdalous scoparia) in Siahkoh region of Ilam County, using Boolean method and Geographic Information Systems (GIS). For this regard, the slope, aspect and hypsometric maps o...

Real Applications of Databases ask for the support of Ag-gregation. This, however, needs stronger semantics than usual. In particular , such semantics should extend the wellfounded semantics WFS. We study such extensions and determine which semantics are possible given certain abstract properties like partial evaluation, cumulativity, partial monotony and supraclassicality. While WFS + (introdu...