The topology-free construction of the universal type structure for conditional probability systems

MaRDI QIDQ3384075zbMATH OpenFDO

Authors Pierfrancesco Guarino

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1708.00378, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.20

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Probabilistic measure theory (60A10) Type theory (03B38)

Recommendations

• Universality of the Epstein-Wang type structure
• An infinitary probability logic for type spaces
• Topology-free typology of beliefs
• Probability logic for type spaces
• Finitely additive beliefs and universal type spaces

Cites work

• scientific article; zbMATH DE number 3668373 (Why is no real title available?)
• scientific article; zbMATH DE number 3087284 (Why is no real title available?)
• "Beliefs about Beliefs" without Probabilities
• A fixpoint theorem for complete categories
• Admissibility in Games
• Algebra and Coalgebra in Computer Science
• An impossibility theorem on beliefs in games
• An infinitary probability logic for type spaces
• Approximating common knowledge with common beliefs
• Coherent beliefs are not always types.
• Formulation of Bayesian analysis for games with incomplete information
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Handbook of game theory. Vol. 4
• Harsanyi type spaces and final coalgebras constructed from satisfied theories
• Hierarchies of conditional beliefs and interactive epistemology in dynamic games
• Interactive epistemology. II: Probability
• Knowledge spaces with arbitrarily high rank
• Lexicographic probability, conditional probability, and nonstandard probability
• Multistage Games with Communication
• On a new axiomatic theory of probability
• On redundant types and Bayesian formulation of incomplete information
• On solutions of Bayesian games
• On the relationship between hierarchy and type morphisms
• Probability logic for type spaces
• Some economic applications of Scott domains
• Strong belief and forward induction reasoning.
• The hierarchical approach to modeling knowledge and common knowledge
• The non-existence of a universal topological type space
• Topology-free typology of beliefs
• Universal coalgebra: A theory of systems
• Universal interactive preferences
• Universal type structures with unawareness
• Vector Expected Utility and Attitudes Toward Variation
• When do type structures contain all hierarchies of beliefs?

Cited in

(4)

• scientific article; zbMATH DE number 7444845 (Why is no real title available?)
• Universality of the Epstein-Wang type structure
• The non-existence of a universal topological type space
• Complete conditional type structures

This page was built for publication: The topology-free construction of the universal type structure for conditional probability systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384075)