Ordered Models & Definability Properties

← Back to Domain-Specific Families

Abstractions about preordered sets, prime models, range conditions, large cardinals, and external reference points used to guide formal or geometric systems.

5 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Closed Preordered Set — A preorder is closed to a stated chain length when every descending chain shorter than that length has a common lower bound, so transfinite strengthening can continue through limit stages without leaving the order.
• Guide Star — Use a selected natural or artificial optical source as a repeatedly sensed reference whose measured displacement or wavefront error drives telescope pointing or adaptive-optics correction.
• Prime Model (Model Theory) — A model of a complete first-order theory that admits an elementary embedding into every model of that theory, making it the theory's embedding-minimal representative when one exists.
• Range Property — Treat a nonscalar property as equally possessed when an entity's degree of a related scalar property falls within a specified range, while requiring an independent reason why that range and within-range indifference are normatively relevant.
• Remarkable Cardinal — A virtual large cardinal κ for which arbitrarily high ground-model rank or hereditary-size segments admit, in set-forcing extensions, elementary small embeddings whose critical point is mapped to κ.