Application of a Tauberian theorem to finite model theory

DOI10.1007/BF02007559zbMath0613.03007OpenAlexW1968112027MaRDI QIDQ3753986

Kevin J. Compton

Publication date: 1985

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138040

zbMATH Keywords

finite modelsgrowth propertiesasymptotic probabilityunary functionsCesàro probabilitieslimits of average probabilities over second order sentences

Mathematics Subject Classification ID

Cesàro, Euler, Nörlund and Hausdorff methods (40G05) Model theory of finite structures (03C13) Abel, Borel and power series methods (40G10)

Related Items (2)

Nonconvergence, undecidability, and intractability in asymptotic problems ⋮ Counting finite models

Cites Work

• Unnamed Item
• Maximal means and Tauberian theorems
• On random models of finite power and monadic logic
• A logical approach to asymptotic combinatorics I. First order properties
• Model theory
• A logical approach to asymptotic combinatorics. II: Monadic second-order properties
• Probabilities of First-Order Sentences about Unary Functions
• Probabilities on finite models

This page was built for publication: Application of a Tauberian theorem to finite model theory