scientific article

zbMath0717.03009MaRDI QIDQ3204446

V. V. Knyazev

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (2)

Infinitary logics and 0-1 laws ⋮ Infinitary logic for computer science

This page was built for publication: