The zero-one law for the many-sorted logic of the first order predicates

DOI10.1515/DMA.1992.2.2.219zbMATH Open0787.03022OpenAlexW2026111516MaRDI QIDQ4284974

V. V. Knyazev

Publication date: 19 April 1994

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma.1992.2.2.219

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (2)

Zero-one laws for modal logic ⋮ Zero-one laws for first-order formulas with a bounded quantifier depth

This page was built for publication: The zero-one law for the many-sorted logic of the first order predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4284974)