Pages that link to "Item:Q1222162"
From MaRDI portal
The following pages link to Model-completeness and elimination of quantifiers for subdirect products of structures (Q1222162):
Displayed 17 items.
- The model-theoretic structure of Abelian group rings (Q762143) (← links)
- A valuation ring analogue of von Neumann regularity (Q866563) (← links)
- Elementary equivalence of some rings of definable functions (Q943341) (← links)
- Regular separably closed rings (Q1079608) (← links)
- Sheaves and prime model extensions (Q1154460) (← links)
- Amalgamation bases for commutative rings without nilpotent elements (Q1235701) (← links)
- Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
- Model companion and model completion of theories of rings (Q2391092) (← links)
- Commutative regular rings and Boolean-valued fields (Q3717040) (← links)
- On Boolean algebras and integrally closed commutative regular rings (Q4032663) (← links)
- Commutative Regular Rings with Integral Closure (Q4074997) (← links)
- A characterization of companionable, universal theories (Q4172042) (← links)
- Sheaf Constructions and Their Elementary Properties (Q4198732) (← links)
- Hyper-regular lattice-ordered groups (Q4283071) (← links)
- Model theory of Boolean products of subdirectly irreducible heyting algebras (Q4395730) (← links)
- Boolean products of real closed valuation rings and fields (Q5956886) (← links)
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)