Type structures are a simple device to describe higherorder beliefs. But 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 mapped into the other using a generalized type morphism. Hence, every generalized type morphism is a hierarchy morphism and vice versa. Importantly, generalized type morphisms do not make reference to belief hierarchies. We use our results to characterize the conditions under which types generate the same belief hierarchy.
Original language  English (US) 

Number of pages  25 

Publication status  Published  Dec 13 2015 

Cite this

APA

Author

BIBTEX

Harvard

Standard

RIS

Vancouver
@techreport{857fe0f72c18496ba0d57b2eb59fd461,
title = "When Do Types Induce the Same Belief Hierarchy?",
abstract = "Type structures are a simple device to describe higherorder beliefs. But 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 mapped into the other using a generalized type morphism. Hence, every generalized type morphism is a hierarchy morphism and vice versa. Importantly, generalized type morphisms do not make reference to belief hierarchies. We use our results to characterize the conditions under which types generate the same belief hierarchy.",
author = "A. Perea and Willemien Kets",
year = "2015",
month = "12",
day = "13",
language = "English (US)",
type = "WorkingPaper",
}
TY  UNPB
T1  When Do Types Induce the Same Belief Hierarchy?
AU  Perea, A.
AU  Kets, Willemien
PY  2015/12/13
Y1  2015/12/13
N2  Type structures are a simple device to describe higherorder beliefs. But 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 mapped into the other using a generalized type morphism. Hence, every generalized type morphism is a hierarchy morphism and vice versa. Importantly, generalized type morphisms do not make reference to belief hierarchies. We use our results to characterize the conditions under which types generate the same belief hierarchy.
AB  Type structures are a simple device to describe higherorder beliefs. But 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 mapped into the other using a generalized type morphism. Hence, every generalized type morphism is a hierarchy morphism and vice versa. Importantly, generalized type morphisms do not make reference to belief hierarchies. We use our results to characterize the conditions under which types generate the same belief hierarchy.
M3  Discussion paper
BT  When Do Types Induce the Same Belief Hierarchy?
ER 