The logic of ordered random structures

DOI10.1002/rsa.3240040404zbMath0790.05074MaRDI QIDQ4285001

James F. Lynch, Peter Dolan

Publication date: 24 March 1994

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

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

zbMATH Keywords

first-order theory; nonconvergence; random graphs; inseparability; random matchings

Mathematics Subject Classification ID

05C80: Random graphs (graph-theoretic aspects)

05C70: Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.)

03B25: Decidability of theories and sets of sentences

03B99: General logic

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Random sparse unary predicates