2000 character limit reached
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
Published 27 Jul 2017 in cs.LO | (1708.00378v1)
Abstract: We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a constructive way, we extend the work of Meier [An Infinitary Probability Logic for Type Spaces. Israel Journal of Mathematics, 192, 1-58] by proving strong soundness and strong completeness of an infinitary conditional probability logic with truthful and non-epistemic conditioning events.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.