Jackson, MarcelStokes, Tim E.2020-08-262020-08-262021Jackson, M., & Stokes, T. E. (2021). Override and update. Journal of Pure and Applied Algebra, 225(3), 106532–106532. https://doi.org/10.1016/j.jpaa.2020.1065320022-4049https://hdl.handle.net/10289/13760Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinatorial geometry to provide a complete finite system of equational axioms for the first order theory of the override and update constructions on partial functions, resolving the main unsolved problem in the area.application/pdfen© 2020. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/Journal Article10.1016/j.jpaa.2020.106532