show/hide this revision's text 2 fixed backticks

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.
show/hide this revision's text 1

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.