Probabilities of First-Order Sentences about Unary Functions

DOI10.2307/1999661zbMath0526.03012OpenAlexW4235996010MaRDI QIDQ3041164

James F. Lynch

Publication date: 1985

Full work available at URL: https://doi.org/10.2307/1999661

zbMATH Keywords

finite model theoryEhrenfeucht gamesasymptotic probabilities

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Related Items

Nonconvergence, undecidability, and intractability in asymptotic problems, A logical approach to asymptotic combinatorics. II: Monadic second-order properties, Probabilities of Sentences about Very Sparse Random Graphs, A logical approach to asymptotic combinatorics I. First order properties, Application of a Tauberian theorem to finite model theory, General combinatorial schemas: Gaussian limit distributions and exponential tails, Finite-model theory -- A personal perspective, The complexity of random ordered structures, On the two kinds of probability in algebra, Probabilities in first—order logic of a unary function and a binary relation, On the threshold of chaos in random boolean cellular automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical approach to asymptotic combinatorics I. First order properties
• Model theory
• Concerning measures in first order calculi
• An application of games to the completeness problem for formalized theories
• An undecidable problem in finite combinatorics
• Almost sure theories
• Monadic generalized spectra
• Probabilities on finite models
• On sets of relations definable by addition
• Ordered Cycle Lengths in a Random Permutation
• Probability Distributions Related to Random Mappings
• Local definability theory
• A Property of Randomness of an Arithmetical Function
• The Expected Number of Components Under a Random Mapping Function
• Probability of Indecomposability of a Random Mapping Function