On the definability of \(P_ S(A)\)

DOI10.1007/BF01230620zbMath0618.08005MaRDI QIDQ1089022

John T. Baldwin, Marouf A. Samhan

Publication date: 1986

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

first order sentencesgeneralized cryptoelementary definabilitysubdirect powers of a finite algebra

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Axiomatic model classes (08C10)

Related Items (1)

Defining subdirect product closed classes in infinitary logic

Cites Work

• Unnamed Item
• Local Theorems in Universal Algebras
• On the Equivalence of Three Local Theorem Techniques

This page was built for publication: On the definability of \(P_ S(A)\)