This paper continues Tameness and Extending Frames above and removes the assumption of tameness for 2-types. It does so by analyzing when properties transfer to frames of longer tuples.
This paper continues Tameness and Extending Frames above and removes the assumption of tameness for 2-types. It does so by analyzing when properties transfer to frames of longer tuples.