"Leo Harrington" typically refers to a theorem or a concept in mathematical logic, specifically related to set theory. The Leo-Harrington principle is a powerful result in model theory, dealing with possible extensions of structures in certain set-theoretic contexts. It is named after mathematicians Raymond Leo and Philip Harrington, who contributed to this area of mathematics.
New to topics? Read the docs here!