uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Entropy of formulas
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra, Geometry and Logic.
2009 (English)In: Archive for mathematical logic, ISSN 0933-5846, E-ISSN 1432-0665, Vol. 48, no 6, 515-522 p.Article in journal (Refereed) Published
Abstract [en]

A probability distribution can be given to the set of isomorphism classes of models with universe {1, ..., n} of a sentence in first-order logic. We study the entropy of this distribution and derive a result from the 0-1 law for first-order sentences.

Place, publisher, year, edition, pages
Springer , 2009. Vol. 48, no 6, 515-522 p.
Keyword [en]
first-order logic, finite models, entropy, zero-one law
National Category
Research subject
Mathematical Logic
URN: urn:nbn:se:uu:diva-119667DOI: 10.1007/s00153-009-0135-5ISI: 000267364900002OAI: oai:DiVA.org:uu-119667DiVA: diva2:300627
Available from: 2010-02-26 Created: 2010-02-26 Last updated: 2013-05-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Koponen, Vera
By organisation
Algebra, Geometry and Logic
In the same journal
Archive for mathematical logic

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 198 hits
ReferencesLink to record
Permanent link

Direct link