scientific article; zbMATH DE number 1163950

zbMATH Open0905.03029MaRDI QIDQ4395574

A. G. Pinus

Publication date: 11 June 1998

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

zbMATH Keywords

compactnessdecidabilitydiscriminator varietyaxiomatizabilitylattices of congruenceselementary equivalencegeneralized quantifierslattices of subalgebrasinfinitary languageHanf numberLöwenheim-Skolem propertyautomorphism quantifiernon-locally finite variety of Abelian groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Subalgebras, congruence relations (08A30) Logic with extra quantifiers and operators (03C80) Congruence modularity, congruence distributivity (08B10)

Related Items (1)

Quantifiers and congruence closure

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