Logo Logo
Switch Language to German

Paris, Jeff B. and Rafiee Rad, Soroush (2010): A Note on the Least Informative Model of a Theory. In: Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira and 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.

Actions (login required)

View Item View Item