Existentially Definable Factor Congruences

Details Existentially Definable Factor Congruences Existentially Definable Factor Congruences

2009-06-25

arxiv.org/abs/0906.4722v1

Acta Scientiarum Mathematicarum (Szeged) Volume 76, Numbers 1-2, 2010, pp. 49--53

Mathematics

Logic

Scientific paper

A variety V has definable factor congruences if and only if factor
congruences can be defined by a first-order formula Phi having central elements
as parameters. We prove that if Phi can be chosen to be existential, factor
congruences in every algebra of V are compact.

Affiliated with

Also associated with

No associations

Rating

Existentially Definable Factor Congruences does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Existentially Definable Factor Congruences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Existentially Definable Factor Congruences will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-537664