3 papers
stat.OT2017
Aggregating incoherent agents who disagree
Richard Pettigrew
In this paper, we explore how we should aggregate the degrees of belief of of a group of agents to give a single coherent set of degrees of belief, when at least some of those agen…
math.LO2008
On interpretations of bounded arithmetic and bounded set theory
Richard Pettigrew
In a recent paper, Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. THEOREM: The first-order theories of Peano arit…
math.LO2007
Natural Number Arithmetic in the Theory of Finite Sets
J. P. Mayberry, Richard Pettigrew
We describe a theory of finite sets, and investigate the analogue of Dedekind's theory of natural number systems (simply infinite systems) in this theory. Unlike the infinitary cas…