1 Erratum to: Synthese DOI 10.1007/s11229-015-0705-5

In line 3 of footnote 8 on page 4, ‘allow’ should be ‘disallow’.

In line 8 of page 5, \(F_1\) should be \(\Phi _1\) and \(F_2\) should be \(\Phi _2\). Similarly for lines 1, 2, 3, 7, 8, 13 and 14 of page 6.

The entry in row 20 column 6 of the table on page 5 should be 1 rather than 0.

The entry \(\exists \forall x Fx\) in row 30 column 5 of the table on page 5 should be \(\forall x Fx\).

In line 27 of page 13, ‘it’ should be ‘them’.

Four lines from the end of section 12.3 on page 20, ‘premisses’ should be ‘premiss sets’, and \(\{\exists _{\ge n} \text { is a natural number} \}\) should be \(\{\exists _{\ge n}: n \text { is a natural number} \}\).

In line 4 of footnote 30 on page 20, \(Q_0 = P_1\) should be \(Q_0 = \{P_1\}\).