A note on the least informative model of a theory

  • Authors:
  • Jeff B. Paris;Soroush R. Rad

  • Affiliations:
  • School of Mathematics, The University of Manchester, Manchester;School of Mathematics, The University of Manchester, Manchester

  • Venue:
  • CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider one possible interpretation of the 'least informative model' of a relational and finite theory and show that it is well defined for a particular class of Π1 theories. We conjecture that it is always defined for Π1 theories.