DeutschClear Cookie - decide language by browser settings
Paris, Jeff B.; Rafiee Rad, Soroush (2010): A Note on the Least Informative Model of a Theory. In: Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira; Mendes Gomes, Luís (eds.) : Programs, Proofs, Processes. Lecture Notes in Computer Science, Vol. 6158. Springer Berlin Heidelberg pp. 342-351
Full text not available from 'Open Access LMU'.


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.