scientific article; zbMATH DE number 4181311

zbMATH Open0717.03009MaRDI QIDQ3204446FDOQ3204446

Authors: V. V. Knyazev 

Publication date: 1989

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

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

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)

Cited In (12)

• Title not available (Why is that?)
• Infinitary logics and 0-1 laws
• Fixed-point extensions of first-order logic
• Infinitary logic for computer science
• A zero-one law for logic with a fixed-point operator
• Title not available (Why is that?)
• Title not available (Why is that?)
• Zero-one law for an extension of first-order predicate language
• Title not available (Why is that?)
• Title not available (Why is that?)
• An expansion of first-order Belnap-Dunn logic
• Algebraic Methodology and Software Technology

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)