𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Orthogonal structures on finite partial orders

✍ Scribed by David Lubell

Publisher
Elsevier Science
Year
1974
Tongue
English
Weight
383 KB
Volume
17
Category
Article
ISSN
0097-3165

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Extending Partial Orders on o-Minimal St
Extending Partial Orders on o-Minimal Structures to Definable Total Orders
✍ Dugald Macpherson; Charles Steinhorn πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 533 KB

## Abstract It is shown that if (__M__, <, ⃛) is an o‐minimal structure such that (__M__, <) is a dense total order and β‰Ύ is a parameter‐definable partial order on __M__, then β‰Ύ has an extension to a definable total order.

Finite Partially-Ordered Quantifiers
Finite Partially-Ordered Quantifiers
✍ Herbert B. Enderton πŸ“‚ Article πŸ“… 1970 πŸ› John Wiley and Sons 🌐 English βš– 264 KB

This is to be read "For every x there is a y and for every u there is a v (depending only on u) such that y ( x , y, u , w) ." The precise meaning of this can be given in terms of SKOLEM functions; the above formula is semantically equivalent to the second-order formula Such partially-ordered quant

Partial orders based on outer inverses
Partial orders based on outer inverses
✍ Sujit Kumar Mitra; Robert E. Hartwig πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 889 KB
A phase transition on partial orders
A phase transition on partial orders
✍ D.J. Kleitman; B.L. Rothschild πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science 🌐 English βš– 261 KB