𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Model Completion of the Theory of All Partially Ordered Sets

✍ Scribed by G. E. Puninskij

Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
81 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the MacNeille Completion of the Categ
On the MacNeille Completion of the Category of Partially Ordered Topological Spaces
✍ A. Schauerte πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 459 KB

## Abstract Preordered topological spaces for which the order has a closed graph form a topological category. Within this category we identify the MacNeille completions (coinciding with the universal initial completions) of five monotopological subcategories, namely those of the __T__~0~(__T__~1~,

Coding in the Partial Order of Enumerabl
Coding in the Partial Order of Enumerable Sets
✍ Leo Harrington; AndrΓ© Nies πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 489 KB

We develop methods for coding with first-order formulas into the partial order E of enumerable sets under inclusion. First we use them to reprove and generalize the (unpublished) result of the first author that the elementary theory of E has the same computational complexity as the theory of the nat

The model theory of m-ordered differenti
The model theory of m-ordered differential fields
✍ CΓ©dric RiviΓ¨re πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 159 KB πŸ‘ 1 views

## Abstract In his Ph.D. thesis [7], L. van den Dries studied the model theory of fields (more precisely domains) with finitely many orderings and valuations where all open sets according to the topology defined by an order or a valuation is globally dense according with all other orderings and val