The use of internality'internality' in model theory that is most familiar to me is its use in nonstandard analysis. Look at internal'internal' in the wikipedia article on non-standard analysis and see if that is what you remember.
The use of internality' in model theory that is most familiar to me is its use in nonstandard analysis. Look atinternal' in the wikipedia article on non-standard analysis and see if that is what you remember.