Axiomatization of polynomial substitution algebras

DOI10.2307/2273585zbMath0494.03047OpenAlexW2086288211MaRDI QIDQ3956941

Norman Feldman

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273585

zbMATH Keywords

local finitenesscylindric algebrascylindric set algebrasfirst order axiom schematalocally finite substitution algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, Capture-avoiding substitution as a nominal algebra, Lambda abstraction algebras: representation theorems, Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms, A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets, A finite equational axiomatization of the functional algebras for the lambda calculus, On the algebraic models of lambda calculus

Cites Work

• The algebra of functions
• The algebra of functions. II
• A composition algebra for multiplace functions
• The algebra of functions. III
• Function systems
• The algebra of multiplace vector-valued functions