{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:41Z","timestamp":1747579541041},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":11515,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1982,9]]},"abstract":"<jats:p>The axiomatization of algebras of functions or partial functions under various operations has been studied by several authors. Menger [2] deals with the problem of axiomatizing the algebraic properties of 1-ary functions from the reals to the reals. He considers algebras with one of three binary operations corresponding to addition, multiplication or composition. This study is furthered by Schweizer and Sklar in [3]\u2013[6]. In addition to the operations mentioned above they also introduce a partial ordering which corresponds to restriction of functions. In the second of these papers they give a set of axioms such that any system satisfying these axioms is order isomorphic to a concrete system of partial functions under composition and ordered by restriction. In [7] Schweizer and Sklar extend their work to the algebra of multiplace vector-valued functions. In [8] Whitlock studies abstract multiplaced function systems given by super-associative laws and shows that these systems are isomorphically embeddable in a concrete system of multiplaced functions where the operation on the functions is substitution of an <jats:italic>m<\/jats:italic>-ary function in an <jats:italic>n<\/jats:italic>-ary function.<\/jats:p><jats:p>In this paper we consider the set of functions from <jats:italic>U<\/jats:italic><jats:sup>\u03b1<\/jats:sup>, the set of \u03b1-sequences, to <jats:italic>U<\/jats:italic> where <jats:italic>a<\/jats:italic> is an infinite ordinal. As opposed to the composition operations studied in the above works, we consider the composition operations *<jats:sub>\u03ba<\/jats:sub>, for \u03ba &lt; \u03b1, in a narrow sense\u2014the substitution of one function in the \u03bath place of another. The algebras studied have the form \u2039<jats:italic>A<\/jats:italic>, *<jats:sub>\u03ba<\/jats:sub>, <jats:italic>V<\/jats:italic><jats:sub>\u03ba<\/jats:sub>\u203a <jats:sub>\u03ba&lt;\u03b1<\/jats:sub> where <jats:italic>V<\/jats:italic><jats:sub>\u03ba<\/jats:sub> are the projection (selector) functions on the \u03bath place. In particular, the polynomials over an algebra form such an algebra called a polynomial substitution algebra. In \u00a76 we show that a first-order axiom system and a condition of local finiteness, given by Pinter in a talk at Berkeley in 1972 to characterize term substitution abgebras, also characterize these polynomial substitution algebras.<\/jats:p>","DOI":"10.2307\/2273585","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:00:58Z","timestamp":1146952858000},"page":"481-492","source":"Crossref","is-referenced-by-count":13,"title":["Axiomatization of polynomial substitution algebras"],"prefix":"10.1017","volume":"47","author":[{"given":"Norman","family":"Feldman","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200043929_ref007","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1967-11724-5"},{"key":"S0022481200043929_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF01351670"},{"key":"S0022481200043929_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BF01362672"},{"key":"S0022481200043929_ref001","first-page":"83","volume-title":"Lattice theory, Proceedings of Symposia in Pure Mathematics","volume":"2","author":"Henkin","year":"1961"},{"key":"S0022481200043929_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70047-3"},{"key":"S0022481200043929_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/BF01361970"},{"key":"S0022481200043929_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/BF01342844"},{"key":"S0022481200043929_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01470756"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200043929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T20:47:26Z","timestamp":1558730846000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200043929\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,9]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1982,9]]}},"alternative-id":["S0022481200043929"],"URL":"https:\/\/doi.org\/10.2307\/2273585","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,9]]}}}