scientific article; zbMATH DE number 4181311

MaRDI QIDQ3204446zbMATH OpenFDO

Authors V. V. Knyazev

Publication date 1989

zbMATH Keywords

asymptotic 0-1 lawfragment of the infinitary logic \(L_{\omega _ 1\omega }\)iterative extension of first-order logic

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25) Graph theory (05C99) Other infinitary logic (03C75)

Recommendations

• Infinitary logics and 0-1 laws
• Strong 0-1 laws in finite model theory
• A zero-one law for logic with a fixed-point operator
• Zero-one law for an extension of first-order predicate language
• Stability, the finite cover property and 0-1 laws

Cited in

(12)

• scientific article; zbMATH DE number 3904567 (Why is no real title available?)
• An expansion of first-order Belnap-Dunn logic
• Infinitary logic for computer science
• scientific article; zbMATH DE number 17530 (Why is no real title available?)
• scientific article; zbMATH DE number 2006638 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Zero-one law for an extension of first-order predicate language
• scientific article; zbMATH DE number 3855058 (Why is no real title available?)
• A zero-one law for logic with a fixed-point operator
• Fixed-point extensions of first-order logic
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• Infinitary logics and 0-1 laws

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