The following pages link to (Q5181355):
Displayed 8 items.
- Groups elementarily equivalent to a free 2-nilpotent group of finite rank. (Q431679) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Some model theory for Henselian valued fields (Q1134757) (← links)
- Towards a general theory of formally p-adic fields (Q1147758) (← links)
- Proof of a lemma on model completeness (Q1247960) (← links)
- Mixed characteristic homological theorems in low degrees. (Q1408110) (← links)
- Dimension and singularity theory for local rings of finite embedding dimension (Q2437608) (← links)
- Lectures on the Model Theory of Valued Fields (Q5256623) (← links)