(1) School of Mathematics, University of Manchester, Alan Turing Building Oxford Road, Manchester, M13 9PL, UK
Abstract:
We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with applications to Non-splitting, Language Invariance, extensions with Equality and Instantial Relevance.