scientific article; zbMATH DE number 3855058

zbMATH Open0538.03008MaRDI QIDQ3323918FDOQ3323918

Authors: V. A. Talanov 

Publication date: 1981

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

asymptotic decidabilitysatisfiability ratio

Mathematics Subject Classification ID

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

Cited In (5)

• Infinitary logics and 0-1 laws
• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• Title not available (Why is that?)
• Fluted formulas and the limits of decidability
• Title not available (Why is that?)

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)