An undecidable problem in finite combinatorics

DOI10.2307/2274138MaRDI QIDQ3718693zbMATH OpenOpenAlexFDO

Authors Kevin J. Compton

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

finitely axiomatizable classasymptotic probability of a sentenceundecidable set of sentences

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Nonconvergence, undecidability, and intractability in asymptotic problems
• A logical approach to asymptotic combinatorics I. First order properties
• scientific article; zbMATH DE number 3984616
• Asymptotic conditional probabilities: The non-unary case
• 0-1 laws and decision problems for fragments of second-order logic

Cites work

• scientific article; zbMATH DE number 3482343 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3344587 (Why is no real title available?)
• Almost sure theories
• Asymptotic Methods in Enumeration
• Monotonicity of partition functions
• The number of finite relational structures

Cited in

(21)

• scientific article; zbMATH DE number 3904567 (Why is no real title available?)
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• On random models of finite power and monadic logic
• On 0, 1-laws and asymptotics of definable sets in geometric Fraïssé classes
• Probabilities of First-Order Sentences about Unary Functions
• Complexity of the first-order theory of almost all finite structures
• A logical approach to asymptotic combinatorics I. First order properties
• On the effective content of asymptotic verifications of Edgeworth's Conjecture
• scientific article; zbMATH DE number 3855058 (Why is no real title available?)
• A codicity undecidable problem in the plane.
• scientific article; zbMATH DE number 3176042 (Why is no real title available?)
• Application of a Tauberian theorem to finite model theory
• Nonconvergence, undecidability, and intractability in asymptotic problems
• scientific article; zbMATH DE number 3057871 (Why is no real title available?)
• scientific article; zbMATH DE number 176205 (Why is no real title available?)
• The undecidability of joint embedding for 3-dimensional permutation classes
• A logical approach to asymptotic combinatorics. II: Monadic second-order properties
• Probabilities on Models of Universal Sentences
• Universal Horn Sentences and the Joint Embedding Property
• Zero-one laws with variable probability
• scientific article; zbMATH DE number 3984616 (Why is no real title available?)

This page was built for publication: An undecidable problem in finite combinatorics

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