scientific article; zbMATH DE number 4181312

MaRDI QIDQ3204447zbMATH OpenFDO

Authors V. V. Knyazev

Publication date 1990

zbMATH Keywords

many-sorted first-order logicasymptotic 0-1 lawasymptotic satisfiability of formulas

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25)

Cited in

(2)

• The Kolmogorov expressive power of Boolean query languages
• Zero-one laws for first-order formulas with a bounded quantifier depth

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 Q3204447)