Application of a Tauberian theorem to finite model theory

DOI10.1007/BF02007559zbMATH Open0613.03007OpenAlexW1968112027MaRDI QIDQ3753986FDOQ3753986

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

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

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)

Cites Work

• Probabilities on finite models
• Model theory
• Title not available (Why is that?)
• A logical approach to asymptotic combinatorics. II: Monadic second-order properties
• Probabilities of First-Order Sentences about Unary Functions
• On random models of finite power and monadic logic
• A logical approach to asymptotic combinatorics I. First order properties
• Maximal means and Tauberian theorems

Cited In (7)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Counting finite models

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)