Topology-Free Type Structures with Conditioning Events
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912147350487040 |
|---|---|
| author | Guarino, Pierfrancesco |
| author_facet | Guarino, Pierfrancesco |
| contents | We establish the existence of the universal type structure in presence of conditioning events without any topological assumption, namely, a type structure that is terminal, belief-complete, and non-redundant, by performing a construction à la Heifetz & Samet (1998). In doing so, we answer affirmatively to a longstanding conjecture made by Battigalli & Siniscalchi (1999) concerning the possibility of performing such a construction with conditioning events. In particular, we obtain the result by exploiting arguments from category theory and the theory of coalgebras, thus, making explicit the mathematical structure underlining all the constructions of large interactive structures and obtaining the belief-completeness of the structure as an immediate corollary of known results from these fields. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_07246 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Topology-Free Type Structures with Conditioning Events Guarino, Pierfrancesco Theoretical Economics We establish the existence of the universal type structure in presence of conditioning events without any topological assumption, namely, a type structure that is terminal, belief-complete, and non-redundant, by performing a construction à la Heifetz & Samet (1998). In doing so, we answer affirmatively to a longstanding conjecture made by Battigalli & Siniscalchi (1999) concerning the possibility of performing such a construction with conditioning events. In particular, we obtain the result by exploiting arguments from category theory and the theory of coalgebras, thus, making explicit the mathematical structure underlining all the constructions of large interactive structures and obtaining the belief-completeness of the structure as an immediate corollary of known results from these fields. |
| title | Topology-Free Type Structures with Conditioning Events |
| topic | Theoretical Economics |
| url | https://arxiv.org/abs/2212.07246 |