We develop a general stochastic model of directed search on the job. Directed search allows us to focus on a Block Recursive Equilibrium (BRE) where agents’ value functions, policy functions and market tightness do not depend on the distribution of workers over wages and unemployment. We formally prove existence of a BRE under various specifications of workers’ preferences and contractual envir...

Islam is the world’s fastest growing religion and at its present rate of expansion it will soon be the predominant religion of mankind. This is not a new or unexpected statistic, however it is something that is slowly making people re-examine their understanding of a religion of which many remain ignorant. Some are taking positive step, and by educating themselves they are discovering the truth...

In presenting specifications and specification properties to a theorem prover, there is a tension between convenience for the user and convenience for the theorem prover. A choice of specification formulation that is most natural to a user may not be the ideal formulation for reasoning about that specification in a theorem prover. However, when the theorem prover is being integrated into a syst...