Publication:4111006
From MaRDI portal
zbMath0343.02043MaRDI QIDQ4111006
Publication date: 1975
03C60: Model-theoretic algebra
03E35: Consistency and independence results
03C75: Other infinitary logic
03E99: Set theory
20A10: Metamathematical considerations in group theory