scientific article; zbMATH DE number 3855058

MaRDI QIDQ3323918zbMATH OpenFDO

Authors V. A. Talanov

Publication date 1981

zbMATH Keywords

asymptotic decidabilitysatisfiability ratio

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Recommendations

• Zero-one law for an extension of first-order predicate language
• Publication:3204446
• scientific article; zbMATH DE number 408815
• The computational complexity of asymptotic problems. I: Partial orders
• An undecidable problem in finite combinatorics

Cited in

(5)

• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• Infinitary logics and 0-1 laws
• scientific article; zbMATH DE number 3871315 (Why is no real title available?)
• scientific article; zbMATH DE number 3904567 (Why is no real title available?)
• Fluted formulas and the limits of decidability

This page was built for publication:

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