Type structures are a simple device to describe higher-order beliefs. However, how can we check whether two types generate the same belief hierarchy? This paper generalizes the concept of a type morphism and shows that one type structure is contained in another if and only if the former can be...

Type structures are a simple device to describe higher-order beliefs. However, how can we check whether two types generate the same belief hierarchy? This paper generalizes the concept of a type morphism and shows that one type structure is contained in another if and only if the former can be...

This paper shows that the logical properties of constraints imposed by law are fundamentally different from other constraints considered in economics such as budget constraints and bounded rationality constraints, such as the ones based on inattention or shortlisting. This suggests that to fully...

This paper shows that the logical properties of constraints imposed by law are fundamentally different from other constraints considered in economics such as budget constraints and bounded rationality constraints, such as the ones based on inattention or shortlisting. This suggests that to fully...