Application of a Tauberian theorem to finite model theory

DOI10.1007/BF02007559MaRDI QIDQ3753986zbMATH OpenOpenAlexFDO

Authors 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

growth propertiesfinite modelsasymptotic probabilityunary functionsCesàro probabilitieslimits of average probabilities over second order sentences

Mathematics Subject Classification ID

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

Recommendations

• Counting finite models
• Statistical extensions of some classical Tauberian theorems
• scientific article; zbMATH DE number 1995900
• An undecidable problem in finite combinatorics
• A note on the finitization of Abelian and Tauberian theorems

Cites work

• scientific article; zbMATH DE number 3049368 (Why is no real title available?)
• A logical approach to asymptotic combinatorics I. First order properties
• A logical approach to asymptotic combinatorics. II: Monadic second-order properties
• Maximal means and Tauberian theorems
• Model theory
• On random models of finite power and monadic logic
• Probabilities of First-Order Sentences about Unary Functions
• Probabilities on finite models

Cited in

(7)

• Counting finite models
• scientific article; zbMATH DE number 1563658 (Why is no real title available?)
• Finite model theory and its applications.
• Nonconvergence, undecidability, and intractability in asymptotic problems
• An inner model theoretic proof of Becker's theorem
• Preservation theorems in finite model theory
• scientific article; zbMATH DE number 5038454 (Why is no real title available?)

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

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