The following pages link to Complete theories (Q766973):
Displaying 16 items.
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- Uniform properties of rigid subanalytic sets (Q5461389) (← links)
- Minimal- und Primmodelle (Q5553265) (← links)
- Syntactical Transforms (Q5608743) (← links)
- On the representation of Herbrand functions in algebraically closed fields (Q5608751) (← links)
- Persistence and Herbrand expansions (Q5626652) (← links)
- DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE (Q5692241) (← links)
- Generalized Archimedean Groups (Q5728447) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- Verallgemeinerte formal \(\mathfrak p\)-adische Körper (Q5906155) (← links)
- Verallgemeinerte formal \(\mathfrak p\)-adische Körper (Q5967001) (← links)
- Valued quantum B-algebras (Q6061524) (← links)
- Density of composite places in function fields and applications to real holomorphy rings (Q6093842) (← links)
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ (Q6134890) (← links)
- Analytic nullstellensätze and the model theory of valued fields (Q6606930) (← links)
- Specialisations and algebraically closed fields (Q6633082) (← links)
