Probabilities in first—order logic of a unary function and a binary relation

DOI10.1002/RSA.3240060205zbMATH0815.03020OpenAlexW1988459304MaRDI QIDQ4697808FDOQ4697808

Authors Jerzy Tyszkiewicz

Publication date 1 May 1995

Published in Random Structures \& Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/rsa.3240060205

zbMATH Keywords

asymptotic probability0-1 lawsbehavior of probabilities of sentences of first-order logic over a unary function and a binary relation

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Recommendations

• Probabilities on Models of Universal Sentences
• Asymptotic conditional probabilities: The non-unary case
• Decidability and expressiveness for first-order logics of probability

Cites work

• A logical approach to asymptotic combinatorics I. First order properties
• Finite-model theory -- A personal perspective
• Nonconvergence, undecidability, and intractability in asymptotic problems
• On random models of finite power and monadic logic
• On the two kinds of probability in algebra
• Probabilities of First-Order Sentences about Unary Functions
• Probabilities on finite models
• Zero-one laws with variable probability

Cited in

(8)

• Entropy of formulas
• Probabilistic characterisation of models of first-order theories
• On the two kinds of probability in algebra
• scientific article; zbMATH DE number 176205 (Why is no real title available?)
• A logical approach to asymptotic combinatorics. II: Monadic second-order properties
• Probabilities on Models of Universal Sentences
• Counting finite models
• scientific article; zbMATH DE number 4006238 (Why is no real title available?)

This page was built for publication: Probabilities in first—order logic of a unary function and a binary relation

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