Undecidable statements and random graphs

DOI10.1007/BF01531021MaRDI QIDQ1353975zbMATH OpenFDO

Authors Peter Dolan

Publication date 13 May 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

random graphsdecision procedurefirst order statements

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Decidability of theories and sets of sentences (03B25)

Recommendations

• scientific article; zbMATH DE number 17685
• Ups and downs of first order sentences on random graphs
• Probabilities of Sentences about Very Sparse Random Graphs

Cites work

• scientific article; zbMATH DE number 4152425 (Why is no real title available?)
• scientific article; zbMATH DE number 3902655 (Why is no real title available?)
• A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
• Expose-and-merge exploration and the chromatic number of a random graph
• Zero-One Laws for Sparse Random Graphs

Cited in

(4)

• On the generic existential theory of finite graphs
• scientific article; zbMATH DE number 17685 (Why is no real title available?)
• Probabilities of Sentences about Very Sparse Random Graphs
• Random graphs in the monadic theory of order

This page was built for publication: Undecidable statements and random graphs

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