philosophers from one hand take the “al-vahed” axiom for granted, and on the other hand, they assume that the almighty to be of absolute power. now the question is whether: this is at odds with the “al- vahed” axiom? how can we accept at the same time the absolute power of the almighty and the “al-vahed” axiom? we should say here: majority of philosophers, mystics and kalam specialists have cla...

Using recycled concrete aggregate (RCA) as base/subbase for road construction is alternative way to manage construction waste and reduces the need for virgin aggregates. This paper discusses the long-term performance of concrete pavements on RCA granular layer in comparison to concrete pavements on virgin aggregate granular layer. 18 representative RCA pavement sections across Iowa were primary...

We explain topological properties of the embedding-based approach to computability on topological spaces [10–12]. With this approach, a special kind of embeddings of topological spaces into Plotkin’s Tω, which is the set of infinite sequences of T = {0, 1,⊥}, are considered. Such an embedding can also be characterized by a dyadic subbase, which is a countable subbase S = (S 0 , S 1 0 , S 0 1 , ...

Fly ash is a waste produced in coal-fired thermal power stations. It has pozzolanic properties and can therefore be stabilized to achieve higher strength and durability required for use as pavement substructure specifically as subbase or base layer material. The stabilization of fly ash can be achieved by adding either cement, lime or other materials. Stabilization of fly ash with available ind...

Several axioms concerning probabilistic beliefs are examined here, and the relations between them are established, using belief spaces that generalize Harsanyi type spaces. Two axioms concerning highorder probabilistic beliefs are investigated in particular. The first is the triviality axiom, which says that one is certain (that is, has a belief of degree one) of one’s own beliefs. The second i...

We study domain representations induced by dyadic subbases and show that a proper dyadic subbase S of a second-countable regular space X induces an embedding of X in the set of minimal limit elements of a subdomain D of Tω . In particular, if X is compact, then X is a retract of the set of limit elements of D.