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

DOI10.1002/RSA.3240060205zbMATH Open0815.03020OpenAlexW1988459304MaRDI QIDQ4697808FDOQ4697808

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)

Cites Work

• Probabilities on finite models
• Finite-model theory -- A personal perspective
• On the two kinds of probability in algebra
• Nonconvergence, undecidability, and intractability in asymptotic problems
• 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
• Zero-one laws with variable probability

Cited In (5)

• A logical approach to asymptotic combinatorics. II: Monadic second-order properties
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the two kinds of probability in algebra
• Counting finite models

   Recommendations

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

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)