{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T02:48:54Z","timestamp":1747968534513},"reference-count":6,"publisher":"World Scientific Pub Co Pte Ltd","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:p> An important theorem by Baker and Pixley states that if [Formula: see text] is a finite algebra with a [Formula: see text]-ary near-unanimity term and [Formula: see text] is any function, then f is a term-function of [Formula: see text] if f preserves all subuniverses of [Formula: see text]. This result was generalized recently for (classes of) not necessarily finite algebras using sheaf-theoretic tools. In this work, we give a short model-theoretic proof of this generalization. Also, we apply the theorem to obtain a characterization of dual discriminator varieties, and to give necessary and sufficient conditions for a variety with a near-unanimity term to be congruence permutable. <\/jats:p>","DOI":"10.1142\/s0218196723500625","type":"journal-article","created":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T05:28:20Z","timestamp":1692422900000},"page":"1651-1657","source":"Crossref","is-referenced-by-count":1,"title":["A short proof of the Baker\u2013Pixley theorem for classes"],"prefix":"10.1142","volume":"33","author":[{"given":"Miguel","family":"Campercholi","sequence":"first","affiliation":[{"name":"Facultad de Matem\u00e1tica, Astronom\u00eda, Fis\u00edca y Computac\u00edon, Universidad Nacional de C\u00f3rdoba, Ciudad Universitaria, C\u00f3rdoba, C\u00f3rdoba 5000, Argentina"}]},{"given":"Diego","family":"Vaggione","sequence":"additional","affiliation":[{"name":"Facultad de Matem\u00e1tica, Astronom\u00eda, Fis\u00edca y Computac\u00edon, Universidad Nacional de C\u00f3rdoba, Ciudad Universitaria, C\u00f3rdoba, C\u00f3rdoba 5000, Argentina"}]}],"member":"219","published-online":{"date-parts":[[2023,9,30]]},"reference":[{"key":"S0218196723500625BIB001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01187059"},{"key":"S0218196723500625BIB002","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-016-0384-1"},{"issue":"1","key":"S0218196723500625BIB003","first-page":"83","volume":"41","author":"Fried E.","year":"1979","journal-title":"Acta Sci. Math. Szeged"},{"key":"S0218196723500625BIB004","author":"Kearnes K.","year":"2022","journal-title":"J. Mult.-Valued Log. Soft Comput."},{"key":"S0218196723500625BIB005","first-page":"3","volume":"35","author":"Mal\u2019cev A.","year":"1954","journal-title":"Mat. Sb. N.S."},{"key":"S0218196723500625BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-018-0556-2"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196723500625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,31]],"date-time":"2023-12-31T03:17:36Z","timestamp":1703992656000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218196723500625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,30]]},"references-count":6,"journal-issue":{"issue":"08","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["10.1142\/S0218196723500625"],"URL":"https:\/\/doi.org\/10.1142\/s0218196723500625","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,30]]}}}