Entropy of formulas

DOI10.1007/S00153-009-0135-5MaRDI QIDQ834714zbMATH OpenOpenAlexFDO

Authors Vera Koponen

Publication date 27 August 2009

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-009-0135-5

zbMATH Keywords

finite model theoryfirst-order model theoryzero-one law

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Zero-one laws (60F20)

Recommendations

• scientific article; zbMATH DE number 1552348
• Maximum entropy models for \(\Sigma_1\) sentences
• Probabilities on Models of Universal Sentences
• Probabilities in first—order logic of a unary function and a binary relation
• On entropy of a logical system

Cites work

• Entropy of sums of random digits
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 1493057 (Why is no real title available?)
• Probabilities on finite models

Cited in

(2)

• Maximum entropy models for \(\Sigma_1\) sentences
• Relating description complexity to entropy

This page was built for publication: Entropy of formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q834714)