A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW

DOI10.1142/S0218196796000131MaRDI QIDQ4894091zbMATH OpenOpenAlexFDO

Authors Paweł M. Idziak, Stanley N. Burris

Publication date 30 September 1996

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196796000131

zbMATH Keywords

0-1 lawdirectly representable varietyfirst-order law

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Asymptotic enumeration (05A16) Structure theory of algebraic structures (08A05)

Recommendations

• Fine Spectra and Limit Laws I. First-Order Laws
• scientific article; zbMATH DE number 1072416
• Fine Spectra and Limit Laws, II First-Order 0–1 Laws

Cited in

(2)

• COUNTING FINITE ALGEBRAS IN THE POST VARIETIES
• ABSTRACT NUMBER SYSTEMS AND LOGICAL LIMIT LAWS

This page was built for publication: A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW

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