# Generalizations of Birkhoff's HSP Theorem

Let $\mathbf{C}$ be the class of algebraic structures of some fixed type satisfying some sentence $\phi$. Birkhoff's HSP theorem says that $\mathbf{C}$ is closed under homomorphisms, subalgebras and products if and only if $\phi$ is equivalent to some universally quantified conjuction of equations. In the following article -

Properties preserved under algebraic construction. Author: R. C. Lyndon. Journal: Bull. Amer. Math. Soc. 65 (1959), 287-299. http://www.ams.org/journals/bull/1959-65-05/S0002-9904-1959-10321-9/

Lyndon refers to an "obvious" HD theorem at the top of p293 (as opposed to Birkhoff's UHD(=HSP) theorem) which I think means that the same result holds if $\mathbf{C}$ is only closed under homomorphisms and products, except that we now allow existential as well as universal quantifiers. Let us say we weaken the assumption on $\mathbf{C}$ just a little more, and assume that the homomorphisms considered only come from coordinate functions on products, i.e. what if we only assume that $\mathbf{C}$ satisfies

$X\times Y\in\mathbf{C}\quad\Leftrightarrow\quad X\in\mathbf{C}\textrm{ and }Y\in\mathbf{C}$

(and the same for infinite products, although I think this already follows from the above finite product assumption). What kind of sentence must $\phi$ now be equivalent to?

In H. J. Keisler's terminology, a first-order sentence is called a product sentence if it holds in a product $X\times Y$ whenever it holds in $X$ and $Y$, a factor sentence if it holds in $X$ and $Y$ whenever it holds in $X\times Y$. If memory serves, rather complicated characterizations of product sentences and factor sentences were found by Keisler in the 1960s; the work of Keisler's student J. M. Weinstein may also be relevant. I'm pretty sure the results or at least the references are in the book Model Theory by C. C. Chang and H. J. Keisler. (I happen to have at hand a reference to Weinstein's dissertation: Joseph M. Weinstein, First order properties preserved by direct product, University of Wisconsin, Madison, 1965.)
{"ft_lang_label":"__label__en","ft_lang_prob":0.8769463,"math_prob":0.9646335,"size":1297,"snap":"2019-26-2019-30","text_gpt3_token_len":351,"char_repetition_ratio":0.12064965,"word_repetition_ratio":0.0,"special_character_ratio":0.25520432,"punctuation_ratio":0.11157025,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9980417,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-07-20T02:03:38Z\",\"WARC-Record-ID\":\"<urn:uuid:2774d801-fd6a-453c-ad37-16ad48da8ec8>\",\"Content-Length\":\"126083\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:edfc77d4-2a80-40c1-81cb-38974eb910d8>\",\"WARC-Concurrent-To\":\"<urn:uuid:4ea7ab2a-a023-4560-bbba-7bcf8ffa4f57>\",\"WARC-IP-Address\":\"151.101.129.69\",\"WARC-Target-URI\":\"https://mathoverflow.net/questions/150522/generalizations-of-birkhoffs-hsp-theorem\",\"WARC-Payload-Digest\":\"sha1:LCKX2EZ5L6XZOTW7JND5TJVWZ72EQB5W\",\"WARC-Block-Digest\":\"sha1:44IWYGZ3QBCKGTHLWMFRFA4JC6M7KVHO\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-30/CC-MAIN-2019-30_segments_1563195526401.41_warc_CC-MAIN-20190720004131-20190720030131-00097.warc.gz\"}"}