Search

• < Previous
• 1
• Next >

Order-Invariant Types and Their Applications

Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, but not actually dependent on that order relation. This is somewhat surprising since&nbsp;[&hellip;]