Howarth, E. and Paris, J.B. (2017) The Finite Values Property. [MIMS Preprint]
![[thumbnail of lw150830GKI.pdf]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
lw150830GKI.pdf Download (347kB) |
Abstract
We argue that the simplicity condition on a probability function on sentences of a predicate language $L$ that it takes only finitely many values on the sentences of any finite sublanguage of $L$ can be viewed as rational. We then go on to investigate consequences of this condition, linking it to the model theoretic notion of quantifier elimination.
| Item Type: | MIMS Preprint |
|---|---|
| Uncontrolled Keywords: | Finite Values Property, Quantifier Elimination, Inductive Logic, Logical Probability, Rationality, Uncertain Reasoning. |
| Subjects: | MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations |
| Depositing User: | Professor Jeff Paris |
| Date Deposited: | 14 Feb 2017 |
| Last Modified: | 20 Oct 2017 14:13 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/2526 |
Actions (login required)
 |
View Item |