Pages that link to "Item:Q4842638"
From MaRDI portal
The following pages link to Model completions and omitting types (Q4842638):
Displaying 9 items.
- Finite axiomatizations for existentially closed posets and semilattices (Q1087537) (← links)
- More on directed colimits of models (Q1330914) (← links)
- Model Complete Generic Structures (Q2989967) (← links)
- The atomic model theorem and type omitting (Q3642694) (← links)
- The Model Completion of the Class of ℒ-Structures (Q3748271) (← links)
- Complete theories with only universal and existential axioms (Q3777997) (← links)
- The Model Completion of the Theory of All Partially Ordered Sets (Q3809778) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS (Q5879190) (← links)