Predicate Exchangeability and Language Invariance in Pure Inductive Logic
In Pure Inductive Logic, the rational principle of Predicate Exchangeability states that permuting the predicates in a given language L and replacing each occurrence of a predicate in an L-sentence $ϕ$ according to this permutation should not change our belief in the truth of $ϕ$. In this paper we study when a probability function w on a purely unary language L satisfying Predicate Exchangeability also satisfies the principle of Unary Language Invariance.
math.LO↗